ジョン・マッカーシー
ジョン・マッカーシー (John McCarthy, 1927年 9月4日 - 2011年 10月24日 [1] [2] [3] [4] [5] [6] )は、アメリカ合衆国 の計算機科学 者で認知科学 者。マービン・ミンスキー とならぶ初期の人工知能 研究の第一人者。1955年に提出した提案書で初めて「人工知能」(Artificial Intelligence)という用語を使用した。また、ALGOL 言語の設計に触発され、LISP というプログラミング言語を開発し、タイムシェアリング の概念を一般化させた。
学生時代までと私生活
1927年9月4日、マサチューセッツ州 ボストン にてアイルランドからの移民の父とリトアニア系ユダヤ人移民の母との間に生まれる[7] 。世界恐慌 のころは住居を転々としていたが、父が労働組合(Amalgamated Clothing Workers )に職を得て、ロサンゼルス に定住する。都市を中心に活動する共産主義 者だった両親[8] の影響を受け、アメリカ共産党 細胞 にも入党したこともあったものの[9] [10] 、プラハの春 で幻滅してからは保守 的な共和党 支持者に転向 していた[11] 。
幼き頃に読んだミハイル・イリーン の著書「十万の質問」から科学に興味を持ち始める[12] 。非常に聡明であり、ロサンゼルスの高校を2年早く卒業した[13] 。特に、数学 が得意で、十代のころ近所のカリフォルニア工科大学 で使っていた教科書を入手して、独学で大学レベルの数学を学んでいた。その結果、1944年にカリフォルニア工科大学に入学し、数学については最初の2年間を飛び級で進級した[14] 。
マッカーシーは、体育 の授業に出席しなかった。そのため、カリフォルニア工科大学から追い出された[要出典 ] 。そこで、アメリカ陸軍 で兵役を積んで、再入学を認めてもらい、1948年に数学の学士号を得て卒業した。カリフォルニア工科大学で講演を行ったジョン・フォン・ノイマン から将来の方向性について影響を受け、ノイマンと対面して助言も受けた[15] 。卒業後もカリフォルニア工科大学で学び続けていたが、プリンストン大学 に移ってソロモン・レフシェッツ に師事し、1951年に数学のPh.D.を得た。
マッカーシーは、3回結婚している。2度目の結婚相手ベラ・ワトソンはプログラマだが、登山 家でもあった。しかし、1978年に女性だけの登山隊でアンナプルナ 登頂を目指していた際、滑落して死亡した。3人目のキャロリン・タルコットは、スタンフォード大学の計算機科学者で、後にSRIインターナショナル にて勤務した[16] [17] 。また、マッカーシーは、自ら無神論者を自認していた[18] 。
2011年10月24日、死去。84歳没[19] [20] [21] 。
計算機科学における経歴
卒業後はプリンストン大学で短期間勤めた後、1955年にダートマス大学 で助教授となり、マサチューセッツ工科大学 に移り、1962年にはスタンフォード大学 で教授 となった。その後は2000年に引退するまでスタンフォード大学に勤務し、その後も名誉教授としてとどまった。マサチューセッツ工科大学 に勤めていたころには既に学生から愛情をこめて「アンクル・ジョン」と呼ばれていた[22] 。また、ハッカー文化 で有名なMITのテック鉄道模型クラブ (英語版 ) (TRMC)のメンバーでもあった。
マッカーシーは人工知能のために数理論理学 を使って知識を表現することに尽力した。1956年、人工知能(AI)に関する世界初の国際会議を主催。この会議に参加したマービン・ミンスキー もAI研究者となり、1958年にMITに所属し[23] 、1959年にMITで人工知能プロジェクトを立ち上げた[13] 。1956年秋、マッカーシーはMITの研究奨学金を得た。その後ALGOL 設計委員会の委員を務めている。ALGOLはその後主流となる様々な新たな要素をプログラミング言語にもたらし、大きな影響を及ぼした。1958年にはadvice taker を提案し、それが後の質問応答システムや論理プログラミング に影響を与えることとなった。1959年、LISPにおける問題を解決する手段として「ガベージコレクション 」技法を発明[24] [25] 。ラムダ計算 に基づくLISP は、1960年に発表されると[26] 、AIアプリケーションのためのプログラミング言語として使われはじめた。彼はMITでProject MAC の創設に関わったが、1962年 にスタンフォード大学 で職を得てMITを離れた。スタンフォード大学ではProject MACのライバルとなるスタンフォード人工知能研究所 の設立に関与した。
1961年 、マッカーシーはMITの100周年記念式典でのスピーチで、タイムシェアリングシステム の技術によって(水道 や電力 のように)コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方はアプリケーションサービスプロバイダ にはじまり、グリッド・コンピューティング を経てクラウドコンピューティング へと昇華し再浮上してきている。同僚のレスター・アーネストはロサンゼルス・タイムズ 紙で「ジョンがタイムシェアリングシステムを開発しなければ、インターネットの発展はもっと遅れていただろう。タイムシェアリングは様々な呼称で呼ばれてきた。サーバと呼ばれるようになり、今ではクラウドコンピューティングと呼ばれているが、それらはジョンが始めたタイムシェアリングそのものだ」と述べている[13] 。
マッカーシーの指導でアラン・コトック が開発したチェス プログラム[27] は1966年、ソビエト連邦 が開発したチェスプログラムと史上初のコンピュータ同士で対戦した。結果はマッカーシー側の2敗2分だった。
1969年 には、パトリック・ヘイズと共に人工知能の分野で常に議論の対象となるフレーム問題 を提唱する。
1978年から1986年にかけて、非単調論理 におけるサーカムスクリプション (英語版 ) の手法を開発。
1982年、「スペースファウンテン 」と呼ばれる軌道エレベータ の一種を考案した[28] 。
ジョン・マッカーシーはしばしばネットニュース 上で世界情勢についてコメントした。彼の考え方は自身の持続可能性(Sustainability)に関するWebページ[29] でも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。彼は真面目な読書家で楽天主義者であり、言論の自由の忠実な支持者だった。ネットニュースでは特にrec.arts.booksでの発言が多く、同カテゴリのサンフランシスコ周辺の読者の(今で言う)オフ会に参加したこともある。
2001年には短編小説「ロボットと赤ちゃん」"The Robot and the Baby"を発表している[30] [31] 。これは、ロボットが感情を持てるかという問題をコミカルに扱ったもので、今後インターネットやソーシャル・ネットワーキング がさらに重要になってくるだろうという予測を交えて書かれている[32] 。
受賞歴
主な著作
1959. Programs with Common Sense . In Proceedings of the Teddington Conference on the Mechanization of Thought Processes , 756-91. London: Her Majesty's Stationery Office.
1960. Recursive functions of symbolic expressions and their computation by machine . Communications of the ACM 3(4):184-195.
1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems . North-Holland.
1963b. Situations, actions, and causal laws. Technical report, Stanford University.
Hayes, P. J. との共著 1969. Some philosophical problems from the standpoint of artificial intelligence . In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
1977. Epistemological problems of artificial intelligence. In IJCAI , 1038-1044.
1980. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 13(1-2):23-79.
1986. Applications of circumscription to common sense reasoning. Artificial Intelligence 28(1):89-116.
1990. Generality in artificial intelligence. In Lifschitz, V., ed., Formalizing Common Sense . Ablex. 226-236.
1993. Notes on formalizing context. In IJCAI , 555-562.
Buvac, S. との共著 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language . Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
1998. Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning , Commonsense-1998.
Costello, T. との共著 1999. Useful counterfactuals. Electronic Transactions on Artificial Intelligence 3(A):51-76
2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002 , 615-628.
出典
^ Lifschitz, V. (2011). “John McCarthy (1927–2011)”. Nature 480 (7375): 40–46. doi :10.1038/480040a . PMID 22129718 .
^ Miller, Stephen (2011年10月26日). “McCarthy, a Founder of Artificial Intelligence, Dies at 84” . Wall Street Journal . http://online.wsj.com/article/SB10001424052970203911804576653530510986612.html 2011年10月26日 閲覧。
^ Myers, Andrew (2011年10月25日). “Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84” . Stanford University News . http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html 2011年10月26日 閲覧。
^ Biggs, John (October 24, 2011). "Creator of Lisp, John McCarthy, Dead at 84" . TechCrunch .
^ Cifaldi, Frank (October 24, 2011). "Artificial Intelligence Pioneer John McCarthy Dies" . Gamasutra.
^ Thomson, Iain (2011年10月24日). “Father of Lisp and AI John McCarthy has died” . The Register (San Francisco). http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/
^ Shasha, Dennis; Lazere, Cathy (1998). Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists . Springer. p. 23. https://books.google.co.jp/books?id=-0tDZX3z-8UC&pg=PA23&redir_esc=y&hl=ja#v=onepage&f=false
^ 連載:インターネット・サイエンスの歴史人物館(12)ジョン・マッカーシー | WBB Forum インプレスR&D
^ John McCarthy, 84, Dies; Computer Design Pioneer
^ John McCarthy, 1927-2011 - Stanford AI Lab
^ Earnest, Les. “Biographies of John McCarthy ”. Stanford University. 2017年11月29日 閲覧。
^ Oral History of John McCarthy (PDF ) - Computer History Museum
^ a b c Woo, Elaine (October 28, 2011). John McCarthy dies at 84; the father of artificial intelligence . Los Angeles Times .
^ Hayes, Patrick J.; Morgenstern, Leora (2007). “On John McCarthy's 80th Birthday, in Honor of his Contributions” . AI Magazine (Association for the Advancement of Artificial Intelligence ) 28 (4): 93–102. http://www.aaai.org/ojs/index.php/aimagazine/article/view/2063/2057 2010年11月24日 閲覧。 .
^ “Oral-History:John McCarthy ”. Indiana University and IEEE History Center. 2019年3月24日 閲覧。
^ Markoff, John (2011年10月25日). “John McCarthy, 84, Dies; Computer Design Pioneer” . The New York Times . http://www.nytimes.com/2011/10/26/science/26mccarthy.html
^ “Biography of Carolyn Talcott ”. Stanford.edu. 2013年12月2日時点のオリジナル よりアーカイブ。2012-0811閲覧。
^ “About John McCarthy ”. 2012年7月27日 閲覧。
^ Lispの創案者、ジョン・マッカーシー逝去(84歳) TechCrunch Tokyo 2011年10月25日閲覧
^ Lispの父J・マッカーシー氏、死去 - CNET Japan
^ Stanford’s John McCarthy, Seminal Figure of Artificial Intelligence is Dead at 84 | Stanford Engineering
^ Steven Levy (PDF), Hackers, Heroes of the Computer Revolution , Gutenberg.org, p. 34, https://www.usenix.org/legacy/publications/login/2010-10/openpdfs/bookreviews1010.pdf
^ “The implementation of LISP ”. www-formal.stanford.edu . 2024年4月8日 閲覧。
^ “Recursive functions of symbolic expressions and their computation by machine ”. Communications of the ACM (1960年4月). 2009年3月29日 閲覧。
^ “Recursive functions of symbolic expressions and their computation by machine, Part I ”. 2022年2月16日 閲覧。
^ McCarthy, John (1960). “Recursive Functions of Symbolic Expressions and Their Computation by Machine” . CACM 3 (4): 184–195. doi :10.1145/367177.367199 . http://portal.acm.org/citation.cfm?id=367199 .
^ Kotok, Alan (1962). A chess playing program for the IBM 7090 computer (Thesis). hdl :1721.1/17406 。
^ McCarthy, John (August 1, 1994). "Re: SPACE BRIDGE SHORT" . Posting in Usenet newsgroup : sci.space.tech.
^ McCarthy, John (February 4, 1995). "Progress and its sustainability" . formal.stanford.edu.
^ 『ロボット・アップライジング AIロボット反乱SF傑作選 - アレステア・レナルズ/コリイ・ドクトロウ 他/D・H・ウィルソン/J・J・アダムズ 編/中原尚哉 他訳|東京創元社 』。http://www.tsogen.co.jp/np/isbn/9784488772055 。
^ McCarthy, John (June 28, 2001). "The Robot and the Baby" . formal.stanford.edu.
^ Thomson, Cask J. (October 26, 2011). "The Death of TRUE Tech Innovators D. Ritchie & J. McCarthy – Yet the Death of Steve Jobs Overshadows All." . WordsWithMeaning blog.
^ National Science Foundation
^ “AI's Hall of Fame” . IEEE Intelligent Systems (IEEE Computer Society ) 26 (4): 5–15. (2011). doi :10.1109/MIS.2011.64 . http://www.computer.org/cms/Computer.org/ComputingNow/homepage/2011/0811/rW_IS_AIsHallofFame.pdf .
^ “IEEE Computer Society Magazine Honors Artificial Intelligence Leaders” . DigitalJournal.com . (2011年8月24日). http://www.digitaljournal.com/pr/399442 2011年9月18日 閲覧。 Press release source: PRWeb (Vocus).
参考文献
Philip J. Hilts, Scientific Temperaments: Three Lives in Contemporary Science , Simon and Schuster, 1982. Lengthy profiles of John McCarthy, physicist Robert R. Wilson and geneticist Mark Ptashne.
Pamela McCorduck, Machines Who Think: a personal inquiry into the history and prospects of artificial intelligence , 1979, second edition 2004.
Pamela Weintraub, ed., The Omni Interviews , New York: Ticknor and Fields, 1984. Collected interviews originally published in Omni magazine; contains an interview with McCarthy.
関連項目
外部リンク