ジョン・マッカーシー

ジョン・マッカーシー, by Wikipedia https://ja.wikipedia.org/wiki?curid=2345 / CC BY SA 3.0

ジョン・マッカーシー

ジョン・マッカーシー（John McCarthy, 1927年9月4日 - 2011年10月24日）は、アメリカ合衆国の計算機科学者で認知科学者。マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。「人工知能; Artificial Intelligence」という用語は彼が1956年のダートマス会議のために1955年に出した提案書で初めて使用された。また、ALGOL言語の設計に触発され、LISPというプログラミング言語を開発し、タイムシェアリングの概念を一般化させた。

1927年9月4日、マサチューセッツ州ボストンにてアイルランドからの移民の父とリトアニア系ユダヤ人移民の母との間に生まれる。世界恐慌のころは住居を転々としていたが、父が労働組合 () に職を得て、ロサンゼルスに定住する。都市を中心に活動する共産主義者だった両親の影響を受け、アメリカ共産党細胞にも入党したこともあった。プラハの春で幻滅してからは保守的な共和党支持者に転向していた。

非常に聡明で、ロサンゼルスの高校を2年早く卒業した。特に、数学が得意で、十代のころ近所のカリフォルニア工科大学で使っていた教科書を入手して、独学で大学レベルの数学を学んでいた。その結果、1944年にカリフォルニア工科大学に入学し、数学については最初の2年間を飛び級で進級した。

マッカーシーは、体育の授業に出席しなかった。そのため、カリフォルニア工科大学から追い出された。そこで、アメリカ陸軍で兵役を積んで、再入学を認めてもらい、1948年に数学の学士号を得て卒業した。カリフォルニア工科大学でジョン・フォン・ノイマンの講演を聴き、将来の方向性について影響を受けている。卒業後もカリフォルニア工科大学で学び続けていたが、プリンストン大学に移ってソロモン・レフシェッツに師事し、1951年に数学のPh.D.を得た。

マッカーシーは、3回結婚している。2度目の結婚相手ベラ・ワトソンはプログラマだが、登山家でもあった。しかし、1978年に女性だけの登山隊でアンナプルナ登頂を目指していた際、滑落して死亡した。3人目のキャロリン・タルコットは、スタンフォード大学の計算機科学者で、後にSRIインターナショナルにて勤務した。また、マッカーシーは、自ら無神論者を自認していた。

2011年10月24日、死去。84歳没。

卒業後はプリンストン大学で短期間勤めた後、1955年にダートマス大学で助教授となり、マサチューセッツ工科大学に移り、1962年にはスタンフォード大学で教授となった。その後は2000年に引退するまでスタンフォード大学に勤務し、その後も名誉教授としてとどまった。マサチューセッツ工科大学に勤めていたころには既に学生から愛情をこめて「アンクル・ジョン」と呼ばれていた。また、ハッカー文化で有名なMITの (TRMC) のメンバーでもあった。

マッカーシーは人工知能のために数理論理学を使って知識を表現することに尽力した。1956年、人工知能 (AI) に関する世界初の国際会議を主催。この会議に参加したマービン・ミンスキーもAI研究者となり、1959年にはMITでマッカーシーに合流した。1956年秋、マッカーシーはMITの研究奨学金を得た。その後ALGOL設計委員会の委員を務めている。ALGOLはその後主流となる様々な新たな要素をプログラミング言語にもたらし、大きな影響を及ぼした。1958年には を提案し、それが後の質問応答システムや論理プログラミングに影響を与えることとなった。1959年、LISPにおける問題を解決する手段として「ガベージコレクション」技法を発明。ラムダ計算に基づくLISPは、1960年に発表されると、AIアプリケーションのためのプログラミング言語として使われはじめた。彼は MIT で Project MAC の創設に関わったが、1962年にスタンフォード大学で職を得て MIT を離れた。スタンフォード大学では Project MAC のライバルとなるスタンフォード人工知能研究所の設立に関与した。

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