コンテンツ種別
Long Form
コンテンツ種別の観点では、Long Form は同じ編集形式を持つ BTW.MEDIA の記事を集約し、解説、プロフィール、リスクノート、市場分析、イベント記事を、種類の異なる証拠を混ぜずに比較できるようにします。このページは、この記事タイプがサイト上のインターネット基盤の出来事、企業の動き、ガバナンス上の決定、運用上のシグナル、公開された証拠をどのように位置づけるかを説明します。読者は、どの主体やインフラシステムが頻繁に登場するか、情報源の質が解釈をどう変えるか、対象が継続的なプロフィールなのか、時限性のあるイベントなのか、戦略的な市場シグナルなのか、ガバナンス上の進展なのかを比較できます。同じ形式の記事の背景、時期、証拠を理解したい運用者、投資家、顧客、アナリスト、政策関係者にとって役立つ検索ページです。
インターネット史
Frank Kellyと、単一フローでは証明できない公平性
自分の転送速度が分かっても、ネットワーク全体の配分が公平かどうかは分からない。比較すべき相手は別の一フローではなく、容量制約を満たす別の配分すべてだからだ。Frank Kelly が比例公平性に与えた定義は、この見えない反実仮想を数式にした。さらに局所的な輻輳信号やシャドープライスが、中央の全知なしに全体の目標へ近づく道筋を示した。
インターネット史
David Tennenhouseと、ルーターにコード実行を求めたパケット
パケットは通常、次の行き先を尋ねる。David Tennenhouse と David Wetherall の「カプセル」は、もう一つ要求した。ここで、この処理を実行してほしい。サービス導入を速める発想だったが、他者のルーターを計算機として使う以上、コードの身元、呼び出す権限、資源の上限、拒否時の動作まで転送処理の契約に入った。
研究者
Nancy Leveson：部品が壊れなくても事故は起こる
装置が仕様どおりに動き、担当者が手順に従っても、安全が保たれるとは限らない。Nancy Leveson は、誰が何を制御し、どの情報を信じ、危険な状態を防ぐ制約をどこで失ったのかを問う道筋を示した。
グローバルのクラウドサービストレンド
Rocket Labは株式を発行し、つなぎ融資枠を解消した。Iridiumの買収はまだ終わっていない
資金調達の手当てと、衛星通信事業の所有権移転は別の出来事だ。９月の開示は、発行済み株式、残る既存借入、消えた融資コミットメント、そして未了の承認手続きを別々に読む必要がある。
インターネット史
Mary Shawと箱の間にあるプロトコル
1994年、Mary Shaw は今も設計図に残る偏りを指摘した。箱には詳しい名前が付くのに、箱を結ぶ線はほとんど説明されない。手続き呼び出しは有用な仕組みだが、データフロー、イベント、共有データ、同期、複雑な会話を表すには語彙が足りない。
インターネット史
Betsy Ancker-Johnson と経路を記憶するプラズマ
1964年、Betsy Ancker-Johnson は、単一のスイッチ点では説明できない半導体プラズマを測定した。同じ外部条件でも、電場と磁場をどちらから変化させたかによって状態が異なる。その成果は経路依存性を示す精密な実験であり、万能のメモリー技術を証明したものではない。
インターネット史
Sophie Wilson と ARM1 初回シリコンが返した工学的な受領証
1985年4月26日、VLSI Technology から戻った最初の ARM1 には、すでに待機中のボードとソフトウェアがあった。Tube OS と BBC BASIC は、モデルとシミュレーターの上で先に走っていた。差し込んですぐ動いたという事実は強い証拠だが、RISC が自然に一発成功することや、歩留まり、量産、市場まで証明したわけではない。
インターネット史
Evelyn Berezin――止まらないことと在庫が正しいことの境界
Teleregister が United Airlines 向けに構築したシステムは、プロセッサが一台故障しても応答を続けられた。しかし、その強さだけでは「空席」という回答の正しさまでは証明できない。
インターネット史
Karen Spärck Jones が数えたのはコーパス内の希少性であり、真実ではない
検索語の重みは、その語だけを眺めても決まらない。比較対象となる文書集合が変われば、同じ語の識別力も変わる。Karen Spärck Jones はこの事実を単なる直観ではなく、実験可能な検索設計へ変えた。
インターネット史
Frances E. Allenがコンパイラーに教えた、証明できる範囲
定義が命令へ到達し得るか、値がまだ生きているか、変換が所定の意味を保つか。Frances E. Allen は、こうした問いを体系的な解析にした。同時に、その答えが実行時の全面的な正しさではないことも、方法の内側に残した。
インターネット史
Jean E. Sammetは代数を実行可能にしたが、証明を代行したわけではない
FORMAC は式を微分し、置換し、展開してから、通常の FORTRAN 処理系へ渡せる形を作った。象徴的な変形から科学的結論までを一つの成功として扱わないことが、この業績を正確に評価する出発点になる。
インターネット史
LAP6はコードを編集可能にしたが、正しさまでは証明しなかった
Mary Allen Wilkes は、2,048語の LINC で、原稿の表示・編集からテープへの保存、アセンブル、ロードまでを一つの対話環境に結んだ。その革新性は、工程をつないだことと同時に、工程ごとの証拠を混同しなかったことにある。
インターネット史
一つのマスター図、複数のインスタンス――Sketchpadの共有定義の境界
Ivan Sutherland の Sketchpad は、同じ図形を何度も描く手間を省いただけではない。ひとつの定義を参照するインスタンスと、独立して編集できる複製を、データ上の異なる関係として扱った。その違いは、再利用がどこまでを保証し、どこから先は別の証拠が必要かを今も教えている。
インターネット史
Lynn Conway の λ ルール：レイアウトを持ち運べても、正しさまでは保証しない
寸法をマイクロメートルではなく λ という単位で書く。その変更は単なる表記の工夫ではなかった。設計者と製造工程の境界を組み替え、幾何学的な関係を別工程へ運べるようにした一方、動作の保証は別の検証に残した。
インターネット史
Dorothy Denning：格子が許す流れと、証明しない安全
形式検査が成功したとき、何が証明されたのか。Dorothy E. Denning の格子モデルは、その問いに狭く強い答えを与える。選ばれた分類と順序のもとで、モデル化された依存関係が許されていることは示せる。しかし、分類の妥当性や実装、機密解除、秘密チャネルまで自動的に安全になるわけではない。
インターネット史
Nancy Lynch と、FLP が示した「決定しない実行」の境界
FLP は、分散システムが合意できないと宣告した定理ではない。完全非同期、決定的プロセス、期限のない信頼できる通信、そして一つのクラッシュを許すという条件の下で、あらゆる正当な実行に終了を保証できないと示した定理である。
インターネット史
Leslie Lamportと、タイムスタンプだけでは証明できない順序
Lamport のタイムスタンプは、プロセスとメッセージを通る既知の因果経路を壊さずに並べられる。しかし、小さい数を原因へ変えたり、比較不能な事象を物理的な同時発生とみなしたり、一つの全順序を唯一の歴史として証明したりはしない。
インターネット史
Jim Grayと、二相コミットを決められない賛成票
二相コミットで参加者が prepare 記録を永続化して YES を返すのは、最終的な commit と abort のどちらにも従えることの証明である。まだ commit したわけではなく、コーディネーターが消えても結果を推測する権限は生まれない。
インターネット史
Rob Pikeと、何も開かなかった9Pのwalk
9P では、名前の全要素を walk して期待どおりの qid を受け取っても、ファイルはまだ開かれておらず、1バイトも移動していない。Rob Pike が名前空間の設計に果たした役割から見えてくるのは、成功応答を弱めることではなく、その応答が証明できる範囲を正確に守る技法である。
IETF
Marshall T. Roseと、すべての変数を変更するか一つも変更しないSNMP SetRequest
保守用コンソールが複数の変数割り当てを一つの SNMP SetRequest に入れ、エージェントが`noError`を返す。この応答は有力な受領証だが、証明範囲は意図的に狭い。対象は管理変数の処理であり、操作した人、再起動後の永続性、値が引き起こす装置動作の完了、組織上の承認までを一括して保証するものではない。