調査・分析
最新記事
インフラ運用者、政策決定、市場動向、デジタル権力の変化に関する最新情報。
インターネット史
最安の実行計画は、まだ現実ではなかった
クエリの意味が一つでも、そこへ至る物理的な道は一つではない。Patricia G. Selinger と System R チームは1979年、統計と費用モデルを使って実行前にその道を選ぶ仕組みを実用化した。ここでいう「最安」は、調べた候補の中で推定値が最小だったという意味である。実測時間の判決でも、あらゆる計画に対する大域最適性の証明でもない。
インターネット史
KWICの出力は同じでも、変更の広がりは同じではない
二つのプログラムに同じ見出しを与えると、どちらも同じ循環シフトを同じアルファベット順で出力する。受け入れ試験は双方とも通る。では、行の格納方法を変えたら、いくつの担当とインターフェースがその変更を知る必要があるのか。David L. Parnas が1972年に示したのは、この二つ目の試験だった。
インターネット史
Paul Baranの生存性曲線には条件があった
攻撃でいくつかのノードが消えた。二つの端点は物理的には残っている。両者はなお経路を見つけられるだろうか。Paul Baran が RAND で扱ったのは、この限定された問いである。核攻撃を無傷で切り抜けるネットワークや、あらゆるメッセージの必達を証明したのではない。
インターネット史
削除済みのメールボックスを、別のクライアントはまだ読めた：RFC 2180
サーバーから `OK` が返った瞬間に、すべての接続が同じ世界へ移るとは限らない。RFC 2180 が記録したのは、同時アクセス下の IMAP が一時的な食い違いを許し、その代わりにクライアントへ幅広い挙動への耐性を求めたという設計上の取引だった。
IETF
Babelの鍵は読めなくても、テストを実行できるのは誰か
ある運用担当者を想定する。Babel のメッセージ認証コード（MAC）用に設定された鍵の値は読めない。それでも、実際のアクセス制御で認められれば、バイナリの試験文字列と候補 MAC を渡し、一致したかどうかだけを受け取れる。RFC 9647の管理用テストは、秘密を取り出さずに、その秘密を計算に使わせる権限を設けている。誰にその権限を与え、狭い照合結果をどこまでの判断に使わせるかが、運用組織に残される問題である。[RFC 9647第2.3節・第4節](https://www.rfc-editor.org/rfc/rfc9647.html)
リーダー
Cristiano AmonとQualcommのFY2029を測る二つの物差し
到着年が同じでも、測っている事業が違えば二本の棒は連続した実績にはならない。Qualcomm が2024年と2026年に示した FY2029 目標は、まさにその注意を必要とする。
研究者
Nancy Leveson：部品が壊れなくても事故は起こる
装置が仕様どおりに動き、担当者が手順に従っても、安全が保たれるとは限らない。Nancy Leveson は、誰が何を制御し、どの情報を信じ、危険な状態を防ぐ制約をどこで失ったのかを問う道筋を示した。
グローバルのクラウドサービストレンド
Rocket Labは株式を発行し、つなぎ融資枠を解消した。Iridiumの買収はまだ終わっていない
資金調達の手当てと、衛星通信事業の所有権移転は別の出来事だ。９月の開示は、発行済み株式、残る既存借入、消えた融資コミットメント、そして未了の承認手続きを別々に読む必要がある。
IETF
IESG承認は発行ではない：Composite ML-KEM CMSを止めるコンパニオン依存
2026年9月18日、IESG は`draft-ietf-lamps-cms-composite-kem-03`を Proposed Standard として承認した。これは Composite ML-KEM を CMS で扱うための標準化が重要な関門を越えたことを意味する。しかし、運用上もっと重要なのは、何がまだ終わっていないかである。文書は RFC ではなく、RFC Editor では参照待ちでブロックされ、IANA 作業も進行中だ。さらに、その CMS…
インターネット史
寄付と理事選挙は同じ入口ではなかった――RFC 2135の1996年規約
組織が多額の資金を拠出しても、その額がそのまま理事選挙の票になったわけではない。RFC 2135に残る Internet Society の1996年規約は、組織会員の拠出条件と、個人正会員が理事を選ぶ仕組みを別々に置いた。これは当時の制度設計を読める史料であり、現在の規約や実際の投票結果を示すものではない。
インターネット史
Mary Shawと箱の間にあるプロトコル
1994年、Mary Shaw は今も設計図に残る偏りを指摘した。箱には詳しい名前が付くのに、箱を結ぶ線はほとんど説明されない。手続き呼び出しは有用な仕組みだが、データフロー、イベント、共有データ、同期、複雑な会話を表すには語彙が足りない。
インターネット史
Susan Eggersと、空いた発行枠を共有した一つのコア
幅の広いプロセッサには多くの実行器があっても、一つの命令列だけでは毎サイクルを埋められない。Susan Eggers らが問うたのは、物理コアを増やすことではなく、複数の独立したスレッドを同じサイクルの候補にできないか、ということだった。同時マルチスレッディングは総スループットを押し上げた。同時に、共有には公平性、遅延、競合という代価があることも数値で示した。
インターネット史
RFC 2169：HTTP の経路はリソースの権威ではない
RFC 2169 が 1997 年に示したのは、URN についてリゾルバへ問い合わせる際に HTTP を使う小さな慣行だった。応答に到達できることは、名前の割当、リソースの管理、利用許可を決める権限とは別である。
インターネット史
Version 3のまま、serviceは変わった――RFC 2126が増やした証拠
二本目の TCP connection が開いたとして、何が証明されたのか。RFC 2126の答えは狭い。同じ host pair の一つの Transport Connection に expedited path が結び付いた。それだけでは、同期も delivery も証明されない。
ケースファイル
RFC 9647が可視化するBabel運用証拠チェーン――YANGモデルの外側に残る検証責任
Babel の経路表に「selected」と表示されても、それだけで通信経路の完全な証明にはならない。YANG データストア上の設定意図から、実際に適用されたインターフェース方針、認証済み近隣交換、転送状態、障害復旧、そして外部から観測された到達性までの証拠連鎖が欠けていれば、管理面の可視性は完成したネットワーク保証とは異なる。RFC 9647は Babel を運用管理可能なデータモデルとして整理するが、何を確認できるようにしたのか、そして何を運用者自身が証明し続ける必要があるのかを明確に分ける必要がある。
インターネット史
Betsy Ancker-Johnson と経路を記憶するプラズマ
1964年、Betsy Ancker-Johnson は、単一のスイッチ点では説明できない半導体プラズマを測定した。同じ外部条件でも、電場と磁場をどちらから変化させたかによって状態が異なる。その成果は経路依存性を示す精密な実験であり、万能のメモリー技術を証明したものではない。
インターネット史
許可の後に回線はつながったのか：RFC 2125の二段階判断
追加回線への同意は、追加帯域そのものではない。RFC 2125は、要求への応答と実際の発呼結果を別のメッセージにし、許可・実行・member 変化・通信実績を一つの成功表示にまとめなかった。
インターネット史
Irene Greifと、アトミックなコミットでは守れない書き手の意図
Collaborative Editing System は、共有文書の変更を直列化し、障害から回復できる状態にした。同時に、今も変わらない限界を示した。トランザクションは中途半端なデータを防げても、書き手が何を意図し、誰が変更を見て、どの判断を優先すべきかまでは決められない。
IETF
WebAuthn再参加と特許ポリシー移行を可視化する制度的受領証
2026年9月11日、W3C は Web Authentication Working Group の新しいチャーターを承認し、2026年から2028年までの活動枠組みを開始した。この変更で重要なのは、技術仕様そのものの承認ではなく、拡張された作業範囲に対して誰がどの条件で参加し、どの範囲の Patent Policy 上のコミットメントを引き受けるかという制度的な引き継ぎである。新チャーターの有効化、猶予期間中の継続参加、正式な再参加、Patent Policy への新たなコミットメントは、それぞれ異なる状態として管理されなければならない。
インターネット史
FASが裁定しても、スイッチの仕事は終わらなかった
RFC 2124は接続受付ポリシーを外部サービスへ切り出した。しかし、サービスの回答と実際の接続状態を同じものにはしなかった。LFAP が残したのは、判断、実行、照合、計量を別々に検証するためのメッセージ列である。