チューリング賞
[Wikipedia|▼Menu]
□記事を途中から表示しています
[最初から表示]

^ 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. 2018年11月4日閲覧。
^ “A.M. Turing Award Laureate - Dennis M. Ritchie”. amturing.acm.org. 2018年11月4日閲覧。
^ 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. 2018年11月4日閲覧。
^ “A.M. Turing Award Laureate - Amir Pnueli”. amturing.acm.org. 2018年11月4日閲覧。
^ “A.M. Turing Award Laureate - Douglas Engelbart”. amturing.acm.org. 2018年11月4日閲覧。
^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

次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:73 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef