ジョン・マッカーシー

1.1 生い立ちと教育

ジョン・マッカーシーは1927年9月4日、アメリカ合衆国マサチューセッツ州ボストンに生まれた。両親はリトアニア系ユダヤ人の移民で、父は機械工、母はジャーナリストであった。幼少期から数学と科学に強い関心を示し、カリフォルニア大学ロサンゼルス校で数学の学位を取得した後、1948年にプリンストン大学で博士号を修了した。

1.2 初期のキャリア（プリンストン大学、MIT）

博士号取得後、マッカーシーは短期間プリンストン大学で教鞭を執り、その後ダートマス大学に移った。1956年、マッカーシーはダートマス会議を主催し、これが人工知能研究の幕開けとなった。1958年にはマサチューセッツ工科大学（MIT）に移り、人工知能プロジェクトを立ち上げるとともに、タイムシェアリングシステムである互換タイムシェアリングシステム（CTSS）の開発に関与した。

1.3 スタンフォード大学時代

1962年、マッカーシーはスタンフォード大学に移籍し、同学の人工知能研究所を創設した。同大学では1970年代から1980年代にかけて多くの研究者を育成し、Lisp言語の進化やロボット工学の基礎研究を推進した。彼は2011年10月24日に亡くなるまで、スタンフォード大学の名誉教授として活動を続けた。

2.1 人工知能

2.1.1 ダートマス会議（1956年）

1956年夏、マッカーシーはマーカス・リー、マービン・ミンスキー、アラン・チューリングらとともに、ダートマス大学で「人工知能」と名付けた会議を開催した。この会議では、機械が人間の知能を模倣する可能性が初めて体系的に議論され、ニューラルネットワーク、自然言語処理、問題解決などの研究分野の基礎が築かれた。マッカーシーはこの会議で「人工知能」という用語を正式に定義した。

2.1.2 アドバンスト・リサーチ・プロジェクト

マッカーシーは1958年にMITで人工知能プロジェクトを開始し、プログラム検証、自動定理証明、知識表現などの研究を推進した。彼はアドバンスト・リサーチ・プロジェクト・エージェンシー（ARPA）からの資金を得て、初期のAI研究の拡大に貢献した。また、1959年に発表した「プログラムの常識的知識」に関する論文では、機械が常識的推論を行うための枠組みを提案した。

2.2 Lispプログラミング言語

2.2.1 Lispの特徴と革新性

マッカーシーは1958年にMITでLisp（List Processing）言語を開発した。Lispはリスト構造を基本データ型とし、関数型プログラミングの概念を導入した。特徴として、動的型付け、ガベージコレクション、第一級関数、マクロ機能などを備え、当時としては革新的な設計であった。LispはAI研究に広く利用され、特にシンボリック処理や推論システムの実装に適していた。

2.2.2 後続言語への影響

Lispはその後のプログラミング言語に多大な影響を与えた。SchemeやCommon Lispといった派生言語が生まれ、関数型プログラミングの思想はHaskellやMLの発展に寄与した。また、Lispのマクロ機構や自動メモリ管理の概念は、他の言語（Python、Ruby、JavaScriptなど）にも取り入れられた。

2.3 タイムシェアリングとクラウドコンピューティング

2.3.1 MITの互換タイムシェアリングシステム

マッカーシーは1959年にMITで互換タイムシェアリングシステム（CTSS）の設計に参加した。CTSSは複数のユーザーが同時にコンピュータを利用できる初の実用的なタイムシェアリングシステムであり、会話型計算環境の先駆けとなった。このシステムは後のMulticsやUnixの開発に影響を与えた。

2.3.2 ユーティリティコンピューティングの提唱

マッカーシーは1961年のスピーチで、コンピュータの計算能力が将来「公共事業」のように利用されるという構想を提唱した。これはユーティリティコンピューティングと呼ばれ、後にクラウドコンピューティングの概念の原型となった。彼は、ユーザーが必要なときに計算リソースを従量制で利用するモデルを予見していた。

3.1 チューリング賞（1971年）

1971年、マッカーシーは計算機科学の分野での卓越した業績に対してチューリング賞を受賞した。受賞理由は、人工知能の基礎概念の確立、Lisp言語の開発、およびタイムシェアリングシステムへの貢献が挙げられた。

3.2 全米科学メダル（1990年）

1990年、マッカーシーはアメリカ合衆国大統領から全米科学メダルを授与された。これは人工知能研究と計算機科学への永続的な貢献に対して贈られたものである。

3.3 その他の顕彰

マッカーシーはほかにも、ロバート・M・ヤング賞（1973年）、アメリカ人工知能学会の「AIパイオニア賞」（1987年）などを受賞した。また、全米工学アカデミーの会員にも選ばれている。

4.1 AIコミュニティへの貢献

マッカーシーは人工知能研究の初期段階から中心的な役割を果たし、AIの基礎理論と応用の両面で重要な基盤を築いた。彼の知識表現や自動推論に関する研究は、後のエキスパートシステムや論理プログラミングの発展につながった。

4.2 教育と指導

スタンフォード大学では、マッカーシーの指導を受けた多くの学生が後に著名な研究者となった。彼はAIの教育カリキュラムを整備し、多数の博士号取得者を輩出した。

4.3 批判と議論

マッカーシーの業績は広く認められたが、一部の批判もあった。たとえば、彼の提唱したAIの手法（主に論理推論に依存するアプローチ）は、現実の複雑な問題に対して柔軟性に欠けるという指摘がある。また、Lispの普及には限界があり、後発言語に取って代わられた面も否めない。しかし、これらの批判は彼の先駆的な業績の価値を減じるものではない。

マッカーシーは多数の論文と書籍を発表した。代表的な著作として、「Programs with Common Sense」（1959年）、「LISP 1.5 Programmer's Manual」（1962年）、「Artificial Intelligence: A General Survey」（1971年）がある。また、彼は「The Annotated John McCarthy」と題した論文集も出版している。

• ダートマス会議
• Lisp
• タイムシェアリングシステム
• クラウドコンピューティング
• マービン・ミンスキー
• アラン・チューリング
• 人工知能の歴史