主要領域
技術
主要領域 の観点では、「技術」の調査・分析は、記事を主要な領域ごとに整理し、インターネット基盤、運営・政策、接続市場、デジタル資本といった関心分野を追いやすくします。このページでは、関連記事、公開証拠、機関、企業、人物、地域的な影響、運用上の依存関係、市場の文脈をまとめ、別々のカテゴリページに散らばりがちな情報を一覧で確認できます。また、対象領域の説明、関与しうる主体の類型、市場・制度の文脈、シグナルを比較する際に参照すべき資料も示します。運用者、アナリスト、制度・政策の関係者は、同じ領域がイベント、プロフィール、市場の変化、公開証拠、地域依存、長期的なインフラ判断に、時間を追ってどのように現れるかを確認できます。
リーダー
Cristiano AmonとQualcommのFY2029を測る二つの物差し
到着年が同じでも、測っている事業が違えば二本の棒は連続した実績にはならない。Qualcomm が2024年と2026年に示した FY2029 目標は、まさにその注意を必要とする。
研究者
Nancy Leveson：部品が壊れなくても事故は起こる
装置が仕様どおりに動き、担当者が手順に従っても、安全が保たれるとは限らない。Nancy Leveson は、誰が何を制御し、どの情報を信じ、危険な状態を防ぐ制約をどこで失ったのかを問う道筋を示した。
インターネット史
Mary Shawと箱の間にあるプロトコル
1994年、Mary Shaw は今も設計図に残る偏りを指摘した。箱には詳しい名前が付くのに、箱を結ぶ線はほとんど説明されない。手続き呼び出しは有用な仕組みだが、データフロー、イベント、共有データ、同期、複雑な会話を表すには語彙が足りない。
インターネット史
Susan Eggersと、空いた発行枠を共有した一つのコア
幅の広いプロセッサには多くの実行器があっても、一つの命令列だけでは毎サイクルを埋められない。Susan Eggers らが問うたのは、物理コアを増やすことではなく、複数の独立したスレッドを同じサイクルの候補にできないか、ということだった。同時マルチスレッディングは総スループットを押し上げた。同時に、共有には公平性、遅延、競合という代価があることも数値で示した。
インターネット史
Betsy Ancker-Johnson と経路を記憶するプラズマ
1964年、Betsy Ancker-Johnson は、単一のスイッチ点では説明できない半導体プラズマを測定した。同じ外部条件でも、電場と磁場をどちらから変化させたかによって状態が異なる。その成果は経路依存性を示す精密な実験であり、万能のメモリー技術を証明したものではない。
インターネット史
Irene Greifと、アトミックなコミットでは守れない書き手の意図
Collaborative Editing System は、共有文書の変更を直列化し、障害から回復できる状態にした。同時に、今も変わらない限界を示した。トランザクションは中途半端なデータを防げても、書き手が何を意図し、誰が変更を見て、どの判断を優先すべきかまでは決められない。
インターネット史
「GPSを発明した」の一文では足りない——Gladys B. West、1982年論文が証明した地球の形と、その証拠の限界
Gladys B. West の1982年論文 “Mean Earth ellipsoid determined from SEASAT 1 altimetric observations” の価値は、現代 GPS の全要素を一人で発明したことを示す点にはない。むしろ重要なのは、衛星レーダー高度計から作られたジオイド情報と重力ポテンシャル係数を、明示された仮定と最小化手順の下で結び、平均地球楕円体の大きさと原点位置を推定したことである。その証拠は強い。しかし、強い証拠ほど、どこまで届き、どこから先には届かないかを区別する必要がある。
インターネット史
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 に到達し、その後で一部の枝だけが送信元固有経路へ移った。確実性ではなく、期限付きの局所記録が規模を支えた。
インターネット史
Evelyn Berezin――止まらないことと在庫が正しいことの境界
Teleregister が United Airlines 向けに構築したシステムは、プロセッサが一台故障しても応答を続けられた。しかし、その強さだけでは「空席」という回答の正しさまでは証明できない。
インターネット史
アドレスは「自宅」、ダイヤル回線は「遠隔」を示した：RFC 2107
RFC 2107 は、遠隔ダイヤルアップ端末にホームネットワーク上の存在感を与えた。その見かけは Foreign Agent、Home Agent、共有秘密、Tunnel ID、そして正しい順序で生成・破棄される状態に支えられていた。
インターネット史
Karen Spärck Jones が数えたのはコーパス内の希少性であり、真実ではない
検索語の重みは、その語だけを眺めても決まらない。比較対象となる文書集合が変われば、同じ語の識別力も変わる。Karen Spärck Jones はこの事実を単なる直観ではなく、実験可能な検索設計へ変えた。
インターネット史
ルーターは端末にアドレスを与えた。身元までは与えなかった――RFC 2106
RFC 2106 は、多数の遠隔 SNA／NetBIOS 端末を一台の DRAP サーバーの背後に収容した。バックボーン側の接続は減ったが、状態と判断権限は境界装置へ集まった。
インターネット史
2回のハッシュ処理がMACを再利用可能にした。しかし信頼判断までは代行しなかった：RFC 2104
RFC 2104は、既存の反復型ハッシュ関数を内側と外側の2段で包み、再利用できるメッセージ認証コードを定めた。下層のハッシュを交換できる設計は長く残ったが、一致するタグが示す範囲は鍵・アルゴリズム・正確なバイト列に限られる。人物やホストの同一性、権限、鮮度、配送、運用の正しさまで自動的に証明するものではない。
インターネット史
リンクは開いた。それでも各名前には受け入れ判定が要った：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 処理系へ渡せる形を作った。象徴的な変形から科学的結論までを一つの成功として扱わないことが、この業績を正確に評価する出発点になる。