- 蠏碁殊豌: http://ko.wikipedia.org/wiki/%EC%86%94%EB%B2%A0%EC%9D%B4_%ED%9A%8C%EC%9D%98
- : http://chemdeity.blog.me/150143030905
- 29覈譴 17覈 碁襖 覦朱, 襷襴 企Μ 企 譴 狩蟆 螳讌 覿覓語 .
http://ko.wikipedia.org/wiki/%ED%8A%9C%EB%A7%81%EC%83%81
- 1966 Alan Perlis|Alan J. Perlis (螻蠍 襦蠏碁覦 蠍磯, 貉危朱 り)
- 1967 Maurice V. Wilkes (殊企襴)
- 1968 襴豌 企 ( 貊 ろ, る 蟆豢 覿 覦 る 覿)
- 1969 襷觜 覩殊ろ (瑚概讌)
- 1970 H. (豺 伎, , "覦" る 覿)
- 1971 譟 襷れ拘 (壱)|譟 襷れ拘 (瑚概 讌)
- 1972 豸襯 一危ろ碁 (襦蠏碁覦 語 郁規)
- 1973 谿一 覦襷 (一危磯伎)
- 1974 (螻襴讀 覿 覦 襦蠏碁覦 語 螳覦)
- 1975 Allen Newell, 覯 企┝ (瑚概讌, 語螻狩, 襴ろ 豌襴)
- 1976 襷危 O. 朱, Dana Scott|Dana S. Scott (nondeterministic machines)
- 1977 譟 覦一擦 (螻蠍 襦蠏碁覦 ろ, 襦蠏碁覦 語 覈語 谿)
- 1978 襦覯 襦企 (願 襤壱 語 螳覦 覦覯襦)
- 1979 貅れ E. 企 (襦蠏碁覦 語伎 蠍磯, ろ 蟲, APL 蟲′ , 襦蠏碁覦 語 企)
- 1980 谿一 ろ磯 襴豌 語 (襦蠏碁覦 語伎 覦 )
- 1981 蟇 貉る (一危磯伎 蟯襴 ろ, 麹 蟯螻 一危磯伎)
- 1982 ろ磯 貎 (螻 覲旧°)
- 1983 貅 壱螻 磯 襴豺 (覯 伎豌伎 企, 伎豌伎 螳覦)
- 1984 Niklaus Wirth (貉危 語 螳覦)
- 1985 襴豌 M. 豺危 (螻襴讀 企, 麹 NP-|NP-煙 郁規)
- 1986 譟 襦, 襦覯 (螻襴讀 覦 襭蟲譟一 覦 覿)
- 1987 John Cocke (貉危朱 企, ろ 蟲譟 郁規, RISC 螳覦)
- 1988 企 (貉危 蠏碁曙)
- 1989 襴 豺危 (豺 伎)
- 1990 Fernando J. Corbat坦 (CTSS, Multics)
- 1991 襦觜 覦 (LCF theorem prover|LCF, ML (襦蠏碁覦 語)|ML, Calculus of Communicating Systems|CCS)
- 1992 Butler W. Lampson (覿 貉危 蟆)
- 1993 Juris Hartmanis, Richard E. Stearns (螻 覲旧° 企)
- 1994 願覦, Raj Reddy ( 瑚概 讌 ろ)
- 1995 襷 觚 (螻 覲旧° 企 郁規 覦 伎 誤螻 襦蠏碁 蟆 )
- 1996 Amir Pnueli (temporal logic, 襦蠏碁 覦 ろ 蟆讀)
- 1997 蠍 リ覦 ( 貉危)
- 1998 蠏碁 (一危磯伎 覦 碁 豌襴)
- 1999 襴 觚襭 (貉危 蟲譟, 伎豌伎, 語 螻牛)
- 2000 る襭 殊 (螻一企, | 炎鍵, 誤 )
- 2001 Ole-Johan Dahl, Kristen Nygaard (螳豌 讌 襦蠏碁覦)
- 2002 襦 殊企ろ, る碁ゴ, 企る┝ (RSA |螻糾 ろ)
- 2003 貅 (螳豌 讌 襦蠏碁覦)
- 2004 觜 , 襦覯 豺 (TCP/IP襯 觜襦 internetworkり)
- 2005 襯 磯ゴ (襦蠏碁覦語伎 螻 60 , 貉危朱 り)
- 2006 (螻焔 貉危)
- 2007 Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis (覈 豌危)
- 2008 Barbara H Liskov (一危 豢, 覿 貉危. 螻ロ覯)
- 2009 Charles P. Thacker (殊る 貉危, 貉危 ろ語)
- 2010 襴 G. 覦襴 (蠍郁 )
- 2011 Judea Pearl (瑚概讌, 襯 螻襴讀螻 豢襦)
- DBMS螳覦
- 螻襴讀 螳覦
- 語(覦, 伎 ) 襷
- ( ) 襷
- 螳 ..