(Go: >> BACK << -|- >> HOME <<)
コンテンツにスキップ

「ジョン・マッカーシー」の版間の差分

出典: フリー百科事典『ウィキペディア（Wikipedia）』
履歴の双方向閲覧
← 古い編集新しい編集 →
削除された内容 追加された内容
ビジュアルウィキテキスト
編集の要約なし
短編小説の邦訳情報を追加、不要な半角スペースを削除
21行目: 21行目:
}}
}}


'''ジョン・マッカーシー'''（John McCarthy, [[1927年]][[9月4日]] - [[2011年]][[10月24日]]<ref>{{Cite journal | last1 = Lifschitz | first1 = V. | title = John McCarthy (1927–2011) | doi = 10.1038/480040a | journal = Nature | volume = 480 | issue = 7375 | pages = 40–46 | year = 2011 | pmid = 22129718| pmc = }}</ref><ref>{{Cite news|last=Miller |first=Stephen |title=McCarthy, a Founder of Artificial Intelligence, Dies at 84 |url= http://online.wsj.com/article/SB10001424052970203911804576653530510986612.html |accessdate=2011-10-26 |newspaper=Wall Street Journal |date=October 26, 2011 }}</ref><ref>{{Cite news|last=Myers |first=Andrew |title=Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84 |url= http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html |accessdate=2011-10-26 |newspaper=Stanford University News |date=October 25, 2011 }}</ref><ref>Biggs, John (October 24, 2011). [http://techcrunch.com/2011/10/24/creator-of-lisp-john-mccarthy-dead-at-84/ "Creator of Lisp, John McCarthy, Dead at 84"]. [[TechCrunch]].</ref><ref>Cifaldi, Frank (October 24, 2011). [http://www.gamasutra.com/view/news/38088/Artificial_Intelligence_Pioneer_John_McCarthy_Dies.php "Artificial Intelligence Pioneer John McCarthy Dies"]. Gamasutra.</ref><ref>{{Cite news|last = Thomson |first = Iain |title = Father of Lisp and AI John McCarthy has died |newspaper = The Register |location = San Francisco |date = 24 October 2011 |url = http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/ }}</ref>）は、[[アメリカ合衆国]]の[[計算機科学]]者で[[認知科学]]者。[[マービン・ミンスキー]]とならぶ初期の[[人工知能]]研究の第一人者。「人工知能; Artificial Intelligence」という用語は彼が[[1956年]]の[[ダートマス会議]]のために1955年に出した提案書で初めて使用された。また、[[ALGOL]]言語の設計に触発され、[[LISP]]というプログラミング言語を開発し、[[タイムシェアリングシステム|タイムシェアリング]]の概念を一般化させた。
'''ジョン・マッカーシー'''（John McCarthy, [[1927年]][[9月4日]] - [[2011年]][[10月24日]]<ref>{{Cite journal | last1 = Lifschitz | first1 = V. | title = John McCarthy (1927–2011) | doi = 10.1038/480040a | journal = Nature | volume = 480 | issue = 7375 | pages = 40–46 | year = 2011 | pmid = 22129718| pmc = }}</ref><ref>{{Cite news|last=Miller |first=Stephen |title=McCarthy, a Founder of Artificial Intelligence, Dies at 84 |url= http://online.wsj.com/article/SB10001424052970203911804576653530510986612.html |accessdate=2011-10-26 |newspaper=Wall Street Journal |date=October 26, 2011 }}</ref><ref>{{Cite news|last=Myers |first=Andrew |title=Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84 |url= http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html |accessdate=2011-10-26 |newspaper=Stanford University News |date=October 25, 2011 }}</ref><ref>Biggs, John (October 24, 2011). [http://techcrunch.com/2011/10/24/creator-of-lisp-john-mccarthy-dead-at-84/ "Creator of Lisp, John McCarthy, Dead at 84"]. [[TechCrunch]].</ref><ref>Cifaldi, Frank (October 24, 2011). [http://www.gamasutra.com/view/news/38088/Artificial_Intelligence_Pioneer_John_McCarthy_Dies.php "Artificial Intelligence Pioneer John McCarthy Dies"]. Gamasutra.</ref><ref>{{Cite news|last = Thomson |first = Iain |title = Father of Lisp and AI John McCarthy has died |newspaper = The Register |location = San Francisco |date = 24 October 2011 |url = http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/ }}</ref>）は、[[アメリカ合衆国]]の[[計算機科学]]者で[[認知科学]]者。[[マービン・ミンスキー]]とならぶ初期の[[人工知能]]研究の第一人者。「人工知能」（Artificial Intelligence）という用語は彼が[[1956年]]の[[ダートマス会議]]のために1955年に出した提案書で初めて使用された。また、[[ALGOL]]言語の設計に触発され、[[LISP]]というプログラミング言語を開発し、[[タイムシェアリングシステム|タイムシェアリング]]の概念を一般化させた。


== 学生時代までと私生活 ==
== 学生時代までと私生活 ==
1927年9月4日、[[マサチューセッツ州]][[ボストン]]にてアイルランドからの移民の父とリトアニア系ユダヤ人移民の母との間に生まれる<ref>{{Cite book|last=Shasha |first= Dennis |last2= Lazere |first2=Cathy |year=1998 |title=Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists |publisher=Springer |page=23 |url= https://books.google.co.jp/books?id=-0tDZX3z-8UC&pg=PA23&redir_esc=y&hl=ja#v=onepage&f=false }}</ref>。[[世界恐慌]]のころは住居を転々としていたが、父が労働組合 ([[:en:Amalgamated Clothing Workers of Ameria|Amalgamated Clothing Workers]]) に職を得て、[[ロサンゼルス]]に定住する。都市を中心に活動する[[共産主義]]者だった両親<ref>[http://wbb.forum.impressrd.jp/feature/20071212/515 連載：インターネット・サイエンスの歴史人物館（12）ジョン・マッカーシー | WBB Forum] インプレスR&D</ref>の影響を受け、[[アメリカ共産党]][[細胞 (政党)|細胞]]にも入党したこともあったものの<ref>[http://www.nytimes.com/2011/10/26/science/26mccarthy.html John McCarthy, 84, Dies; Computer Design Pioneer]</ref><ref>[http://ai.stanford.edu/~nilsson/John_McCarthy.pdf John McCarthy, 1927-2011 - Stanford AI Lab]</ref>、[[プラハの春]]で幻滅してからは[[保守]]的な[[共和党 (アメリカ)|共和党]]支持者に[[転向]]していた<ref>{{cite web | url=https://web.stanford.edu/~learnest/jmc/ | title=Biographies of John McCarthy | publisher=Stanford University | accessdate=2017-11-29 | author=Earnest, Les}}</ref>。
1927年9月4日、[[マサチューセッツ州]][[ボストン]]にてアイルランドからの移民の父とリトアニア系ユダヤ人移民の母との間に生まれる<ref>{{Cite book|last=Shasha |first= Dennis |last2= Lazere |first2=Cathy |year=1998 |title=Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists |publisher=Springer |page=23 |url= https://books.google.co.jp/books?id=-0tDZX3z-8UC&pg=PA23&redir_esc=y&hl=ja#v=onepage&f=false }}</ref>。[[世界恐慌]]のころは住居を転々としていたが、父が労働組合（[[:en:Amalgamated Clothing Workers of Ameria|Amalgamated Clothing Workers]]）に職を得て、[[ロサンゼルス]]に定住する。都市を中心に活動する[[共産主義]]者だった両親<ref>[http://wbb.forum.impressrd.jp/feature/20071212/515 連載：インターネット・サイエンスの歴史人物館（12）ジョン・マッカーシー | WBB Forum] インプレスR&D</ref>の影響を受け、[[アメリカ共産党]][[細胞 (政党)|細胞]]にも入党したこともあったものの<ref>[http://www.nytimes.com/2011/10/26/science/26mccarthy.html John McCarthy, 84, Dies; Computer Design Pioneer]</ref><ref>[http://ai.stanford.edu/~nilsson/John_McCarthy.pdf John McCarthy, 1927-2011 - Stanford AI Lab]</ref>、[[プラハの春]]で幻滅してからは[[保守]]的な[[共和党 (アメリカ)|共和党]]支持者に[[転向]]していた<ref>{{cite web | url=https://web.stanford.edu/~learnest/jmc/ | title=Biographies of John McCarthy | publisher=Stanford University | accessdate=2017-11-29 | author=Earnest, Les}}</ref>。


幼き頃に読んだ[[ミハイル・イリーン]]の著書「十万の質問」から科学に興味を持ち始める<ref>{{PDFlink|[https://archive.computerhistory.org/resources/access/text/2012/10/102658149-05-01-acc.pdf Oral History of John McCarthy]}} - Computer History Museum</ref>。非常に聡明であり、ロサンゼルスの高校を2年早く卒業した<ref name="LATObit">Woo, Elaine (October 28, 2011). [http://www.latimes.com/news/obituaries/la-me-john-mccarthy-20111027,0,7137805.story John McCarthy dies at 84; the father of artificial intelligence]. ''[[ロサンゼルス・タイムズ|Los Angeles Times]]''.</ref>。特に、[[数学]]が得意で、十代のころ近所の[[カリフォルニア工科大学]]で使っていた教科書を入手して、独学で大学レベルの数学を学んでいた。その結果、1944年にカリフォルニア工科大学に入学し、数学については最初の2年間を飛び級で進級した<ref name="HayesMorgenstern">{{Cite journal|last = Hayes |first = Patrick J. |last2 = Morgenstern |first2 = Leora |title = On John McCarthy's 80th Birthday, in Honor of his Contributions |journal = [[アメリカ人工知能学会|AI Magazine]] |volume = 28 |issue = 4 |pages = 93–102 |publisher = [[アメリカ人工知能学会|Association for the Advancement of Artificial Intelligence]] |year = 2007 |url = http://www.aaai.org/ojs/index.php/aimagazine/article/view/2063/2057 |accessdate = 2010-11-24}}</ref>。
幼き頃に読んだ[[ミハイル・イリーン]]の著書「十万の質問」から科学に興味を持ち始める<ref>{{PDFlink|[https://archive.computerhistory.org/resources/access/text/2012/10/102658149-05-01-acc.pdf Oral History of John McCarthy]}} - Computer History Museum</ref>。非常に聡明であり、ロサンゼルスの高校を2年早く卒業した<ref name="LATObit">Woo, Elaine (October 28, 2011). [http://www.latimes.com/news/obituaries/la-me-john-mccarthy-20111027,0,7137805.story John McCarthy dies at 84; the father of artificial intelligence]. ''[[ロサンゼルス・タイムズ|Los Angeles Times]]''.</ref>。特に、[[数学]]が得意で、十代のころ近所の[[カリフォルニア工科大学]]で使っていた教科書を入手して、独学で大学レベルの数学を学んでいた。その結果、1944年にカリフォルニア工科大学に入学し、数学については最初の2年間を飛び級で進級した<ref name="HayesMorgenstern">{{Cite journal|last = Hayes |first = Patrick J. |last2 = Morgenstern |first2 = Leora |title = On John McCarthy's 80th Birthday, in Honor of his Contributions |journal = [[アメリカ人工知能学会|AI Magazine]] |volume = 28 |issue = 4 |pages = 93–102 |publisher = [[アメリカ人工知能学会|Association for the Advancement of Artificial Intelligence]] |year = 2007 |url = http://www.aaai.org/ojs/index.php/aimagazine/article/view/2063/2057 |accessdate = 2010-11-24}}</ref>。
35行目: 35行目:


== 計算機科学における経歴 ==
== 計算機科学における経歴 ==
卒業後はプリンストン大学で短期間勤めた後、1955年に[[ダートマス大学]]で助教授となり、[[マサチューセッツ工科大学]]に移り、1962年には[[スタンフォード大学]]で[[教授]]となった。その後は2000年に引退するまでスタンフォード大学に勤務し、その後も名誉教授としてとどまった。[[マサチューセッツ工科大学]]に勤めていたころには既に学生から愛情をこめて「アンクル・ジョン」と呼ばれていた<ref>{{Citation|url= https://www.usenix.org/legacy/publications/login/2010-10/openpdfs/bookreviews1010.pdf |format=PDF |title=Hackers, Heroes of the Computer Revolution |author=Steven Levy |page=34 |publisher=Gutenberg.org }}</ref>。また、[[ハッカー文化]]で有名なMITの{{仮リンク|テック鉄道模型クラブ|en|Tech Model Railroad Club}} (TRMC) のメンバーでもあった。
卒業後はプリンストン大学で短期間勤めた後、1955年に[[ダートマス大学]]で助教授となり、[[マサチューセッツ工科大学]]に移り、1962年には[[スタンフォード大学]]で[[教授]]となった。その後は2000年に引退するまでスタンフォード大学に勤務し、その後も名誉教授としてとどまった。[[マサチューセッツ工科大学]]に勤めていたころには既に学生から愛情をこめて「アンクル・ジョン」と呼ばれていた<ref>{{Citation|url= https://www.usenix.org/legacy/publications/login/2010-10/openpdfs/bookreviews1010.pdf |format=PDF |title=Hackers, Heroes of the Computer Revolution |author=Steven Levy |page=34 |publisher=Gutenberg.org }}</ref>。また、[[ハッカー文化]]で有名なMITの{{仮リンク|テック鉄道模型クラブ|en|Tech Model Railroad Club}}（TRMC）のメンバーでもあった。


マッカーシーは人工知能のために[[数理論理学]]を使って知識を表現することに尽力した。1956年、人工知能 (AI) に関する世界初の国際会議を主催。この会議に参加した[[マービン・ミンスキー]]もAI研究者となり、1959年にはMITでマッカーシーに合流した<ref name="LATObit" />。1956年秋、マッカーシーはMITの研究奨学金を得た。その後[[ALGOL]]設計委員会の委員を務めている。ALGOLはその後主流となる様々な新たな要素をプログラミング言語にもたらし、大きな影響を及ぼした。1958年には [[:en:Advice taker|advice taker]] を提案し、それが後の質問応答システムや[[論理プログラミング]]に影響を与えることとなった。1959年、LISPにおける問題を解決する手段として「[[ガベージコレクション]]」技法を発明<ref>{{Cite web|url= https://doi.org/10.1145/367177.367199 |title=Recursive functions of symbolic expressions and their computation by machine |date=April 1960 |publisher=Communications of the ACM |volume=3 |issue=4 |accessdate=2009-03-29 }}</ref><ref>{{Cite web|url= http://jmc.stanford.edu/articles/recursive/recursive.pdf |title=Recursive functions of symbolic expressions and their computation by machine, Part I |accessdate=2022-02-16 }}</ref>。[[ラムダ計算]]に基づく[[LISP]]は、1960年に発表されると<ref>{{Cite journal|title=Recursive Functions of Symbolic Expressions and Their Computation by Machine |last=McCarthy |first=John |journal=CACM |volume=3 |issue=4 |pages=184–195 |url= http://portal.acm.org/citation.cfm?id=367199 |doi=10.1145/367177.367199 |year=1960 }}</ref>、AIアプリケーションのためのプログラミング言語として使われはじめた。彼は MIT で [[Project MAC]] の創設に関わったが、[[1962年]]に[[スタンフォード大学]]で職を得て MIT を離れた。スタンフォード大学では Project MAC のライバルとなる[[スタンフォード人工知能研究所]]の設立に関与した。
マッカーシーは人工知能のために[[数理論理学]]を使って知識を表現することに尽力した。1956年、人工知能（AI）に関する世界初の国際会議を主催。この会議に参加した[[マービン・ミンスキー]]もAI研究者となり、1959年にはMITでマッカーシーに合流した<ref name="LATObit" />。1956年秋、マッカーシーはMITの研究奨学金を得た。その後[[ALGOL]]設計委員会の委員を務めている。ALGOLはその後主流となる様々な新たな要素をプログラミング言語にもたらし、大きな影響を及ぼした。1958年には[[:en:Advice taker|advice taker]]を提案し、それが後の質問応答システムや[[論理プログラミング]]に影響を与えることとなった。1959年、LISPにおける問題を解決する手段として「[[ガベージコレクション]]」技法を発明<ref>{{Cite web|url= https://doi.org/10.1145/367177.367199 |title=Recursive functions of symbolic expressions and their computation by machine |date=April 1960 |publisher=Communications of the ACM |volume=3 |issue=4 |accessdate=2009-03-29 }}</ref><ref>{{Cite web|url= http://jmc.stanford.edu/articles/recursive/recursive.pdf |title=Recursive functions of symbolic expressions and their computation by machine, Part I |accessdate=2022-02-16 }}</ref>。[[ラムダ計算]]に基づく[[LISP]]は、1960年に発表されると<ref>{{Cite journal|title=Recursive Functions of Symbolic Expressions and Their Computation by Machine |last=McCarthy |first=John |journal=CACM |volume=3 |issue=4 |pages=184–195 |url= http://portal.acm.org/citation.cfm?id=367199 |doi=10.1145/367177.367199 |year=1960 }}</ref>、AIアプリケーションのためのプログラミング言語として使われはじめた。彼はMITで[[Project MAC]]の創設に関わったが、[[1962年]]に[[スタンフォード大学]]で職を得てMITを離れた。スタンフォード大学ではProject MACのライバルとなる[[スタンフォード人工知能研究所]]の設立に関与した。


[[1961年]]、マッカーシーは MIT の100周年記念式典でのスピーチで、[[タイムシェアリングシステム]]の技術によって（[[水道]]や[[電力]]のように）コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方は[[アプリケーションサービスプロバイダ]]にはじまり、[[グリッド・コンピューティング]]を経て[[クラウドコンピューティング]]へと昇華し再浮上してきている。同僚のレスター・アーネストは[[ロサンゼルス・タイムズ]]紙で「ジョンがタイムシェアリングシステムを開発しなければ、インターネットの発展はもっと遅れていただろう。タイムシェアリングは様々な呼称で呼ばれてきた。サーバと呼ばれるようになり、今ではクラウドコンピューティングと呼ばれているが、それらはジョンが始めたタイムシェアリングそのものだ」と述べている<ref name="LATObit" />。
[[1961年]]、マッカーシーはMITの100周年記念式典でのスピーチで、[[タイムシェアリングシステム]]の技術によって（[[水道]]や[[電力]]のように）コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方は[[アプリケーションサービスプロバイダ]]にはじまり、[[グリッド・コンピューティング]]を経て[[クラウドコンピューティング]]へと昇華し再浮上してきている。同僚のレスター・アーネストは[[ロサンゼルス・タイムズ]]紙で「ジョンがタイムシェアリングシステムを開発しなければ、インターネットの発展はもっと遅れていただろう。タイムシェアリングは様々な呼称で呼ばれてきた。サーバと呼ばれるようになり、今ではクラウドコンピューティングと呼ばれているが、それらはジョンが始めたタイムシェアリングそのものだ」と述べている<ref name="LATObit" />。


マッカーシーの指導で[[アラン・コトック]]が開発した[[チェス]]プログラム<ref>{{Cite thesis |author=Kotok, Alan |year=1962 |title=A chess playing program for the IBM 7090 computer |url=https://hdl.handle.net/1721.1/17406 |issue=Massachusetts Institute of Technology |hdl=1721.1/17406}}</ref>は1966年、[[ソビエト連邦]]が開発したチェスプログラムと史上初のコンピュータ同士で対戦した。結果はマッカーシー側の2敗2分だった。
マッカーシーの指導で[[アラン・コトック]]が開発した[[チェス]]プログラム<ref>{{Cite thesis |author=Kotok, Alan |year=1962 |title=A chess playing program for the IBM 7090 computer |url=https://hdl.handle.net/1721.1/17406 |issue=Massachusetts Institute of Technology |hdl=1721.1/17406}}</ref>は1966年、[[ソビエト連邦]]が開発したチェスプログラムと史上初のコンピュータ同士で対戦した。結果はマッカーシー側の2敗2分だった。
49行目: 49行目:
1982年、「[[スペースファウンテン]]」と呼ばれる[[軌道エレベータ]]の一種を考案した<ref>McCarthy, John (August 1, 1994). [https://groups.google.com/g/sci.space.tech/c/lxXD4mwuK9E?hl=en&pli=1 "Re: SPACE BRIDGE SHORT"]. Posting in [[ニュースグループ|Usenet newsgroup]]: sci.space.tech.</ref>。
1982年、「[[スペースファウンテン]]」と呼ばれる[[軌道エレベータ]]の一種を考案した<ref>McCarthy, John (August 1, 1994). [https://groups.google.com/g/sci.space.tech/c/lxXD4mwuK9E?hl=en&pli=1 "Re: SPACE BRIDGE SHORT"]. Posting in [[ニュースグループ|Usenet newsgroup]]: sci.space.tech.</ref>。


ジョン・マッカーシーはしばしば[[ネットニュース]]上で世界情勢についてコメントした。彼の考え方は自身の持続可能性 (Sustainability) に関する Web ページ<ref>McCarthy, John (February 4, 1995). [http://www-formal.stanford.edu/jmc/progress/ "Progress and its sustainability"]. formal.stanford.edu.</ref>でも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。彼は真面目な読書家で楽天主義者であり、言論の自由の忠実な支持者だった。ネットニュースでは特に rec.arts.books での発言が多く、同カテゴリのサンフランシスコ周辺の読者の（今で言う）オフ会に参加したこともある。
ジョン・マッカーシーはしばしば[[ネットニュース]]上で世界情勢についてコメントした。彼の考え方は自身の持続可能性（Sustainability）に関するWebページ<ref>McCarthy, John (February 4, 1995). [http://www-formal.stanford.edu/jmc/progress/ "Progress and its sustainability"]. formal.stanford.edu.</ref>でも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。彼は真面目な読書家で楽天主義者であり、言論の自由の忠実な支持者だった。ネットニュースでは特にrec.arts.booksでの発言が多く、同カテゴリのサンフランシスコ周辺の読者の（今で言う）オフ会に参加したこともある。


2001年には短編小説 "The Robot and the Baby" を発表している<ref name="baby">McCarthy, John (June 28, 2001). [http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html "The Robot and the Baby"]. formal.stanford.edu.</ref>。これは、ロボットが感情を持てるかという問題をコミカルに扱ったもので、今後インターネットや[[ソーシャル・ネットワーキング・サービス|ソーシャル・ネットワーキング]]がさらに重要になってくるだろうという予測を交えて書かれている<ref>Thomson, Cask J. (October 26, 2011). [http://wordswithmeaning.org/2011/10/the-death-of-true-tech-innovators-d-ritchie-j-mccarthy-yet-the-death-of-steve-jobs-overshadows-all/ "The Death of TRUE Tech Innovators D. Ritchie & J. McCarthy – Yet the Death of Steve Jobs Overshadows All."]. WordsWithMeaning blog.<!-- http://www.webcitation.org/632iLmdFe--></ref>。
2001年には短編小説「ロボットと赤ちゃん」"The Robot and the Baby"を発表している<ref>{{Cite book |title=ロボット・アップライジング ＡＩロボット反乱ＳＦ傑作選 - アレステア・レナルズ／コリイ・ドクトロウ 他／D・H・ウィルソン／Ｊ・Ｊ・アダムズ 編／中原尚哉 他訳｜東京創元社 |url=http://www.tsogen.co.jp/np/isbn/9784488772055 |language=ja}}</ref><ref name="baby">McCarthy, John (June 28, 2001). [http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html "The Robot and the Baby"]. formal.stanford.edu.</ref>。これは、ロボットが感情を持てるかという問題をコミカルに扱ったもので、今後インターネットや[[ソーシャル・ネットワーキング・サービス|ソーシャル・ネットワーキング]]がさらに重要になってくるだろうという予測を交えて書かれている<ref>Thomson, Cask J. (October 26, 2011). [http://wordswithmeaning.org/2011/10/the-death-of-true-tech-innovators-d-ritchie-j-mccarthy-yet-the-death-of-steve-jobs-overshadows-all/ "The Death of TRUE Tech Innovators D. Ritchie & J. McCarthy – Yet the Death of Steve Jobs Overshadows All."]. WordsWithMeaning blog.<!-- http://www.webcitation.org/632iLmdFe--></ref>。


== 受賞歴 ==
== 受賞歴 ==

2023年6月2日 (金) 14:28時点における版

曖昧さ回避 この項目では、人工知能研究者について説明しています。その他の用法については「ジョン・マッカーシー (曖昧さ回避)」をご覧ください。
ジョン・マッカーシー
あるカンファレンスでのジョン・マッカーシー (2006)
生誕 (1927-09-04) 1927年9月4日
マサチューセッツ州ボストン
死没 (2011-10-24) 2011年10月24日（84歳没）
カリフォルニア州スタンフォード
居住 アメリカ合衆国の旗 アメリカ合衆国
国籍 アメリカ合衆国の旗 アメリカ合衆国
研究分野 計算機科学
研究機関 スタンフォード大学; マサチューセッツ工科大学; ダートマス大学; プリンストン大学
出身校 プリンストン大学; カリフォルニア工科大学
博士課程
指導教員		 ソロモン・レフシェッツ
博士課程
指導学生		 バーバラ・リスコフ
ラジ・レディ
主な業績 人工知能; LISP; サーカムスクリプション（英語版）; 状況計算（英語版）
主な受賞歴 チューリング賞 (1971)
京都賞先端技術部門 (1988)
アメリカ国家科学賞 (1990)
ベンジャミン・フランクリン・メダル (2003)
プロジェクト:人物伝
テンプレートを表示

ジョン・マッカーシー（John McCarthy, 1927年9月4日 - 2011年10月24日[1][2][3][4][5][6]）は、アメリカ合衆国の計算機科学者で認知科学者。マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。「人工知能」（Artificial Intelligence）という用語は彼が1956年のダートマス会議のために1955年に出した提案書で初めて使用された。また、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研究者となり、1959年にはMITでマッカーシーに合流した[13]。1956年秋、マッカーシーはMITの研究奨学金を得た。その後ALGOL設計委員会の委員を務めている。ALGOLはその後主流となる様々な新たな要素をプログラミング言語にもたらし、大きな影響を及ぼした。1958年にはadvice takerを提案し、それが後の質問応答システムや論理プログラミングに影響を与えることとなった。1959年、LISPにおける問題を解決する手段として「ガベージコレクション」技法を発明[23][24]。ラムダ計算に基づくLISPは、1960年に発表されると[25]、AIアプリケーションのためのプログラミング言語として使われはじめた。彼はMITでProject MACの創設に関わったが、1962年にスタンフォード大学で職を得てMITを離れた。スタンフォード大学ではProject MACのライバルとなるスタンフォード人工知能研究所の設立に関与した。

1961年、マッカーシーはMITの100周年記念式典でのスピーチで、タイムシェアリングシステムの技術によって（水道や電力のように）コンピュータの能力や特定のアプリケーションを販売するビジネスモデルを生み出すかもしれないと述べた。このいわゆる「コンピュータユーティリティ」という考え方は1960年代後半には非常に人気となったが、当時のハードウェアもソフトウェアも通信技術も未熟であったために1970年代中ごろには消えていった。しかし、21世紀になるとこの考え方はアプリケーションサービスプロバイダにはじまり、グリッド・コンピューティングを経てクラウドコンピューティングへと昇華し再浮上してきている。同僚のレスター・アーネストはロサンゼルス・タイムズ紙で「ジョンがタイムシェアリングシステムを開発しなければ、インターネットの発展はもっと遅れていただろう。タイムシェアリングは様々な呼称で呼ばれてきた。サーバと呼ばれるようになり、今ではクラウドコンピューティングと呼ばれているが、それらはジョンが始めたタイムシェアリングそのものだ」と述べている[13]。

マッカーシーの指導でアラン・コトックが開発したチェスプログラム[26]は1966年、ソビエト連邦が開発したチェスプログラムと史上初のコンピュータ同士で対戦した。結果はマッカーシー側の2敗2分だった。

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

1978年から1986年にかけて、非単調論理におけるサーカムスクリプション（英語版）の手法を開発。

1982年、「スペースファウンテン」と呼ばれる軌道エレベータの一種を考案した[27]。

ジョン・マッカーシーはしばしばネットニュース上で世界情勢についてコメントした。彼の考え方は自身の持続可能性（Sustainability）に関するWebページ[28]でも部分的にわかる。それは、「人の物質的な進歩が望ましく、持続可能であることを示すため」のページである。彼は真面目な読書家で楽天主義者であり、言論の自由の忠実な支持者だった。ネットニュースでは特にrec.arts.booksでの発言が多く、同カテゴリのサンフランシスコ周辺の読者の（今で言う）オフ会に参加したこともある。

2001年には短編小説「ロボットと赤ちゃん」"The Robot and the Baby"を発表している[29][30]。これは、ロボットが感情を持てるかという問題をコミカルに扱ったもので、今後インターネットやソーシャル・ネットワーキングがさらに重要になってくるだろうという予測を交えて書かれている[31]。

受賞歴

主な著作

  • 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.

出典

  1. ^ Lifschitz, V. (2011). “John McCarthy (1927–2011)”. Nature 480 (7375): 40–46. doi:10.1038/480040a. PMID 22129718. 
  2. ^ 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日閲覧。 
  3. ^ 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日閲覧。 
  4. ^ Biggs, John (October 24, 2011). "Creator of Lisp, John McCarthy, Dead at 84". TechCrunch.
  5. ^ Cifaldi, Frank (October 24, 2011). "Artificial Intelligence Pioneer John McCarthy Dies". Gamasutra.
  6. ^ 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/ 
  7. ^ 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 
  8. ^ 連載：インターネット・サイエンスの歴史人物館（12）ジョン・マッカーシー | WBB Forum インプレスR&D
  9. ^ John McCarthy, 84, Dies; Computer Design Pioneer
  10. ^ John McCarthy, 1927-2011 - Stanford AI Lab
  11. ^ Earnest, Les. “Biographies of John McCarthy”. Stanford University. 2017年11月29日閲覧。
  12. ^ Oral History of John McCarthy (PDF) - Computer History Museum
  13. ^ a b c Woo, Elaine (October 28, 2011). John McCarthy dies at 84; the father of artificial intelligence. Los Angeles Times.
  14. ^ 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日閲覧。. 
  15. ^ “Oral-History:John McCarthy”. Indiana University and IEEE History Center. 2019年3月24日閲覧。
  16. ^ 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 
  17. ^ “Biography of Carolyn Talcott”. Stanford.edu. 2013年12月2日時点のオリジナルよりアーカイブ。2012-0811閲覧。
  18. ^ “About John McCarthy”. 2012年7月27日閲覧。
  19. ^ Lispの創案者、ジョン・マッカーシー逝去（84歳） TechCrunch Tokyo 2011年10月25日閲覧
  20. ^ Lispの父J・マッカーシー氏、死去 - CNET Japan
  21. ^ Stanford’s John McCarthy, Seminal Figure of Artificial Intelligence is Dead at 84 | Stanford Engineering
  22. ^ 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 
  23. ^ “Recursive functions of symbolic expressions and their computation by machine”. Communications of the ACM (1960年4月). 2009年3月29日閲覧。
  24. ^ “Recursive functions of symbolic expressions and their computation by machine, Part I”. 2022年2月16日閲覧。
  25. ^ 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. 
  26. ^ Kotok, Alan (1962). A chess playing program for the IBM 7090 computer (Thesis). hdl:1721.1/17406。
  27. ^ McCarthy, John (August 1, 1994). "Re: SPACE BRIDGE SHORT". Posting in Usenet newsgroup: sci.space.tech.
  28. ^ McCarthy, John (February 4, 1995). "Progress and its sustainability". formal.stanford.edu.
  29. ^ 『ロボット・アップライジング ＡＩロボット反乱ＳＦ傑作選 - アレステア・レナルズ／コリイ・ドクトロウ 他／D・H・ウィルソン／Ｊ・Ｊ・アダムズ 編／中原尚哉 他訳｜東京創元社』。http://www.tsogen.co.jp/np/isbn/9784488772055。 
  30. ^ McCarthy, John (June 28, 2001). "The Robot and the Baby". formal.stanford.edu.
  31. ^ 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.
  32. ^ National Science Foundation
  33. ^ “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. 
  34. ^ “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.

関連項目

外部リンク

ウィキメディア・コモンズには、ジョン・マッカーシーに関連するカテゴリがあります。
「https://ja.wikipedia.org/w/index.php?title=ジョン・マッカーシー&oldid=95461750」から取得