チューリング賞 - 暇つぶしWikipedia

チューリング賞

□記事を途中から表示しています
[最初から表示]

^ Homer, Steven and Alan L.. Computability and Complexity Theory. p. 35. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}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 (2007年7月27日). “ACM'S Turing Award Prize Raised To $250,000”. ACM press release. 2008年12月30日時点の ⇒オリジナルよりアーカイブ。2008年10月16日閲覧。
^ See also: ⇒Brown, Bob (2011年6月6日). “ ⇒Why there's no Nobel Prize in Computing”. Network World. 2015年6月3日閲覧。
^ “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.

次ページ

記事の検索

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