コンピュータ科学の歴史で最も影響力のある論文たち

 (terriblesoftware.org)
6 ポイント 投稿者 GN⁺ 2025-01-24 | 1件のコメント | WhatsAppで共有

  • 紹介

    • この記事では、コンピュータ科学の歴史で最も影響力のある7本の論文を紹介する。各論文は現代世界に大きな影響を与えており、それぞれ単独でブログ記事や書籍として扱う価値がある。

  • "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936)

    • 著者: Alan Turing
    • 中核アイデア: チューリングは「チューリングマシン」という仮想的な概念を通じて、コンピュータが理論的に実行できる作業の範囲を定義した。
    • 今日における重要性: すべてのプログラミング言語とコードはチューリングの規則に従って動作する。量子コンピューティングでも、依然としてチューリングが定義した境界が参照されている。

  • "A Mathematical Theory of Communication" (1948)

    • 著者: Claude Shannon
    • 中核アイデア: 情報理論によって、データ圧縮と誤り訂正符号を可能にした。
    • 今日における重要性: テキスト送信、動画ストリーミング、ビデオ通話などで Shannon のアイデアが使われている。

  • "A Relational Model of Data for Large Shared Data Banks" (1970)

    • 著者: Edgar F. Codd
    • 中核アイデア: データをテーブルに保存し、論理演算で操作する関係モデルを提案した。
    • 今日における重要性: SQL とリレーショナルデータベースの基礎となり、データ組織化の基本概念を提供した。

  • "The Complexity of Theorem-Proving Procedures" (1971)

    • 著者: Stephen A. Cook
    • 中核アイデア: NP完全性の概念を導入し、問題の難しさを説明した。
    • 今日における重要性: アルゴリズム、暗号学、効率的な解法の探索に大きな影響を与えた。

  • "A Protocol for Packet Network Intercommunication" (1974)

    • 著者: Vinton G. Cerf, Robert E. Kahn
    • 中核アイデア: 異なるネットワーク同士が通信できる TCP/IP プロトコルを開発した。
    • 今日における重要性: インターネットの基本プロトコルとして、Webブラウジングや電子メール送信などに使われている。

  • "Information Management: A Proposal" (1989)

    • 著者: Tim Berners-Lee
    • 中核アイデア: ハイパーテキストシステムを提案し、World Wide Web を誕生させた。
    • 今日における重要性: Web を通じて知識共有の方法を革新した。

  • "The Anatomy of a Large-Scale Hypertextual Web Search Engine" (1998)

    • 著者: Sergey Brin, Larry Page
    • 中核アイデア: リンク解析に基づく検索エンジン、すなわち Google を開発した。
    • 今日における重要性: 情報検索の方法を再定義し、データ中心技術の時代を切り開いた。

  • ボーナス（リストにほぼ入った5本）

    • "Recursive Functions of Symbolic Expressions and Their Computation by Machine" (1960) - John McCarthy: Lisp と関数型プログラミングスタイルを紹介。
    • "Go To Statement Considered Harmful" (1968) - Edsger Dijkstra: 構造化プログラミング革命のきっかけとなった論説。
    • "Time, Clocks, and the Ordering of Events in a Distributed System" (1978) - Leslie Lamport: 分散システムにおける論理時計の必要性を説明。
    • "No Silver Bullet—Essence and Accident in Software Engineering" (1986) - Fred Brooks: ソフトウェア開発の複雑さを解決する単一の解決策はないと主張。
    • "Attention Is All You Need" (2017) - Vaswani et al.: GPT のような大規模AIモデルの基盤となったトランスフォーマーアーキテクチャを紹介。

  • 結論

    • 現代には新しい言語、AIの革新、量子分野での飛躍などがあふれているが、こうした基礎論文は、私たちが築いている土台を理解するうえで重要である。

関連記事

1件のコメント

 
GN⁺ 2025-01-24
Hacker Newsのコメント

  • コンピュータ科学の発展を理解するための、ハーバードによる興味深い講義の紹介

    • 1930年代から現在までの重要な論文を扱い、コンピュータ科学を統合的に見る視点を提供している
    • コンピュータ科学の理論と技術に影響を与えた論文を選ぶ基準への疑問提起

  • チューリング論文とIP標準の重要性の比較

    • チューリング論文はコンピュータ科学の基礎だが、技術発展に直接的な影響を与えたわけではない
    • IP標準は技術の中核だが、科学的要素は少ない

  • 論文リストに関する個人的な経験の共有

    • チューリングの計算可能性に関する論文は理解が難しく、補助資料が必要だった
    • CookのNP完全性論文も難しく、入門書が勧められている
    • Shannonの論文は芸術的だが、気軽に読める内容ではない
    • BrinとPage、Coddの論文は理解しやすかったが、線形代数の知識が必要

  • Shannonの情報理論の基礎論文に関する追加情報

    • 彼の修士論文では、スイッチング回路を用いたブール代数の定義が説明されている

  • チューリングマシンと決定問題に関する説明

    • チューリングは、あらゆる問題を解ける機械は存在しないことを証明した
    • Church-Turing-Thesisは証明不可能な仮説である

  • Unixシステムの進化に関する論文への言及

    • Dennis Ritchieの"Evolution of Unix time-sharing systems"論文が抜けている

  • ソフトウェア革命に関するMarc Andreessenの文章とAmazonの1997年株主書簡への言及

    • あらゆる産業がソフトウェア革命に備えるべきだと強調している

  • NP完全性に関するKarpの論文の追加

    • Cookの理論に対する一般的な関心を呼び起こした重要な論文

  • 推薦論文リスト

    • RSA、PageRank、MapReduce、Bitcoin、BackProp、Hoare Logicの論文を推薦

  • DiffieとHellmanの"New Directions in Cryptography"論文への言及