ジョン・マッカーシー

ジョン・マッカーシー（John McCarthy, 1927年9月4日 - 2011年10月24日）は、アメリカ合衆国の計算機科学者で認知科学者。マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。1955年に提出した提案書で初めて「人工知能」（Artificial Intelligence）という用語を使用した。また、ALGOL言語の設計に触発され、LISPというプログラミング言語を開発し、タイムシェアリングの概念を一般化させた。 1927年9月4日、マサチューセッツ州ボストンにてアイルランドからの移民の父とリトアニア系ユダヤ人移民の母との間に生まれる。世界恐慌のころは住居を転々としていたが、父が労働組合（Amalgamated Clothing Workers）に職を得て、ロサンゼルスに定住する。都市を中心に活動する共産主義者だった両親の影響を受け、アメリカ共産党細胞にも入党したこともあったものの、プラハの春で幻滅してからは保守的な共和党支持者に転向していた。 幼き頃に読んだミハイル・イリーンの著書「十万の質問」から科学に興味を持ち始める。非常に聡明であり、ロサンゼルスの高校を2年早く卒業した。特に、数学が得意で、十代のころ近所のカリフォルニア工科大学で使っていた教科書を入手して、独学で大学レベルの数学を学んでいた。その結果、1944年にカリフォルニア工科大学に入学し、数学については最初の2年間を飛び級で進級した。 マッカーシーは、体育の授業に出席しなかった。そのため、カリフォルニア工科大学から追い出された[要出典]。そこで、アメリカ陸軍で兵役を積んで、再入学を認めてもらい、1948年に数学の学士号を得て卒業した。カリフォルニア工科大学で講演を行ったジョン・フォン・ノイマンから将来の方向性について影響を受け、ノイマンと対面して助言も受けた。卒業後もカリフォルニア工科大学で学び続けていたが、プリンストン大学に移ってソロモン・レフシェッツに師事し、1951年に数学のPh.D.を得た。 マッカーシーは、3回結婚している。2度目の結婚相手ベラ・ワトソンはプログラマだが、登山家でもあった。しかし、1978年に女性だけの登山隊でアンナプルナ登頂を目指していた際、滑落して死亡した。3人目のキャロリン・タルコットは、スタンフォード大学の計算機科学者で、後にSRIインターナショナルにて勤務した。また、マッカーシーは、自ら無神論者を自認していた。 2011年10月24日、死去。84歳没。 卒業後はプリンストン大学で短期間勤めた後、1955年にダートマス大学で助教授となり、マサチューセッツ工科大学に移り、1962年にはスタンフォード大学で教授となった。その後は2000年に引退するまでスタンフォード大学に勤務し、その後も名誉教授としてとどまった。マサチューセッツ工科大学に勤めていたころには既に学生から愛情をこめて「アンクル・ジョン」と呼ばれていた。また、ハッカー文化で有名なMITのテック鉄道模型クラブ（英語版）（TRMC）のメンバーでもあった。 マッカーシーは人工知能のために数理論理学を使って知識を表現することに尽力した。1956年、人工知能（AI）に関する世界初の国際会議を主催。この会議に参加したマービン・ミンスキーもAI研究者となり、1958年にMITに所属し、1959年にMITで人工知能プロジェクトを立ち上げた。1956年秋、マッカーシーはMITの研究奨学金を得た。その後ALGOL設計委員会の委員を務めている。ALGOLはその後主流となる様々な新たな要素をプログラミング言語にもたらし、大きな影響を及ぼした。1958年にはadvice takerを提案し、それが後の質問応答システムや論理プログラミングに影響を与えることとなった。1959年、LISPにおける問題を解決する手段として「ガベージコレクション」技法を発明。ラムダ計算に基づくLISPは、1960年に発表されると、AIアプリケーションのためのプログラミング言語として使われはじめた。彼はMITでProject MACの創設に関わったが、1962年にスタンフォード大学で職を得てMITを離れた。スタンフォード大学ではProject MACのライバルとなるスタンフォード人工知能研究所の設立に関与した。 1961年、マッカーシーはMITの100周年記念式典でのスピーチで、タイムシェアリングシステムの技術によって（水道や電力のように）コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方はアプリケーションサービスプロバイダにはじまり、グリッド・コンピューティングを経てクラウドコンピューティングへと昇華し再浮上してきている。同僚のレスター・アーネストはロサンゼルス・タイムズ紙で「ジョンがタイムシェアリングシステムを開発しなければ、インターネットの発展はもっと遅れていただろう。タイムシェアリングは様々な呼称で呼ばれてきた。サーバと呼ばれるようになり、今ではクラウドコンピューティングと呼ばれているが、それらはジョンが始めたタイムシェアリングそのものだ」と述べている。 マッカーシーの指導でアラン・コトックが開発したチェスプログラムは1966年、ソビエト連邦が開発したチェスプログラムと史上初のコンピュータ同士で対戦した。結果はマッカーシー側の2敗2分だった。 1969年には、パトリック・ヘイズと共に人工知能の分野で常に議論の対象となるフレーム問題を提唱する。 1978年から1986年にかけて、非単調論理におけるサーカムスクリプション（英語版）の手法を開発。 1982年、「スペースファウンテン」と呼ばれる軌道エレベータの一種を考案した。 ジョン・マッカーシーはしばしばネットニュース上で世界情勢についてコメントした。彼の考え方は自身の持続可能性（Sustainability）に関するWebページでも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。彼は真面目な読書家で楽天主義者であり、言論の自由の忠実な支持者だった。ネットニュースでは特にrec.arts.booksでの発言が多く、同カテゴリのサンフランシスコ周辺の読者の（今で言う）オフ会に参加したこともある。 2001年には短編小説「ロボットと赤ちゃん」"The Robot and the Baby"を発表している。これは、ロボットが感情を持てるかという問題をコミカルに扱ったもので、今後インターネットやソーシャル・ネットワーキングがさらに重要になってくるだろうという予測を交えて書かれている。 1971年: チューリング賞 (Association for Computing Machinery) 1988年: 京都賞先端技術部門 1990年: アメリカ国家科学賞 1999年: コンピュータ歴史博物館フェロー 2003年: ベンジャミン・フランクリン・メダル 2011年: IEEE Intelligent Systems の人工知能の殿堂入り 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 (October 26, 2011). “McCarthy, a Founder of Artificial Intelligence, Dies at 84”. Wall Street Journal. http://online.wsj.com/article/SB10001424052970203911804576653530510986612.html 2011年10月26日閲覧。  ^ Myers, Andrew (October 25, 2011). “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 (24 October 2011). “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 (October 25, 2011). “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. 8 April 2024閲覧。 ^ “Recursive functions of symbolic expressions and their computation by machine”. Communications of the ACM (April 1960). 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. ^ 『ロボット・アップライジング ＡＩロボット反乱ＳＦ傑作選 - アレステア・レナルズ／コリイ・ドクトロウ 他／D・H・ウィルソン／Ｊ・Ｊ・アダムズ 編／中原尚哉 他訳｜東京創元社』。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. フレーム問題 マッカーシーの91関数 ウィキメディア・コモンズには、ジョン・マッカーシーに関連するカテゴリがあります。 McCarthy's Stanford home page. List of publications from the DBLP Bibliography Server John McCarthy - Mathematics Genealogy Project John McCarthy at the AI Genealogy Project Celebration of John McCarthy's Accomplishments at Stanford University. Interview with Guy Steele conducted at OOPSLA 2008; Set of interviews: Oral history interview with John McCarthy at Charles Babbage Institute, University of Minnesota, Minneapolis. Oral history interview with Marvin Minsky at Charles Babbage Institute, University of Minnesota, Minneapolis. Oral history interview with Jack B. Dennis at Charles Babbage Institute, University of Minnesota, Minneapolis. Oral history interview with Fernando J. Corbató at Charles Babbage Institute, University of Minnesota, Minneapolis. Dr John “Uncle John” McCarthy (1927-2011) - Find a Grave Memorial - Find a Grave（英語）