ジョン・マッカーシー
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/07 16:46 UTC 版)
受賞歴
- 1971年: チューリング賞 (Association for Computing Machinery)
- 1988年: 京都賞先端技術部門
- 1990年: アメリカ国家科学賞[33]
- 1999年: コンピュータ歴史博物館フェロー
- 2003年: ベンジャミン・フランクリン・メダル
- 2011年: IEEE Intelligent Systems の人工知能の殿堂入り[34][35]
主な著作
- 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 2011年10月26日閲覧。
- ^ Myers, Andrew (2011年10月25日). “Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84”. Stanford University News 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)
- ^ Shasha, Dennis; Lazere, Cathy (1998). Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists. Springer. p. 23
- ^ 連載:インターネット・サイエンスの歴史人物館(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 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
- ^ “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
- ^ “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 .
- ^ 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・アダムズ 編/中原尚哉 他訳|東京創元社』 。
- ^ 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 .
- ^ “IEEE Computer Society Magazine Honors Artificial Intelligence Leaders”. DigitalJournal.com. (2011年8月24日) 2011年9月18日閲覧。 Press release source: PRWeb (Vocus).
固有名詞の分類
コンピュータに関する人物 |
ビル・ゲイツ 嶋正利 ジョン・マッカーシー ジョン・エッカート ポール・グレアム |
プログラミング言語設計者 |
バートランド・メイヤー グレース・ホッパー ジョン・マッカーシー ブレンダン・アイク ドナルド・クヌース |
- ジョン・マッカーシーのページへのリンク