ジョン・マッカーシー

出典: フリー百科事典『ウィキペディア（Wikipedia）』

講義後のジョン・マッカーシー（ニューヨーク州立大学バッファロー校にて）

ジョン・マッカーシー（John McCarthy, 1927年 9月4日 - ）は、マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。「人工知能; Artificial Intelligence」という用語は彼が1956年のダートマス会議のために1955年に出した提案書で初めて使用された。

マッカーシーは人工知能のために数理論理学を使って知識を表現することに尽力した。別の考え方としてMITなどでは高レベルの計画や目標設定を使った「知識の手続き的埋め込み」が提案されており、これはPlanner言語や後の「Scientific community metaphor」を生み出した（Prolog言語は Planner のサブセット）。これらに関する議論は今も研究課題である。

マッカーシーはLISP言語を発明し、1960年に Communications of the ACM 誌でその設計を公表した。彼は MIT で Project MAC の創設に関わったが、1962年にスタンフォード大学で職を得て MIT を離れた。スタンフォード大学では Project MAC のライバルとなるスタンフォード人工知能研究所の設立に関与した。

1961年、マッカーシーは MIT の100周年記念式典でのスピーチで、タイムシェアリングシステムの技術によって（水道や電力のように）コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方は再浮上してきている（アプリケーションサービスプロバイダを参照）。

1969年には、パトリック・ヘイズと共に人工知能の分野で常に議論の対象となるフレーム問題を提唱する。

ジョン・マッカーシーはしばしばネットニュース上で世界情勢についてコメントする。彼の考え方は自身の持続可能性(Sustainability)に関するWeb ページでも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。