ジョン・マッカーシー（コンピューター科学者）

ジョン・マッカーシー
2006年の会議でのマッカーシー
生まれる	( 1927-09-04 )1927年9月4日 ボストン、マサチューセッツ州、米国
死亡	2011年10月24日(2011-10-24)（享年84歳） スタンフォード、カリフォルニア州、米国
母校	プリンストン大学、カリフォルニア工科大学
知られている	人工知能、Lisp、極小化、状況計算
受賞歴	チューリング賞(1971) コンピュータパイオニア賞(1985) IJCAI 研究優秀賞(1985) 京都賞(1988)アメリカ 国家科学賞(1990) ベンジャミン・フランクリン賞(2003)
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	スタンフォード大学、マサチューセッツ工科大学、 ダートマス大学、プリンストン大学
博士課程の指導教員	ドナルド・C・スペンサー
博士課程の学生	ルゼナ・バジシー ・ラマナタン・V・グハ ・バルバラ・リスコフ ハンス ・モラヴェック・ ラージ・レディ

ジョン・マッカーシー（1927年9月4日 - 2011年10月24日）は、アメリカのコンピュータ科学者、認知科学者である。彼は人工知能という分野の創始者の一人である。^[1]彼は「人工知能」（AI）という用語を生み出した文書の共著者であり、プログラミング言語ファミリーLispを開発し、 ALGOL言語の設計に大きな影響を与え、タイムシェアリングを普及させ、ガベージコレクションを発明した。

マッカーシーはキャリアの大半をスタンフォード大学で過ごした。^[2]彼はAI研究への貢献により1971年にチューリング賞、 ^[3]米国国家科学賞、京都賞など、数々の賞賛と栄誉を受けた。

ジョン・マッカーシーは1927年9月4日、マサチューセッツ州ボストンで、アイルランド移民の父とリトアニア系ユダヤ人移民の母の元に生まれた。 ^{[4]ジョン・パトリック・マッカーシーとアイダ（グラット）・マッカーシー。}大恐慌の間、家族は頻繁に転居を余儀なくされたが、マッカーシーの父はカリフォルニア州ロサンゼルスでアマルガメイテッド・クロージング・ワーカーズの組織者としての仕事を見つけた。彼の父はアイルランドのケリー州にある小さな漁村クロメインの出身である。^[5]彼の母は1957年に亡くなった。 ^[6]

両親は1930年代に共産党員として活動し、学習と批判的思考を奨励した。高校に入学する前に、マッカーシーはロシアの子供向け科学大衆書『10万のなぜ』の翻訳を読んで科学に興味を持った。 ^[7]彼はロシア語 に堪能で、ソ連への複数回の旅行でロシアの科学者と友人になったが、ソ連圏を訪問した後は彼らと距離を置き、保守的な 共和党員になった。^[8]

マッカーシーはベルモント高校を2年早く卒業し^[9]、1944年にカリフォルニア工科大学に入学した。

彼は数学の才能を早くから示し、10代の頃には近くのカリフォルニア工科大学（Caltech）で使用されていた教科書を勉強して独学で大学の数学を学んだ。その結果、彼はCaltechでの最初の2年間の数学を飛ばすことができた。^[10]彼は体育の授業に 出席しなかったためCaltechから停学処分を受けた。^{[11]その後、彼は}アメリカ陸軍に勤務し、再入学して1948年に数学の学士号を取得した。 ^[12]

カリフォルニア工科大学でジョン・フォン・ノイマンの講義に出席し、それが彼の将来の取り組みにインスピレーションを与えた。

マッカーシーはカリフォルニア工科大学で大学院課程を修了した後、プリンストン大学に移り、ドナルド・C・スペンサーの指導の下、1951年に論文「射影演算子と偏微分方程式」で数学の博士号を取得した。^[13]

マッカーシーはプリンストン大学とスタンフォード大学で短期間勤務した後、1955年にダートマス大学の助教授になった。

1年後の1956年秋、彼は研究員としてMITに移った。MITでの数年間の終わりには、彼はすでに学生たちから愛情を込めて「ジョンおじさん」と呼ばれていた。 ^[14]

1962年にスタンフォード大学の教授となり、2000年に退職するまでその職に留まった。

マッカーシーはラムダ計算などの数学を推進し、人工知能における 常識を実現するための論理を発明しました。

ジョン・マッカーシーは、アラン・チューリング、マービン・ミンスキー、アレン・ニューウェル、ハーバート・A・サイモンとともに、人工知能の「創始者」の一人です。マッカーシー、ミンスキー、ナサニエル・ロチェスター、クロード・E・シャノンは、1956年夏の有名なダートマス会議に提出した提案書の中で、「人工知能」という用語を作り出しました。この会議でAIという分野が始まりました。^{[9] [15]} (ミンスキーは後に1959年にMITでマッカーシーに加わりました。)

1958 年に彼はアドバイステイカーを提案し、これが後の質問応答や論理プログラミングの研究に影響を与えました。

1950年代後半、マッカーシーは原始的な再帰関数を拡張して記号式で計算できることを発見し、Lispプログラミング言語を生み出しました。^{[16]この関数型プログラミングの画期的な論文では、}ラムダ計算の構文から借用したラムダ記法も導入され、後のSchemeなどの方言はこれを意味論のベースとしました。Lispは1960年に発表されてからすぐにAIアプリケーションに選ばれるプログラミング言語になりました。

1958年、マッカーシーは計算機協会の言語に関する特別委員会に所属し、この委員会はALGOL 60を設計した委員会の一部となった。1959年8月、彼は再帰と条件式の使用を提案し、これがALGOLの一部となった。^[17]その後、彼はプログラミングと情報科学の国際標準の開発に携わり、国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーとなった。 ^[18]このワーキンググループがALGOL 60とALGOL 68の仕様を定め、維持し、サポートしている。^[19]

1959年頃、彼はLispの問題を解決するために、いわゆる「ガベージコレクション」方式、一種の自動メモリ管理を発明した。^{[20] [21]}

MIT在学中、彼はProject MACの創設を推進し、スタンフォード大学在学中には、長年 Project MAC の友好的なライバルであった スタンフォード AI 研究所の設立に尽力しました。

マッカーシーは、最も初期のタイムシェアリング システムのうち 3 つ(互換タイムシェアリング システム、BBN タイムシェアリング システム、ダートマス タイムシェアリング システム) の開発に尽力しました。同僚のレスター アーネストはロサンゼルス タイムズ紙に次のように語っています。

ジョンがタイムシェアリング システムの開発を開始していなかったら、インターネットはこれほど早くは登場しなかったでしょう。私たちはタイムシェアリングに新しい名前をつけ続けています。サーバーと呼ばれるようになり、今ではクラウド コンピューティングと呼ばれています。これはまだタイムシェアリングにすぎません。ジョンが始めたのです。^[9]

— エレイン・ウー

1961年、彼はMIT創立100周年を祝うスピーチの中で、おそらくユーティリティコンピューティングのアイデアを初めて公に提案した人物である。コンピュータのタイムシェアリング技術によって、コンピューティング能力や特定のアプリケーションさえもユーティリティビジネスモデル（水や電気など）を通じて販売できる未来が来るかもしれないというのだ。 ^{[22] [23]} このコンピュータや情報のユーティリティというアイデアは1960年代後半には非常に人気があったが、1990年代半ばには消え去っていた。しかし、2000年以降、このアイデアは新しい形で再浮上している（アプリケーションサービスプロバイダー、グリッドコンピューティング、クラウドコンピューティングを参照）。

1966年、マッカーシーとスタンフォード大学の彼のチームは、ソ連のチームと一連のチェスゲームをプレイするためのコンピュータプログラムを作成した。マッカーシーのチームは2試合負け、 2試合引き分けた（コトック・マッカーシーを参照）。

1978年から1986年にかけて、マッカーシーは非単調推論の限定法を開発しました。

1982年に、彼は宇宙噴水というアイデアを考案したと思われる。これは宇宙に伸びる一種の塔で、地球から発射されたペレットの流れの外向きの力によって垂直に保たれ、ペレットは一種のベルトコンベアに乗って地球に戻る。ペイロードはベルトコンベアに乗って上昇する。^[24]

マッカーシーはユーズネットフォーラムで世界情勢について頻繁にコメントした。彼の考えのいくつかは彼の持続可能性ウェブページ^[25]で見ることができる。これは「人間の物質的進歩は望ましく持続可能であることを示すことを目的としている」。マッカーシーは熱心な読書家で、楽観主義者で、言論の自由の熱心な支持者だった。彼のユーズネットでの最も優れたやりとりはrec.arts.booksアーカイブで見ることができる。彼はサンフランシスコベイエリアのパロアルトで開かれるラブフェストと呼ばれるラブ読者のディナーに積極的に参加した。彼はスタンフォードでヨーロッパの民族ジョークを含む言論の自由に対する批判を擁護した。^[26]

マッカーシーは数学と数学教育の重要性を理解していた。彼が長年Usenetで使用していた 署名には「計算を拒む者は、無意味な話をする運命にある」と書かれていた。彼の車のナンバープレートのカバーにも同様に「計算をしろ、さもないと無意味な話をする運命にある」と書かれていた。 ^{[27] [28]}彼は30人の博士課程卒業生を指導した。^[29]

2001年の短編小説「ロボットと赤ちゃん」^[30]は、ロボットが感情を持つべきかどうか（あるいは感情を持っているように見せかける）という問題を滑稽に探求し、その後数十年の間にますます顕著になるインターネット文化とソーシャルネットワーキングの側面を予見していました。 ^[31]

マッカーシーは3回結婚した。2度目の妻はプログラマーで登山家のヴェラ・ワトソンで、1978年に女性だけの遠征隊の一員としてアンナプルナI中央峰登頂に挑戦中に亡くなった。その後、スタンフォード大学でコンピューター科学者を務め、後にSRIインターナショナルに入社したキャロリン・タルコットと結婚した。^{[32] [33]}

マッカーシーはスタンフォード記念教会で人工知能についての演説の中で、自身は無神論者であると宣言した。^{[34] [35] [36]}共産主義者として育てられた彼は、 1968年にソ連の侵攻後にチェコスロバキアを訪問した後、保守的な共和党員になった。^[37]彼は2011年10月24日にスタンフォードの自宅で亡くなった。^[38]

1979年にマッカーシーは「機械に精神的性質を付与する」と題する論文^{[39]を執筆した。その中で彼は「}サーモスタットのような単純な機械は信念を持っていると言える。そして信念を持つことは問題解決能力を持つほとんどの機械の特徴であるようだ」と書いている。1980年に哲学者ジョン・サールは有名な中国語の部屋論^{[40] [15]}でこれに応えてマッカーシーに反対し、機械は意識を持たないため信念を持つことはできないという立場を取った。サールは機械には意図性がないと主張する。どちらかの側を支持する 膨大な量の文献^{[例が必要]が執筆されてきた。}

• 計算機協会チューリング賞（1971年）
• 京都賞（1988年）
• 数学・統計・計算科学における米国国家科学賞（1990年） ^[41]
• コンピュータ歴史博物館のフェローに選出。「人工知能（AI）とタイムシェアリングシステムの分野の共同創始者であり、数学とコンピュータサイエンスへの多大な貢献」により（1999年）^[42]
• フランクリン研究所よりコンピュータおよび認知科学におけるベンジャミン・フランクリン賞(2003)
• IEEEインテリジェントシステムのAIの殿堂（2011年）に「AIとインテリジェントシステムの分野への多大な貢献」により選出^[43]
• 2012年スタンフォード工学英雄の一人に選出^[44]

• McCarthy, J. 1959. 「常識のあるプログラム」Wayback Machineより(2013 年 10 月 4 日アーカイブ)。思考プロセスの機械化に関するテディントン会議議事録、756–91 ページ。ロンドン: 女王陛下の文具室。
• McCarthy, J. 1960. 「記号式の再帰関数と機械による計算」Wayback Machine (2013 年 10 月 4 日アーカイブ)。Communications of the ACM 3(4):184-195。
• McCarthy, J. 1963a「計算の数学的理論の基礎」。『コンピュータプログラミングと形式システム』。ノースホランド。
• McCarthy, J. 1963b. 状況、行動、因果法則。技術レポート、スタンフォード大学。
• McCarthy, J., および Hayes, PJ 1969. 人工知能の観点から見たいくつかの哲学的問題、Wayback Machineより(2013 年 8 月 25 日アーカイブ)。Meltzer, B.、および Michie, D. 編著『Machine Intelligence 4』。エディンバラ: エディンバラ大学出版局。463–502 ページ。
• McCarthy, J. 1977.「人工知能の認識論的問題」。IJCAI 、 1038-1044ページ。
• McCarthy, J (1980). 「サーカムスクリプション: 非単調推論の一形態」.人工知能. 13 (1–2): 23–79. doi :10.1016/0004-3702(80)90011-9.
• McCarthy, J (1986). 「限界の常識的推論への応用」.人工知能. 28 (1): 89–116. CiteSeerX  10.1.1.29.5268 . doi :10.1016/0004-3702(86)90032-9.
• McCarthy, J. 1990.「人工知能における一般性」。Lifschitz, V. 編著『常識の形式化』Ablex. 226–236 ページ。
• McCarthy, J. 1993.「文脈の形式化に関する注記」IJCAI、555-562 ページ。
• McCarthy, J.、Buvac, S. 1997. 「コンテキストの形式化: 拡張ノート」。Aliseda, A.、van Glabbeek, R.、Westerstahl, D. 編著『Computing Natural Language』。スタンフォード大学。Stanford Technical Note STAN-CS-TN-94-13 としても入手可能。
• McCarthy, J. 1998. 「詳細化の許容度」。常識的推論の論理的形式化に関する第 4 回国際シンポジウムのワーキング ペーパー、Commonsense-1998。
• コステロ、T.、マッカーシー、J. 1999.「有用な反事実」。人工知能に関する電子取引3(A):51-76
• McCarthy, J. 2002. 「状況計算におけるアクションとその他のイベント」。Fensel, D.、Giunchiglia, F.、McGuinness, D.、Williams, M. 編、Proceedings of KR- 2002、615–628 ページ。

• クリストファー・ストラチーは1959年初頭にタイムシェアリングの特許を申請した。
• 豊穣の女神
• フレームの問題
• コンピュータサイエンスの先駆者リスト
• コトック・マッカーシー
• マッカーシー91関数
• マッカーシー形式主義
• ワトソン（コンピューター）

• フィリップ・J・ヒルツ著『科学的気質：現代科学における3つの人生』、サイモン＆シュスター、1982年。ジョン・マッカーシー、物理学者ロバート・R・ウィルソン、遺伝学者マーク・プタシュネの詳細なプロフィール。
• パメラ・マコーダック、『考える機械：人工知能の歴史と展望についての個人的な探求』、1979年、第2版2004年。
• パメラ・ウェイントローブ編『The Omni Interviews』、ニューヨーク：ティックナー・アンド・フィールズ、1984年。もともとOmni誌に掲載されたインタビュー集。マッカーシーへのインタビューも収録。

ウィキメディア・コモンズには、ジョン・マッカーシーに関連するメディアがあります。

Wikiquote にジョン・マッカーシーに関する引用があります。

• Wayback Machineにある McCarthy のスタンフォード大学のホームページ(2013 年 10 月 11 日アーカイブ)。
• DBLP書誌サーバーの John McCarthy
• 数学系譜プロジェクトのジョン・マッカーシー
• AI系図プロジェクトのジョン・マッカーシー氏。
• スタンフォード大学におけるジョン・マッカーシーの功績を祝う。
• OOPSLA 2008 で行われた Guy Steele へのインタビュー。インタビューのセット:
• ミネソタ大学ミネアポリス校チャールズ・バベッジ研究所のジョン・マッカーシー氏への口述歴史インタビュー。マッカーシー氏は、マサチューセッツ工科大学でのタイムシェアリング開発における自身の役割について語っています。また、ロジックベースの AI (Lisp) やロボット工学など、高等研究計画局の資金提供を受けた人工知能 (AI) に関する研究についても説明しています。
• ミネソタ大学チャールズ・バベッジ研究所（ミネアポリス）のマービン・ミンスキー氏への口述歴史インタビュー。ミンスキー氏は、ジョン・マッカーシー氏の研究を含む、マサチューセッツ工科大学（MIT）での人工知能（AI）研究について説明します。
• ミネアポリスのミネソタ大学チャールズ バベッジ研究所のジャック B. デニス氏への口述歴史インタビュー。デニス氏は、ジョン マッカーシー氏のタイムシェアリングに関する研究と、タイムシェアリングの開発における DARPA の情報処理技術局の影響について語ります。
• ミネアポリスにあるミネソタ大学チャールズ・バベッジ研究所のフェルナンド・J・コルバト氏への口述歴史インタビュー。コルバト氏は、ジョン・マッカーシー氏やタイムシェアリングに関する研究など、マサチューセッツ工科大学 (MIT) でのコンピューターサイエンス研究、特にタイムシェアリングについて語ります。
• 米国科学アカデミー伝記