Quad9(DNS レゾルバー)がフランスから退出します

2026/10/22 23:32

Quad9(DNS レゾルバー)がフランスから退出します

RSS: https://news.ycombinator.com/rss

要約▶

Japanese 訳:

2026 年 11 月 24 日より、Quad9 はフランスのユーザーに対して、無料のサイバープロテクトおよび一般的なサービスを提供を永久に停止いたします。この決断は、beIN が提起した重大な訴訟において Quad9 に不利となるフランス裁判所の判断を受けたものです。beIN は、特定のドメイン名の再帰的 DNS 解決をブロックすることが、視聴覚的な権利を保護するために必要であると主張しました。裁判所は、違反が完了するまで(11 月 14 日)の金融ペナルティを約 580,000 �ーロから毎日上記 1,000 ユーロに減額しましたが、Quad9 は再帰的 DNS 解決が中立かつ受動的なサービスであり、応答を変更することはそのミッションであるプライバシー、セキュリティ、そしてインテグリティに違反するとする理由をもってこれに従うことができないと述べています。さらに、Quad9 の無料サービスには登録や身元証明は不要であり、ユーザーと管轄区域を関連付けるデータベースを持たないため、geoIP ベースの管轄区域マッピングは技術的に不可能です。フランス裁判所の要求を満たすためにグローバルなブロックを実施することは、French の法律を全世界のユーザーに適用することを意味し、Quad9 にとって許容されない越境的な先例となります。以前にも地理的な IP ブロックの実施を試みた際(例:2021 年から 2023 年にかけてドイツ)、原告が VPN を介してブロックを回避したために裁判所に対する軽蔑罪として罰金が科されるなどしました。Quad9 に対して数百のドメイン名のブロックを求めて進行中の訴訟が約 20 件あり、累積的な法的リスクは大きいです。上訴は進行中ですが、Quad9 は予定通り撤退を進めることにします。この動きにより、国家機関(例:DINUM, EDF, SNCF)、研究ネットワーク(RENATER)、大学、医療提供者、および民間企業を含む何百万人ものフランスのユーザーが、サイバー脅威からほぼ 9 年間も重要な保護を失うことになります。Quad9 は、将来、監督なしで民間企業が DNS コンテンツフィルタリングを自動化することを可能にする法律に対して警告を発し、市民に対し、日常のドメイン名lookup が刑事犯罪ではないことを明確化することを目指しています。

本文

Quad9、フランス国内でのサービス終了を発表:11 月 24 日よりサイバーセキュリティ保護の提供中止

📅 お知らせ概要

  • サービス終了日: 2026 年 11 月 24 日(火曜日)
  • 対象地域: フランス国内ユーザー
  • 内容: Quad9 が無料で提供しているサイバーセキュリティ保護サービスの提供を終了します。

⚖️ サービス終了の背景と理由

  • 裁判所の判決による制約: フランスの裁判所が beIN 社への訴訟で不利益な判決を下し、Quad9 も同様に「特定のドメイン名の再帰的 DNS 解像(recursive DNS resolution)」をブロックせざるを得なくなっています。
  • 原則との矛盾: 再帰的 DNS 解像は中立かつ受動的なサービスですが、この判決によりユーザーの期待する DNS レスポンスに嘘をついたり改ざんしたりする必要が生じます。これは Quad9 の理念に反します。
  • 技術的な履行不可能性:
    • Quad9 はユーザーと管轄区域を関連付けるデータベースを持っていません(登録不要のため)。
    • 「ユーザーがどこにいるか」を特定する方法が存在せず、フランス国内のユーザーのみを対象としたブロックは技術的に不可能です。
  • 制裁金の負担問題:
    • 裁判所は制裁金を 58 万ユーロから「1 日あたり 1,000 ユーロ」に減額しましたが、それでも財政的・法的リスクは持続します。
    • 他の訴訟との累積制裁金に対しても耐えることは困難です。

🌍 グローバルブロックによる代替手段の不可行性

  • 域外適用のリスク: フランスの裁判所決定を全世界に適用(グローバルブロック)することは、フランス一国だけの問題が世界全体に影響を与える「域外適用」になりかねません。
  • 過去の教訓: 2021〜2023 年のドイツにおける同様の訴訟で、GeoIP ブロックによる回避を試みた結果、裁判所軽蔑罪となり制裁を受けた経験があります。
  • 技術的な欠陥:
    • GeoIP ベースのブロックは不正確であり、プライバシー要件を満たしません。
    • この手法は「不当な決定」として見なされやすく、長期的にはインターネットの健全性を損なう可能性があります。

🏛️ 訴訟の限界と社会的影響

  • 実質的な効果なし: ドメインブロックではコンテンツが除去されるわけではなく、サーバーへの影響もありません。ユーザーは単に DNS を変更すれば回避可能です。
  • 時間の無駄: 非営利団体である Quad9 に対して多大なリソースを投じている一方で、beIN 社や著作権者には変化が見られません。
  • 法的リスクの拡大: 現在約 20 件の訴訟が進行中で、今後さらに類似する訴訟が増える可能性があり、Quad9 は常にリスクに晒されています。

👥 フランスを利用している主要ネットワーク一覧(抜粋)

Quad9 を利用しているフランスのネットワークは多数あります。以下はその一部です(オータノマスシステム番号による分類)。

🏛️ 国政府および公共機関

  • 60855: Direction interministérielle du numérique (DINUM) — 首相府デジタル局
  • 43717: Business France (EPIC) — 輸出支援・投資招致国家機関
  • 205461: France Travail (EPA) — 国家公的雇用サービス(失業給付等)
  • 777: CEA Paris-Saclay — 原子エネルギーおよび代替エネルギー高等委員会
  • 44850: Institut de recherche pour le développement (IRD) — グローバルサウスとの協力研究機関
  • 29110: Institut Pasteur — パリに本部を置く生物医学研究財団

🎓 研究・教育ネットワーク

  • 1307〜2472(複数): RENATER (GIP) — 国家研究・教育ネットワーク

🏫 学生運営キャンパスネットワーク

  • 204515: Crans — ENS パリ=サクライの学生ネットワーク協会
  • 212424: ViaRézo — CentraleSupélec キャンパス向けネットワーク
  • 207849: ESIEESPACE — パリ ESIEE 学生の ISP

🎓 私立教育

  • 56339: IONIS Education Group — 私立収益目的高等教育グループ(EPITA など)

🏘️ 地域および地方自治体

  • 208458: Région Nouvelle-Aquitaine — 西部地域当局
  • 208820: Département de la Seine-Saint-Denis — イル=ド・フランス県
  • 50036: Département des Pyrénées-Atlantiques — ノーベル=アクィタイン県
  • 34000: Département des Bouches-du-Rhône — 県議会
  • 48799: Ville et Eurométropole de Strasbourg — ストラスブル都市圏
  • 204897: Grand Besançon Métropole — ベサンソン周辺都市共同体
  • その他、多数のコミューンおよび相互市町村連合(例:SITPI、SITEC など)

💻 公的デジタルインフラ

  • 200245: Manche Numérique — マンス川光ファイバー網
  • 44842: Somme Numérique — ソーム川光ファイバー網
  • 214589: Essonne Numérique — エソンヌ公共光ファイバー網
  • その他、地方自治体運営の IT サービス・データセンター(例:SITEC, C'Chartres など)

⚡ エネルギーおよびユーティリティ

  • 1301: Électricité de France (EDF) — 国家電力生産・供給者
  • 62141: Compagnie nationale du Rhône (CNR) — ロンヌ川水利事業
  • 39830: Teréga — ガス輸送および地下貯蔵
  • その他、地域供热・ケーブルテレビ網運営会社

🚆 運輸

  • 203885: SNCF — 国営鉄道グループ親会社
  • 34809: Sanef — 有料高速道路運営者(北部・東部)

🏥 医療

  • 201659: AP-HM — マルセイユの公的病院群
  • 51588: SESAN (GIP) — イル=ド・フランス地域デジタルヘルス
  • 49692: Compagnie Générale de Santé — Ramsay Santé 病院グループ

📺 放送およびメディア

  • 24843, 43930: France Télévisions — 国家公共テレビジョン
  • 43646: TDF — 放送送信・塔インフラ運営

🛡️ 民間産業および技術

  • 29104: Thales Services Numériques — 防衛・宇宙向け IT サービス
  • 49068: Stormshield — サイバーセキュリティベンダー(ファイアウォール等)
  • 57226: IDEMIA Identity & Security France — 生体識別・国境管理システム
  • 41935: Dassault Systèmes — 3D デザインソフトウェア(CATIA など)
  • その他、建設 IT、交通制御システム、会議センター運営企業など

🗣️ Quad9 との今後の関係および提言

🔹 コミュニケーションへのコミットメント

  • Quad9 は問題となるドメインをブロックすることはございません。
  • サービスを提供するユーザーに対しては、DNS を完全な形で提供し続けます。
  • 法的リスクを避けつつ使命に忠実であるための唯一の結論として、フランス国内でのサービス提供を終了します。

🔹 今後の活動について

  • 控訴手続き: 現在進行中です。Quad9 は法的に自分の立場を防衛し続けてまいります。
  • 反対表明: DNS ブロックに対する裁判所命令に異議を申し立て続けます。
  • 寄付: 訴訟費用やミッション遂行の支援が必要な場合は、寄付窓口をご利用ください。

🔹 フランス市民への提言(アクション)

立法者や規制当局(ARCOM)に対し、以下の事項を伝えるよう呼びかけています:

  1. 検索名前の犯罪化は禁止: 「名前を検索することが犯罪である」とする法令の廃止を求める。
  2. 中立な仲介者の保護: Quad9(DNS リゾルバー)が法的訴訟の対象とならないよう明記を求める。
  3. フィルタリング権限の制限: 私企業や第三者に、検証もなしに DNS コンテンツを自動ブロックする権限を与えないよう求める。
  4. バランスの維持: デジタルユーザーのプライバシー・セキュリティと著作権者の権利のバランスを保つよう義務付ける。

「声を上げなければ、静かに権利を失います。」

📅 今後のスケジュール

  • 2026 年 11 月 24 日: フランス国内での Quad9 サービス提供終了。
  • 移行期間: 約 30 日以内で完了を目指します。
  • 長期的展望: 法をより合理的に解釈できる環境が整い、Quad9 の帰還が見られることを願っています。

この記事は Quad9 チームにより執筆され、フランス語から翻訳されました。

同じ日のほかのニュース

一覧に戻る →

2026/10/23 8:45

Docker は変だ

## Japanese Translation: 本文は、主に Linux コンテナが特定のコア機能を利用して孤立化されたプロセスであり、仮想マシンとは異なること、また Docker がイメージをフォルダとして管理することを明確にしています。完全な仮想化と異なり、コンテナは隔離にはネームスペースを用い、リソース管理には cgroups を用いて、管理されたディレクトリ内でバイナリを直接実行します。重要な技術的詳細として、Go で記述される `runc` ランタイムがあり、これは初期システムコールの処理に C モジュールを使用して Linux カーネルとインターフェースする必要があります。Go は `fork` などの特定の機能へのネイティブサポートを持っていないため、不足している振る舞いを近似させるために `/proc/self/exe` などのワークアラウンドが必要です。さらに、標準的な Linux カーネル API は通常ルートの権限を必要とするため、Docker デモンはデフォルトで昇権限(elevated permissions)で動作します。これを解決するためには、ルートレスコンテナランタイムは、通常ルートベースのセットアップが提供する機能を複製するために、ユーザースペースのネットワーキングスタックを再構築する必要があります。結局のところ、これらのアーキテクチャ的な制約を理解することは、安全なルートレス環境を管理するユーザーにとって不可欠であり、不要な権限昇格を避けながらシステム安定性を維持する互換性のあるインフラを設計する企業にとっても重要です。

2026/10/23 7:54

LLM が大規模な正式なソフトウェア検証の実現を可能にしています

## Japanese Translation: 研究者は、大規模言語モデル(LLM)の Claude を用いて、100 以上のオープンソースソフトウェアライブラリに対して前例のない規模での形式的検証を実行し、歴史的なマイルストーンを達成しました。Theorem との協力により、プロダクション向けソフトウェアに対する初の大規模 AI 主導の形式的検証として、アセンブリ(RISC-V)レベルで実装されたコードが検証されました。その結果、64 MB 未満の入力に対して、123 のライブラリの実行可能アーティファクトがメモリ安全性エラーやフェイルするアサートなしに正常終了することが証明されました。この達成には、Claude が Rocq コードを約 1.8 億行生成し、239 のエントリポイントを対象にクラッシュしない仕様を証明するとともに、従来のフォージングで検出されなかった深刻なバグを特定・修正する作業が行われたことが寄与しました。具体的には、カウンタのアンダーフローや境界外読み取りといった複雑な問題を含むものが含まれます。検証の対象は Linux でコンパイルされた RISC-V 命令であり、ユーザーが信頼しなくてもよいのは既知のハードウェア/ソフトウェアの数学モデル、定理ステートメント自体、および Rocq の証明チェッカーのみです。基本的安全性を超えて、このアプローチはデータ圧縮の精度やアルゴリズムの正しさ(例:red-black トリーの再平衡)といった高位のプロパティも検証しました。チームは共有作業空間戦略を採用し、証明の再利用によりトークン使用量を 17%削減するものであり、Mathlib のような数学ライブラリの成長に類似しています。形式的に検証済みであっても、形式仕様が実態と異なったり機械モデルが現実と異なる場合(例:x86/ARM システム上)には、完全なバグの不在を保証しないことに留意する必要があります。本プロジェクトでは公衆の検討のために一部の証明をリリースしており、AI 支援による検証をソフトウェア開発ワークフローでの標準へと導く道筋を用意しています。

2026/10/20 16:15

回路の秘められた生活が今すぐどこでも入手可能です

## Japanese Translation: 本書「回路の秘められた人生」は、厳格なテストにより完全に AI 生成コンテンツを含まないことが確認されたという重要な保証のもとにリリースされました。この区別は、2026 年という現在において極めて重要です。人工知能が作成する数百冊の書籍と競合しなければならない人類の著者にとって、また AI エンティティが関与する可能性のある既存のタイトル squatting(架空タイトル取得)慣行に対峙するためにも、この区別は不可欠です。合成された著作物および潜在的に squat されている文学物が拡大する中、こうした検証済みの人間による作品を支えるため、読者には本書を積極的に購入し、率直なレビューを残すことを推奨します。このようなフィードバックは推奨アルゴリズムに直接作用し、飽和した市場において非 AI コンテンツが visibility(可視性)を確保するのを保証します。入手可能なのは、米国大手小売業者であるバース&ノーブル(Barnes & Noble)やその他のグローバルプラットフォームに加え、欧州の購入者向けの特定の地域別 Amazon サイト(例:amazon.de, amazon.fr, amazon.pl, amazon.es, amazon.nl, amazon.se, amazon.it, amazon.co.uk)などです。この検証済みのテキストを選択し、本物のレビューを提供することで、読者は機械生成の代替案よりも真の人間の創造性を優先する倫理的な消費習慣を維持するのに貢献できます。こうした努力は集まり、出版風景が自動化された創出へと劇的に変化する中で、人間による著者の声が聞かれ、価値ある存在として存続することを保証します。 ## Text to translate: The book "The Secret Life of Circuits" has been released with a critical guarantee: rigorous testing confirms it is entirely free of AI-generated content. This distinction is vital in 2026, an era where human authors must compete against hundreds of books created by artificial intelligence, alongside existing title-squatting practices that may involve AI entities. To support these verified human works amidst this growing volume of synthetic and potentially squatted literature, readers are encouraged to actively purchase the book and leave honest reviews. Such feedback directly supports recommendation algorithms, ensuring visibility for non-AI content in a saturated market. Availability extends across major US retailers like Barnes & Noble and other global platforms, as well as specific regional Amazon sites for European buyers (e.g., amazon.de, amazon.fr, amazon.pl, amazon.es, amazon.nl, amazon.se, amazon.it, and amazon.co.uk). By choosing this verified text and providing authentic reviews, readers can help sustain ethical consumption habits, prioritizing genuine human creativity over machine-generated alternatives. This effort collectively ensures that human-authored voices remain heard and valued as the publishing landscape shifts dramatically toward automated creation.