ジョン・マッカーシー：「人工知能 (AI)」と LISP を発明した CS の創設者

1. 身近な「AI / 関数型言語」を逆算する

「人工知能 (AI)」という言葉、ChatGPT・Claude が「AI」と呼ばれる理由、関数型プログラミング言語 (Haskell / Scala / Clojure / Elixir) の系譜。すべての出発点が ジョン・マッカーシー の 1958 年 LISP と 1956 年「AI」命名。

2. 100 文字でわかる

3. 500 文字でわかる

1927 年米国生まれ、Caltech 数学博士。1955 年、ダートマス大学のサマー研究会の提案書で初めて「Artificial Intelligence (人工知能)」という言葉を使う。1956 年 8 週間のダートマス会議 で、ミンスキー・シャノン・ロチェスター等とともに AI 分野を正式に立ち上げ。1958 年 MIT で LISP (LISt Processor) 言語を発明 — Fortran (1957) に次ぐ世界 2 番目の高水準言語、関数型プログラミングの祖。LISP は AI 研究の標準言語となり、現代の Haskell・Scala・Clojure・Erlang・Lisp 系すべての祖先。1960 年代に時分割システム (タイムシェアリング) を提唱、これが Unix の祖先・現代クラウドの源流。1961 年、「コンピューティングはいずれ電気・水と同じ公共サービス (utility) になる」と予言、現代のクラウドコンピューティングを 50 年早く予見。1971 年チューリング賞。2011 年に 84 歳で死去。

4. もっと詳しく

AI 命名 (1955-56)

1955 年、ダートマス大学の助教授だった彼が、ロックフェラー財団に研究助成金を申請。提案書で「Artificial Intelligence (AI)」という新しい用語を使った (それまで「Cybernetics」「Thinking Machines」等が使われていた)。1956 年夏、8 週間のダートマス会議で、マービン・ミンスキー、クロード・シャノン、ナサニエル・ロチェスター等が集まり、AI 分野が正式発足。

LISP の発明 (1958)

1958 年、AI 研究のために LISP (LISt Processor) を設計。「プログラムもデータも同じリスト (S 式) で表現する」 という独特の設計、関数型プログラミングの基礎。Fortran (1957) は数値計算用、LISP は 記号処理 (シンボリック計算) に強い。自己 LISP インタプリタを LISP で 1 ページに書ける という驚きの簡潔さ。

タイムシェアリングと「公共サービス」(1961)

1961 年、MIT のコンピューティング 100 周年講演で「Computing may someday be organized as a public utility」(コンピューティングはいずれ電気・水のような公共サービスとして提供される) と予言。これが現代のクラウドコンピューティングの起点。

晩年と論争

1965 年スタンフォード大学に移り、AI 研究室を創設。強硬な「強い AI」(完全な汎用知能を作れる) 信奉者、ヒューバート・ドレフュス等の批判者と論争。2011 年没。「AI は冬の時代 (1970s, 1990s) もあったが、必ず復活する」と信じ続けた。

5. 現代への影響

• AI 分野: 現代 ChatGPT・Claude も彼が命名した分野
• LISP / Common Lisp / Scheme / Clojure: 関数型言語の祖
• Emacs (テキストエディタ): Lisp で書かれた現代の名作
• クラウドコンピューティング: 「公共サービス」予言
• 自己改変プログラム: マクロ・コードジェネ

6. もっと知りたい人へ

• Wikipedia (日本語): ジョン・マッカーシー (計算機科学者))
• ダートマス会議提案書 (1955): 公開
• 著書「LISP 1.5 Programmer's Manual」(1962): 古典

7. 次の話

EP.63 では アンドリュー・タネンバウム を扱います。MINIX を作り、Linux 誕生のきっかけを作った CS 教科書著者。