調査・分析
最新記事
インフラ運用者、政策決定、市場動向、デジタル権力の変化に関する最新情報。
インターネット史
一本の木を決めず、転送状態の読み方をそろえる：RFC 2102
RFC 2102 が Nimrod に与えたのは万能なマルチキャスト木ではない。送信者、受信者、ルーターが別々の方法で枝を作っても、設置済み状態を同じ意味で実行できるという、より薄い相互運用契約だった。
インターネット史
リンクは開いた。それでも各名前には受け入れ判定が要った：RFC 2097
PPP は遠隔端末を NetBIOS Frames ネットワークの入口まで運べたが、RFC 2097はリンク確立を到達性と同一視しなかった。NBFCP は、どの16オクテット名を相手側ネットワークへ投影するか、どれが失敗したか、相手の実装種別、マルチキャストの扱い、12オクテット MAC ヘッダーの要否を個別の約束として残した。
インターネット史
Frances E. Allenがコンパイラーに教えた、証明できる範囲
定義が命令へ到達し得るか、値がまだ生きているか、変換が所定の意味を保つか。Frances E. Allen は、こうした問いを体系的な解析にした。同時に、その答えが実行時の全面的な正しさではないことも、方法の内側に残した。
インターネット史
カウンターは一受信者の窓を通過したが、送信者の名は示さなかった：RFC 2085
RFC 2085 は HMAC-MD5 Authentication Header に64ビットのリプレイ値を追加した。ただし、そのフィールドを使うかは Security Association ごとに決まった。受信者は自分の並べ替え窓の中で未受信の番号を許可できた。それは一つの SA における新鮮さの証拠であって送信者の身元ではない。複数のマルチキャスト送信者が SA を共有すると、この差が露出した。
インターネット史
Jean E. Sammetは代数を実行可能にしたが、証明を代行したわけではない
FORMAC は式を微分し、置換し、展開してから、通常の FORTRAN 処理系へ渡せる形を作った。象徴的な変形から科学的結論までを一つの成功として扱わないことが、この業績を正確に評価する出発点になる。
インターネット史
四文字目が編集後に残せるものを決めた：RFC 2083
PNG の画素をすべて描き直しても、編集ソフトが理解できない古いメタデータだけが残ることがある。RFC 2083 は、そのメタデータを真実だと認定しなかった。四バイトのチャンク型にある大文字・小文字を使い、未知の機能に対してデコーダーと編集ソフトが取るべき最小限の行動を符号化した。
記事
RIPE NCCは不正な委任の検査を続け、通知メールを止めた
2009年に止まったのは観測ではない。RIPE NCC は DNS の不正な委任に対する定期検査を継続し、一斉通知メールを停止した。この歴史は、検出件数だけでは介入の価値を証明できないことを示す。配信、運用者の注意、修復、再検査、利用者への効果は、それぞれ別の証拠を必要とする。
インターネット史
ディレクトリは二つのリンクを保存したが、意味までは保存しなかった：RFC 2079
一つの項目に「公式記録」と「現行サービス」という二つのリンクが並んでいても、見た目だけでは関係を判定できない。RFC 2079 は URI と人向けラベルを分け、複数値として格納できるようにした。しかし、別資源なのか同じ資源の別地点なのか、古いページなのか権威ある情報源なのかは決めなかった。解析可能性と真実性は別だった。
インターネット史
LAP6はコードを編集可能にしたが、正しさまでは証明しなかった
Mary Allen Wilkes は、2,048語の LINC で、原稿の表示・編集からテープへの保存、アセンブル、ロードまでを一つの対話環境に結んだ。その革新性は、工程をつないだことと同時に、工程ごとの証拠を混同しなかったことにある。
インターネット史
ヘッダーがあっても権限は付いてこない：RFC 2076 の境界図
パーサーが `Apparently-To` を読めたとしても、一般メールの標準命令、安全な公開情報、受信側が従うべき指示であることまでは証明できない。RFC 2076 は、よく見かける名前をプロトコル、状態、出典、制限と一緒に記録し、その飛躍を防いだ。
インターネット史
一つのマスター図、複数のインスタンス――Sketchpadの共有定義の境界
Ivan Sutherland の Sketchpad は、同じ図形を何度も描く手間を省いただけではない。ひとつの定義を参照するインスタンスと、独立して編集できる複製を、データ上の異なる関係として扱った。その違いは、再利用がどこまでを保証し、どこから先は別の証拠が必要かを今も教えている。
インターネット史
Lynn Conway の λ ルール：レイアウトを持ち運べても、正しさまでは保証しない
寸法をマイクロメートルではなく λ という単位で書く。その変更は単なる表記の工夫ではなかった。設計者と製造工程の境界を組み替え、幾何学的な関係を別工程へ運べるようにした一方、動作の保証は別の検証に残した。
インターネット史
Dorothy Denning：格子が許す流れと、証明しない安全
形式検査が成功したとき、何が証明されたのか。Dorothy E. Denning の格子モデルは、その問いに狭く強い答えを与える。選ばれた分類と順序のもとで、モデル化された依存関係が許されていることは示せる。しかし、分類の妥当性や実装、機密解除、秘密チャネルまで自動的に安全になるわけではない。
インターネット史
Nancy Lynch と、FLP が示した「決定しない実行」の境界
FLP は、分散システムが合意できないと宣告した定理ではない。完全非同期、決定的プロセス、期限のない信頼できる通信、そして一つのクラッシュを許すという条件の下で、あらゆる正当な実行に終了を保証できないと示した定理である。
記事
LACNICのWHOISは起点ASNを示すが、認可の境界までは示さない
LACNIC の WHOIS は起点 ASN を示すが、認可の境界までは示さないの調査概要では、今回の動き、読者が確認できる公開証拠、関係する組織、地域的背景、市場への影響度、今後起こり得るインフラへの影響を解説します。記事の調査・分析の文脈では、この動きをネットワーク運用、事業者戦略、ガバナンス上の判断、資本の流れ、顧客への依存、規制圧力、提携の動き、強靱性への備え、調達リスク、サービス継続性に結び付けて示します。
IETF
RFC 9806が直したのはラベルであり、導入の証明ではない
SIPREC の記録メタデータを表す名称は、application/rs-metadata+xml に一本化された。二つの2016年版 RFC、正誤情報、後続の Standards Track 文書、IANA 登録がその結論を支える。しかし、仕様上の決着だけでは、稼働中のクライアント、サーバー、アーカイブが移行した証拠にはならない。
インターネット史
Leslie Lamportと、タイムスタンプだけでは証明できない順序
Lamport のタイムスタンプは、プロセスとメッセージを通る既知の因果経路を壊さずに並べられる。しかし、小さい数を原因へ変えたり、比較不能な事象を物理的な同時発生とみなしたり、一つの全順序を唯一の歴史として証明したりはしない。
記事
ARINの正当なRPSLでもミラーの回答は欠けた
ARIN の正当な RPSL でもミラーの回答は欠けたの調査概要では、今回の動き、読者が確認できる公開証拠、関係する組織、地域的背景、市場への影響度、今後起こり得るインフラへの影響を解説します。記事の調査・分析の文脈では、この動きをネットワーク運用、事業者戦略、ガバナンス上の判断、資本の流れ、顧客への依存、規制圧力、提携の動き、強靱性への備え、調達リスク、サービス継続性に結び付けて示します。
IETF
RFC 10050が分けた三つの判定――カード、プロファイル、プロトコル
JSContact カードが正しく、あるプロファイルにも適合している。それでも、そのカードを運ぶプロトコルが受理すべきだとは限らない。RFC 10050は、プロファイルに永続的な名前と版を与えながら、最終判断をプロトコル側に残した。
インターネット史
Jim Grayと、二相コミットを決められない賛成票
二相コミットで参加者が prepare 記録を永続化して YES を返すのは、最終的な commit と abort のどちらにも従えることの証明である。まだ commit したわけではなく、コーディネーターが消えても結果を推測する権限は生まれない。