調査・分析
最新記事
インフラ運用者、政策決定、市場動向、デジタル権力の変化に関する最新情報。
研究者
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 が残したのは、判断、実行、照合、計量を別々に検証するためのメッセージ列である。
インターネット史
「GPSを発明した」の一文では足りない——Gladys B. West、1982年論文が証明した地球の形と、その証拠の限界
Gladys B. West の1982年論文 “Mean Earth ellipsoid determined from SEASAT 1 altimetric observations” の価値は、現代 GPS の全要素を一人で発明したことを示す点にはない。むしろ重要なのは、衛星レーダー高度計から作られたジオイド情報と重力ポテンシャル係数を、明示された仮定と最小化手順の下で結び、平均地球楕円体の大きさと原点位置を推定したことである。その証拠は強い。しかし、強い証拠ほど、どこまで届き、どこから先には届かないかを区別する必要がある。
IETF
再起動後に失われる「非トランジット」意図――BGP-SPF Status 2の責任境界
コールドリスタート後の運用引き継ぎで、サービス担当者が「到達性は回復した」と承認しても、ルーティング担当者が Node SPF Status 2 の存続をまだ確認していないなら、復旧判定は一つの事実しか確定していない。RFC 9815 が分離したのは、ノードやそのプレフィックスに到達できることと、そのノードをトランジット経路として展開してよいことだ。Status 2 が再広告されず省略されれば、以前の非トランジット指定は暗黙に撤回される。ただし、それによって戻るのは候補としての適格性であり、実際に経路へ採用されるかはトポロジー、メトリック、SPF…
インターネット史
Sophie Wilson と ARM1 初回シリコンが返した工学的な受領証
1985年4月26日、VLSI Technology から戻った最初の ARM1 には、すでに待機中のボードとソフトウェアがあった。Tube OS と BBC BASIC は、モデルとシミュレーターの上で先に走っていた。差し込んですぐ動いたという事実は強い証拠だが、RISC が自然に一発成功することや、歩留まり、量産、市場まで証明したわけではない。
インターネット史
ルートは合意を減らしたが、世界名簿の権威にはならなかった――RFC 2120
X.500 の名前空間は一本の木として描けても、その根を動かす手続きは一本化されていなかった。第一階層の Directory System Agent（DSA）の管理者は、標準の外で相互に合意を結ぶ必要があった。RFC 2120 が描いたのは、NameFLOW-Paradise が非標準のルート DSA「Giant Tortoise」でその合意網を縮めた経緯と、実用上の利点を失わず ISO プロトコルへ移るための段階設計である。
インターネット史
Adele Goldberg と Smalltalk-80 を旅立たせた契約
「Blue Book」が記述したのは、生きたシステムを持ち運ぶための境界だった。同じイメージを保ち、各マシンでオブジェクトメモリ、バイトコード、実行コンテキスト、プリミティブを実装する。それにより Smalltalk-80 は再実装できたが、速度、フォント、ウィンドウ、デバイス、操作感まで同一になるとは約束されていなかった。
インターネット史
Join に受領証はなかった――更新で生き残る木、RFC 2117
RFC 2117 の疎なマルチキャスト木は、一度の全体取引で成立しなかった。ローカルな会員通知が状態を作り、Join/Prune が各ホップを更新し、新しい送信元は Register で RP に到達し、その後で一部の枝だけが送信元固有経路へ移った。確実性ではなく、期限付きの局所記録が規模を支えた。