チューリング賞

ACM A・M・チューリング賞(ACM A.M. Turing Award)、通称チューリング賞(Turing Award)は、計算機科学分野の国際的な学会であるACMが、計算機科学分野における「永続的な重要性を持つ主要な業績」に対して毎年授与している賞である。 賞の名称は、アラン・チューリングの名に由来する。チューリングは、理論計算機科学や人工知能の重要な創始者としてしばしば言及される。 この賞は、計算機科学の分野における最高の栄誉とされ、「計算機科学のノーベル賞」と広く認識されている。受賞者にはハーバート・サイモンなどノーベル賞受賞者も存在している。 賞の授与は毎年1回行われる。2007年から2013年までは、インテルとグーグルからの支援により25万ドルの賞金が追加された。2014年からは、グーグルからの支援により100万ドルの賞金が追加されている。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン(IBM)だった。 [脚注の使い方] ^ a b Cacm Staff (2014). “ACM's Turing Award prize raised to $1 million”. Communications of the ACM 57 (12): 20. doi:10.1145/2685372.  ^ a b “A. M. Turing Award”. ACM. 2009年12月12日時点のオリジナルよりアーカイブ。2007年11月5日閲覧。 ^ Homer, Steven and Alan L.. Computability and Complexity Theory. p. 35. ISBN 978-0-387-95055-6. https://books.google.com/books?id=r5kOgS1IB-8C&pg=PA35 2007年11月5日閲覧。  ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms. McGraw-Hill. p. 317. ISBN 978-0-07-352340-8. https://archive.org/details/algorithms00dasg_934  ^ Bibliography of Turing Award lectures, DBLP ^ Geringer, Steven (27 July 2007). “ACM'S Turing Award Prize Raised To $250,000”. ACM press release. 30 December 2008時点のオリジナルよりアーカイブ。2008年10月16日閲覧。 ^ See also: Brown, Bob (June 6, 2011). “Why there's no Nobel Prize in Computing”. Network World. June 3, 2015閲覧。 ^ “ACM's Turing Award Prize Raised to $1 Million”. ACM. 2015年11月23日時点のオリジナルよりアーカイブ。2014年11月13日閲覧。 ^ "First Woman to Receive ACM Turing Award" (Press release). The Association for Computing Machinery. 21 February 2007. 2007年7月2日時点のオリジナルよりアーカイブ。2007年11月5日閲覧。 ^ Perlis, A. J. (1967). “The Synthesis of Algorithmic Systems”. Journal of the ACM 14: 1–9. doi:10.1145/321371.321372.  ^ Wilkes, M. V. (1968). “Computers then and Now”. Journal of the ACM 15: 1–7. doi:10.1145/321439.321440.  ^ Hamming, R. W. (1969). “One Man's View of Computer Science”. Journal of the ACM 16: 3–12. doi:10.1145/321495.321497.  ^ Minsky, M. (1970). “Form and Content in Computer Science (1970 ACM turing lecture)”. Journal of the ACM 17 (2): 197–215. doi:10.1145/321574.321575.  ^ Wilkinson, J. H. (1971). “Some Comments from a Numerical Analyst”. Journal of the ACM 18 (2): 137–147. doi:10.1145/321637.321638.  ^ McCarthy, J. (1987). “Generality in artificial intelligence”. Communications of the ACM 30 (12): 1030–1035. doi:10.1145/33447.33448. http://www-formal.stanford.edu/jmc/generality.ps.  ^ Dijkstra, E. W. (1972). “The humble programmer”. Communications of the ACM 15 (10): 859–866. doi:10.1145/355604.361591.  ^ Bachman, C. W. (1973). “The programmer as navigator”. Communications of the ACM 16 (11): 653–658. doi:10.1145/355611.362534.  ^ Knuth, D. E. (1974). “Computer programming as an art”. Communications of the ACM 17 (12): 667–673. doi:10.1145/361604.361612.  ^ Newell, A.; Simon, H. A. (1976). “Computer science as empirical inquiry: Symbols and search”. Communications of the ACM 19 (3): 113. doi:10.1145/360018.360022.  ^ Rabin, M. O.; Scott, D. (1959). “Finite Automata and Their Decision Problems”. IBM Journal of Research and Development 3 (2): 114. doi:10.1147/rd.32.0114.  ^ Rabin, M. O. (1977). “Complexity of computations”. Communications of the ACM 20 (9): 625–633. doi:10.1145/359810.359816.  ^ Scott, D. S. (1977). “Logic and programming languages”. Communications of the ACM 20 (9): 634–641. doi:10.1145/359810.359826.  ^ Backus, J. (1978). “Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs”. Communications of the ACM 21 (8): 613–641. doi:10.1145/359576.359579.  ^ Floyd, R. W. (1979). “The paradigms of programming”. Communications of the ACM 22 (8): 455–460. doi:10.1145/359138.359140. http://dl.acm.org/ft_gateway.cfm?id=359140&ftid=289772&dwn=1&CFID=285645736&CFTOKEN=55009136.  ^ Iverson, K. E. (1980). “Notation as a tool of thought”. Communications of the ACM 23 (8): 444–465. doi:10.1145/358896.358899.  ^ Hoare, C. A. R. (1981). “The emperor's old clothes”. Communications of the ACM 24 (2): 75–83. doi:10.1145/358549.358561.  ^ Codd, E. F. (1982). “Relational database: A practical foundation for productivity”. Communications of the ACM 25 (2): 109–117. doi:10.1145/358396.358400.  ^ Cook, S. A. (1983). “An overview of computational complexity”. Communications of the ACM 26 (6): 400–408. doi:10.1145/358141.358144.  ^ “A.M. Turing Award Laureate - Kenneth Lane Thompson”. amturing.acm.org. 4 November 2018閲覧。 ^ “A.M. Turing Award Laureate - Dennis M. Ritchie”. amturing.acm.org. 4 November 2018閲覧。 ^ Milner, R. (1993). “Elements of interaction: Turing award lecture”. Communications of the ACM 36: 78–89. doi:10.1145/151233.151240.  ^ Stearns, R. E. (1994). “Turing Award lecture: It's time to reconsider time”. Communications of the ACM 37 (11): 95–99. doi:10.1145/188280.188379.  ^ Reddy, R. (1996). “To dream the possible dream”. Communications of the ACM 39 (5): 105–112. doi:10.1145/229459.233436.  ^ “A.M. Turing Award Laureate - Manuel Blum”. amturing.acm.org. 4 November 2018閲覧。 ^ “A.M. Turing Award Laureate - Amir Pnueli”. amturing.acm.org. 4 November 2018閲覧。 ^ “A.M. Turing Award Laureate - Douglas Engelbart”. amturing.acm.org. 4 November 2018閲覧。 ^ 2007 Turing Award Winners Announced ^ Pearl, Judea (2011) (mp4). The Mechanization of Causal Inference: A "mini" Turing Test and Beyond. doi:10.1145/1283920.2351636. ISBN 978-1-4503-1049-9. http://dl.acm.org/citation.cfm?id=1283920.2351636  ^ “Judea Pearl”. ACM. 2012年3月15日閲覧。 ^ “Turing award 2012”. ACM. 2013年3月18日時点のオリジナルよりアーカイブ。2013年3月13日閲覧。 ^ “Turing award 2013”. ACM. 2014年3月18日閲覧。 ^ Lamport, L. (1978). “Time, clocks, and the ordering of events in a distributed system”. Communications of the ACM 21 (7): 558–565. doi:10.1145/359545.359563. http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf.  ^ “Turing award 2014”. ACM. 2015年3月25日閲覧。 ^ “Cryptography Pioneers Receive 2015 ACM A.M. Turing Award”. ACM. 2016年3月1日閲覧。 ^ “Turing award 2016”. ACM. 2017年4月4日閲覧。 ^ “Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award”. ACM. 2018年3月21日閲覧。 ^ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award ^ Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award ^ ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms. Retrieved March 31, 2021. ^ ACM Turing Award Honors Jack Dongarra for Pioneering Concepts and Methods Which Resulted in World-Changing Computations ^ ACM A.M. Turing Award Honors Bob Metcalfe for Invention, Standardization, and Commercialization of Ethernet ^ ACM A.M. Turing Award Honors Avi Wigderson for Foundational Contributions to the Theory of Computation ウィキメディア・コモンズには、チューリング賞に関連するカテゴリがあります。 チューリング賞公式サイト内受賞者一覧 Bibliography of Turing Award lectures (2000年まで)