コンテンツ種別
Research
コンテンツ種別の観点では、Research は同じ編集形式を持つ BTW.MEDIA の記事を集約し、解説、プロフィール、リスクノート、市場分析、イベント記事を、種類の異なる証拠を混ぜずに比較できるようにします。このページは、この記事タイプがサイト上のインターネット基盤の出来事、企業の動き、ガバナンス上の決定、運用上のシグナル、公開された証拠をどのように位置づけるかを説明します。読者は、どの主体やインフラシステムが頻繁に登場するか、情報源の質が解釈をどう変えるか、対象が継続的なプロフィールなのか、時限性のあるイベントなのか、戦略的な市場シグナルなのか、ガバナンス上の進展なのかを比較できます。同じ形式の記事の背景、時期、証拠を理解したい運用者、投資家、顧客、アナリスト、政策関係者にとって役立つ検索ページです。
ケースファイル
一つのリゾルバーアドレスは、一つの判断主体ではなかった
APNIC Labs が実験用ゾーンに二台目のデュアルスタック権威ネームサーバーを加えると、テスト当たりの平均クエリー数は3.43から2.57へ下がった。原因は確定していない。だが、公開リゾルバーの IP アドレスを一台の再帰エンジンや一つの再試行状態と同一視できないことは、数字にはっきり表れた。
インターネット史
RFC 2188が残した非対称な証拠――ESROに見る「相手が知っていること」と「自分が証明できること」
分散システムで遠隔操作を送ったとき、「成功した」という言葉は一つの出来事を指しているように見える。だが実際には、呼出しが送られたこと、相手が受け取ったこと、処理を実行したこと、結果を返したこと、その結果を呼出し側が受け取ったこと、さらに結果受領の確認が相手へ戻ったことは、それぞれ別の事実である。1997年9月に公開された RFC 2188の Efficient Short Remote…
リーダー
Adrian Farrelと「まだルーターには存在しない経路」
PCEP の応答は成功し、ERO も返っている。画面にはきれいな経路が描かれた。それでも、装置が受け入れたという確認はない。PCE アーキテクチャが残した最も実務的な教訓は、この二つを同じ出来事にしないことだ。
ケースファイル
WebAuthnはRP ID検証をリモート側に委ねる。ローカル許可はその証明ではない
WebAuthn Level 4の最初の公開草案は、リモートデスクトップ経由の認証に明確な役割分担を置いた。ローカルのブラウザはオリジン単位の許可を確認し、リモート側が作ったクライアントデータをそのまま署名へ渡す。しかし、その許可はリモート側のオリジン判断が正しかったことまでは示さない。
リーダー
Cristiano AmonとOryon――買収から製品までを証明する六つの境界
Nuvia の買収完了、Oryon という名称、Snapdragon X への実装、PC メーカー各社の発売、Arm との訴訟判断。これらは一本の物語にはなるが、同じ事実を証明しているわけではない。Cristiano Amon の経営責任を評価するには、証拠の役割を分けて読む必要がある。
インターネット史
RFC 2187が分けたキャッシュの役割――距離ではなくMISSを引き受ける権限
parent と sibling という語は上下や近さを連想させる。しかし RFC 2187が記録した Web キャッシュ階層の要点は、機械がどこにあるかではなく、要求した対象が見つからないときに、その要求を誰が先へ運べるかという運用上の関係にある。ICP が返す HIT や MISS は、その関係そのものではなく、次の取得先を選ぶための限られた証拠である。
インターネット史
RFC 2186が引いた証拠の境界――ICPv2のHITは配送ではなく「次に試す隣接」を示す
1997年9月に Informational RFC として公開された RFC 2186は、ICPv2 を隣接キャッシュ間の軽量な選択プロトコルとして定義した。その設計で重要なのは、HIT に強すぎる意味を与えなかったことだ。ICP_HIT は、特定の URL についてある隣接を取得元候補として試す理由にはなるが、そのオブジェクトの出所、鮮度、真正性、完全性、安全性、最適性、将来の可用性、アプリケーションへの配送、まして事業上の成果までは証明しない。ICPv2 は、観測できたイベントと、そこから正当に導ける結論の間に、意図的な境界を残している。
研究者
Robin Milner――探索だけでは定理を作れない境界
証明タクティックは何千もの分岐を調べ、最後に成功を告げることができる。しかし LCF の設計では、その表示が受理の瞬間ではない。決め手は、保護された公理と原始推論規則だけが生成できる theorem 値だった。Robin Milner に結び付く重要な着想は、自動化を大胆で誤り得るもののまま拡張しつつ、何を定理として認めるかという権限を別の小さな経路に置いたことである。
インターネット史
最安の実行計画は、まだ現実ではなかった
クエリの意味が一つでも、そこへ至る物理的な道は一つではない。Patricia G. Selinger と System R チームは1979年、統計と費用モデルを使って実行前にその道を選ぶ仕組みを実用化した。ここでいう「最安」は、調べた候補の中で推定値が最小だったという意味である。実測時間の判決でも、あらゆる計画に対する大域最適性の証明でもない。
インターネット史
KWICの出力は同じでも、変更の広がりは同じではない
二つのプログラムに同じ見出しを与えると、どちらも同じ循環シフトを同じアルファベット順で出力する。受け入れ試験は双方とも通る。では、行の格納方法を変えたら、いくつの担当とインターフェースがその変更を知る必要があるのか。David L. Parnas が1972年に示したのは、この二つ目の試験だった。
インターネット史
Paul Baranの生存性曲線には条件があった
攻撃でいくつかのノードが消えた。二つの端点は物理的には残っている。両者はなお経路を見つけられるだろうか。Paul Baran が RAND で扱ったのは、この限定された問いである。核攻撃を無傷で切り抜けるネットワークや、あらゆるメッセージの必達を証明したのではない。
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 目標は、まさにその注意を必要とする。
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年規約は、組織会員の拠出条件と、個人正会員が理事を選ぶ仕組みを別々に置いた。これは当時の制度設計を読める史料であり、現在の規約や実際の投票結果を示すものではない。
インターネット史
Susan Eggersと、空いた発行枠を共有した一つのコア
幅の広いプロセッサには多くの実行器があっても、一つの命令列だけでは毎サイクルを埋められない。Susan Eggers らが問うたのは、物理コアを増やすことではなく、複数の独立したスレッドを同じサイクルの候補にできないか、ということだった。同時マルチスレッディングは総スループットを押し上げた。同時に、共有には公平性、遅延、競合という代価があることも数値で示した。
インターネット史
RFC 2169：HTTP の経路はリソースの権威ではない
RFC 2169 が 1997 年に示したのは、URN についてリゾルバへ問い合わせる際に HTTP を使う小さな慣行だった。応答に到達できることは、名前の割当、リソースの管理、利用許可を決める権限とは別である。
ケースファイル
RFC 9647が可視化するBabel運用証拠チェーン――YANGモデルの外側に残る検証責任
Babel の経路表に「selected」と表示されても、それだけで通信経路の完全な証明にはならない。YANG データストア上の設定意図から、実際に適用されたインターフェース方針、認証済み近隣交換、転送状態、障害復旧、そして外部から観測された到達性までの証拠連鎖が欠けていれば、管理面の可視性は完成したネットワーク保証とは異なる。RFC 9647は Babel を運用管理可能なデータモデルとして整理するが、何を確認できるようにしたのか、そして何を運用者自身が証明し続ける必要があるのかを明確に分ける必要がある。
インターネット史
Irene Greifと、アトミックなコミットでは守れない書き手の意図
Collaborative Editing System は、共有文書の変更を直列化し、障害から回復できる状態にした。同時に、今も変わらない限界を示した。トランザクションは中途半端なデータを防げても、書き手が何を意図し、誰が変更を見て、どの判断を優先すべきかまでは決められない。
インターネット史
FASが裁定しても、スイッチの仕事は終わらなかった
RFC 2124は接続受付ポリシーを外部サービスへ切り出した。しかし、サービスの回答と実際の接続状態を同じものにはしなかった。LFAP が残したのは、判断、実行、照合、計量を別々に検証するためのメッセージ列である。