Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

用十分鐘 瞭解《圖靈獎得主》的學術貢獻

9,327 views

Published on

十分鐘系列: http://ccc.nqu.edu.tw/wd.html#ccc/slide.wd

Published in: Education
  • Sex in your area is here: ♥♥♥ http://bit.ly/2Qu6Caa ♥♥♥
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • Dating direct: ❶❶❶ http://bit.ly/2Qu6Caa ❶❶❶
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here

用十分鐘 瞭解《圖靈獎得主》的學術貢獻

  1. 1. 用十分鐘 瞭解《圖靈獎得主》的學術貢獻 陳鍾誠 2016 年 1 月 25 日 程式人程式人 本文衍生自維基百科
  2. 2. 如果你有去看《模仿遊戲》這部電影 ● 應該知道《圖靈》 的那些事情! ● 還有他最後吃了 《塗氰化物的蘋 果》死掉的事情。
  3. 3. 似乎 ● 先知總是在死掉之後 ● 才會被人認為是先知!
  4. 4. 圖靈死後 12 年 ● ACM (Association of Computing Machinery) 設立了 Turing Award 圖靈獎。 ● 後來 Turing Award 成了電腦領域的最重要獎 項! ( 被認為是電腦的諾貝爾獎 )
  5. 5. 每年 ● 都有一兩位《電腦領域》的傑出 研究者獲得此一獎項。
  6. 6. 這些得獎者 ● 幾乎都是《大師中的大師》,對電 腦領域做出很重要的貢獻。
  7. 7. 只要瞭解他們得獎的原因 ● 以及背後的理論基礎 ● 你就會對《電腦科學》有更深入 的理解。
  8. 8. 現在 ● 就讓我們從 1966 年第一屆圖靈獎 開始,一個個介紹得主們的事蹟 吧!
  9. 9. 1966 艾倫 · 佩利 Alan Jay Perlis ● 1948 年 -1952 年參加了「旋風」 ( Whirlwind )計算機計劃並編製程序。 ● 主要貢獻:由於其在高級程序設計技術和編 譯器構造方面的影響。即主要指在 Algol 58 和 Algol 60 的形成和修改過程中的核心 和關鍵作用。 Algol 60 引進了許多新的概 念如:局部性、動態、遞歸、 BNF 等等。
  10. 10. 1967 莫里斯 · 威爾克斯 Maurice Vincent Wilkes ● 設計和製造了世界上第一台存儲 程序式電子計算機 EDSAC ,使用 了水銀延遲線作為存儲器並在 1949 年 5 月成功運行。 ● 和惠勒和吉爾合著《怎樣在電子 數字計算機上準備程序》描述了 《程式庫》的作法。
  11. 11. 1968 理察 · 衛斯里 · 漢明 Richard Wesley Hamming ● 1945 年參加曼哈頓計劃,負責編寫電腦程 式,判斷引爆核彈會否燃燒大氣層,結果是 不會,於是核彈便開始試驗。 ● 1946 至 76 年在貝爾實驗室工作。他曾和約 翰 · 懷爾德 · 杜奇、克勞德 · 艾爾伍德 · 香 農合作。 1956 年他參與了 IBM 650 的程式語 言發展工作。 ● 主要貢獻:提出《漢明碼糾錯編碼法》
  12. 12. 1969 馬文 · 閔斯基 Marvin Lee Minsky ● 和 John McCarthy 等人一起創立人工智 慧領域,設計第一台神經網路電腦,證明 Frank Rosenblatt 於 1957 年提出的單層 感知器無法解決 XOR 問題。提出 AI 中的 《框架理論》與 agent 概念,用類似物件 導向的做法表達知識。
  13. 13. 1970 詹姆斯 · 維爾金森 James Hardy Wilkinson ● 在 NPL ,威爾金森一開始協助《圖靈》設計 計算機 Pilot ACE 。圖靈離開 NPL 後,他接 手整個項目,使得 Pilot ACE 於 1950 年 5 月 10 日,第一次正式試運行成功。 ● 主要貢獻是研究矩陣計算誤差時提出「向後 誤差分析法」 (backward error analysis) , 目前是計算機上各種數值計算最常用的誤差 分析手段。並主導設計 EISPACK 軟體包。
  14. 14. 1971 約翰 · 麥卡錫 John McCarthy ● 提出了「人工智慧」這個概念 ● 發明 LISP 語言 ● 創建 Situation calculus 的 邏輯推論體系。
  15. 15. 1972 艾茲赫爾 · 戴克斯特拉 Edsger Wybe Dijkstra ● 提出《 GOTO 有害論、信號量和 PV 原語》 解決了《哲學家就餐問題》 ● 提出了目前在離散數學中應用廣泛的《最 短路徑算法》( Dijkstra's Shortest Path First Algorithm ) ● 為解決作業系統中資源分配問題,提出 《銀行家算法》。
  16. 16. 1973 查理士 · 巴赫曼 Charles William Bachman ● 主要貢獻不是在學術界任教研工作,而是 在工業界開發實際的產品。 ● 1971 年 DBTG 小組提出了 DBTG 報告,描 述了網狀式資料庫系統,資料定義 ( DDL )和資料操縱語言( DML ),確立 了「三層模式方法」( Three schema approach )的資料庫模型,即《外部、 抽象和內部》的分層模型。
  17. 17. 1974 唐納德 · 克努斯 Donald Ervin Knuth ● 撰寫《 The Art of Computer Programming 》,已經出版了五卷 ● 1965 年發明 LR parsers 與理論 ● 1974 和學生 Vaughan Pratt 開發了 Knuth-Morris-Pratt 字串快速搜尋算法 ● 1978 年開始開發 TEX 排版軟體 ● 得獎原因為《演算法分析、程式語言編 譯器》上的貢獻。
  18. 18. 1971 Allen Newell + Herbert Simon ● Herbert Simon 也因為提出《有限理性 Bounded rationality 》,將《資訊的不完全及處理費 用》納入經經濟分析而獲得 1978 年的諾貝爾經濟 獎,是 Allen Newell 與 Edward Feigenbaum 的博 士指導教授。 ● Allen Newell 於 1954 年發明 IPL 語言,啟發後 來發明 LISP 的 John McCarthy 。 1956 年開發了 Logic Theorist 程式證明數學定理,後來又開發 General Problem Solver 解決 AI 推論問題,偏 向《符號演算系統可以衍生出智能》的想法。 Herbert Simon
  19. 19. 1976 Michael Rabin + Dana Scott ● 將有限狀態機 (DFA) 延伸到《非確定狀態 機》 (NFA) 上。 NFA 的下一個狀態不是唯 一的,而是多個可能狀態中的一個。 ● 1959 年,兩人共同發表了「有限自動機 與其判定性問題」( Finite Automata and Their Decision Problems )的論 文,並證明了 NFA 與 DFA 的等價性。 Dana Scott Michael Rabin
  20. 20. 1977 約翰 · 巴科斯 John Warner Backus ● 1950 年加入 IBM 工作,他和同事 H. Herrick 一起成功開發了 Speedcoding 的 程序,適用於浮點數運算。 ● 1957 年 4 月他所領導 13 人小組推出全世 界第一套高階電腦語言 FORTRAN 。 ● 他在 ALGOL 58 中發展出 BNF 來描述程式 的語法。後來 Peter Naur 在 ALGOL 60 中 修改並簡化了 BNF 。
  21. 21. 1978 羅伯特 · 弗洛伊德 Robert W Floyd ● 設計出 Floyd-Warshall 算法可在 O(n3 ) 時間內算出所有點間的最短路徑。 ● 在程序驗證中使用了《邏輯斷言》 (Logical assertion) ,在他 1967 年的 論文《如何確定程序的意義》 Assigning Meanings to Programs 中首先提出,之 後演化為霍爾邏輯 (Hoare logic) 。
  22. 22. 1979 肯尼斯 · 艾佛森 Kenneth E. Iverson ● 1960 年,他開始在 IBM 跟 Adin Falkoff 工作,按他開發的數學表達式建立了 APL 語言。 ● 後來他和許國華 (Roger Hui) (出生於香 港後去加拿大)發明了 J 語言。
  23. 23. 1980 東尼 · 霍爾 Tony Hoare ● 設計了《快速排序演算法、霍爾邏輯、 CSP 語言》。 ● 1960 年,在莫斯科國立大學取得博士學位 後,任職於倫敦艾略特兄弟公司( Elliott Brothers Ltd ),開發出第一個商用的 ALGOL 60 編譯器,很快就成為公司的首席 工程師。
  24. 24. 1981 埃德加 · 科德 Edgar Frank Codd ● 在 1970 年代初,他在 IBM 提出( Codd's Relational Algebra )。 ● 1974 年,同一實驗室的 D.D.Chamberlin 和 R.F. Boyce 對 Codd's Relational Algebra 在研製關聯式資料庫管理系統 System R 中,並研製出後來稱為 SQL 的 查詢語言 ● 後來 1976 年陳品山提出了 E-R Model
  25. 25. 1982 史提芬 · 古克 Stephen A. Cook ● 1971 年,在他的論文《 The Complexity of Theorem Proving Procedures 》提出 了 NP-Complete 並證明 Cook 定理。 ● Cook 定理 - SAT 問題是 NP-Complete 的,所有 NP 問題都可以化約為 SAT 。 ● 證明方法是將《非決定圖靈機》的每一步 驟,轉化為邏輯式,之後就可以化約為 SAT 問題。
  26. 26. 1983 Ken Thompson + Dennis Ritchie ● 1969 年,在貝爾實驗室用《解譯式的 B 語 言和組合語言》在 PDP-7 上開發出 UNIX 第 1 版。後來移植到 PDP-11/20 上成為第 2 版,正式命名為 UNIX 。 ● 1971 年兩人共同發明了 C 語言, 1973 年用 C 語言重寫了 UNIX ,安裝於 PDP-11 的機器 之上。 ● 1978 年丹尼斯 · 里奇和布萊恩 · 柯林漢出 版了《 The C Programming Language 》。 肯 · 湯普遜(左)與丹尼斯 · 里奇 注意、不是他 是另一個人寫的
  27. 27. 1984 尼克勞斯 · 維爾特 Niklaus Emil Wirth ● 他創造了下列程式語言 Algol-W 、 Modula 、 Pascal 、 Modula- 2 、 Oberon 、 Euler ● 他延伸 BNF 語法成為 EBNF ● 他寫了 Algorithms + Data Structures = Programs 這本書
  28. 28. 1985 年 理察 · 卡普 Richard Manning Karp ● 在 Steven Cook 提出 NP-Complete 並 證明 SAT 是 NP-Complete 之後, Richard Karp 證明了 21 個問題都是 NP- Complete 。
  29. 29. 1986 John Edward Hopcroft Robert Endre Tarjan ● John Edward Hopcroft 是二分圖 (bipartite graph) Hopcroft– Karp 演算法的發明人。 寫了正規語言 (formal language) 經典教 科書。 ● Robert Endre Tarjan 解決最近公共祖先( LCA )問題、強連通 分量問題、斐波那契堆、伸展樹的工作。 不少他發明的算法都以他的名字命名。
  30. 30. 1987 年 約翰 · 科克 John Cocke ● 1975 年在他主導的 IBM 801 計劃中,首 次採用 RISC 架構,因此被稱為 RISC 之 父。 ● 1970 年他們提出 CYK 動態規劃算法 (Cocke–Younger–Kasami) ,可在 O(n3 ) 內判斷字串是否符合特定 BNF (CFG, Context-Free Gammar) 。
  31. 31. 1988 伊凡 · 蘇澤蘭 Ivan Edward Sutherland ● 1963 年發明 Sketchpad 拓展了計算機圖形學的領 域,它使用了早期的電子管顯示器,以及當時才剛 剛發明的光電筆。它是最早的人機介面( HCI ), 被認為是現代電腦輔助設計( CAD )的始祖,也是 計算機圖形學的一大突破。它的圖形使用者介面, 如果拖動一個結點,所有與之相接的路徑都會同時 改變位置,與現代物件導向應用程式採用相同概 念,它也是第一個互動式 電腦程式,是之後眾多 互動式系統的藍本。
  32. 32. 1989 年 威廉 · 卡韓 William Morton Kahan ● 第一位把浮點運算做成硬體 FPU 的人 ● 卡韓是 IEEE 754-1985 浮點數運算架構規 格書的主要架構師, IEEE 754 系列的標 準主要依據他的研究而制定。 ● 1980 年代發展 paranoia 程式測試浮點運 算的錯誤。 ● 被稱為浮點數之父
  33. 33. 1990 費爾南多 · 考巴托 Fernando José Corbató ● 領導 CTSS 與 Multics 計畫,組織通用 的、大規模、分時、共用資源的電腦系統 的實作。 ● 1961 年的 CTSS 是第一個分時作業系統。 使用者必須在 LOGIN 時用密碼來登入系統 以保護電腦安全。
  34. 34. 1991 年 羅賓 · 米爾納 Robin Gorell Milner ● 1973 年他發明了 ML 語言,並設計出 LCF 定理證明程式。 ML 不是純函數式語言,因為它允許副作 用和指令式編程。這一點和純函數式的 Haskell 很不一樣。 ● 他提出了許多被廣泛研究的並發計算模型 ( concurrency theory ),像是 CCS 、 pi 演算。
  35. 35. 1992 年 巴特勒 · 蘭普森 Butler Wright Lampson ● 1970 年在 Xerox PARC 研究中心提出個人電腦 設計概念。 1973 年 PARC 發表了 Xerox Alto ,配備三鍵滑鼠及顯示器,是最早的個 人圖形化電腦。 ● 他在 PARC 還參與雷射印表機的設計,開發了 二階段提交協議,參與第一個所見即所得 ( WYSIWYG )的文字編輯器 Bravo 開發;餐 與第一個高速區域網路, Ethernet 設計。並 參與了 Euclid 等程式語言的設計。
  36. 36. 1993 年 Juris Hartmanis + Richard Edwin Stearns ● 1965 年兩人一起寫了《 On the computational complexity of algorithms 》這篇論文,建立起計算理 論中的時間複雜度 TIME(f(n)) 階層 ● 這應該對後來 Steven Cook 與 Richard Karp 的 NP-Complete 理論有重大影響。 ( 我想這是為何獲獎的原因 )
  37. 37. 1994 年 Raj Reddy + Edward Feigenbaum ● 兩人因為主持建立大型人工智慧軟體獲獎。 ● Edward Feigenbaum 被人稱為專家系統之父。他建 立 DENDRAL 程式分析用專家系統與質譜知識幫助化 學家辨認未知的有機分子,啟發了後來的 MYCIN 等 等著名專家系統程式。 ● Raj Reddy 提出用來協調多組知識的黑板模式 (blackboard model) ,並主持了 Navlab 自動駕駛 車, LISTEN 語音辨識教學系統, Dante 火山探測機 器人等計畫。 ( 也是李開復的老師 )
  38. 38. 1995 年 曼紐爾 · 布盧姆 Manuel Blum ● 1967 提出衡量《計算時間空間複雜度》的 《布盧姆測度公理》 (Blum Measure) 。接著 提出 Blum's speedup theorem 《布盧姆加 速定理》。 ● 1984 提出 Blum-Goldwasser (BG) 非對稱加 解密系統,使用 Blum Blum Shub 虛擬亂數產生器產生加密串流,這比 1982 年 的 Goldwasser–Micali(GM) 有不少方面的改 進。
  39. 39. 1996 年 阿米爾 · 伯努利 Amir Pnueli ● 將《時序邏輯》 (temporal logic) 引入 計算機科學和對程序和系統驗證 (verification) 領域。 ● 發展出 Proposition Linear Temporal Logic (PLTL) ,改進了 1951 年 Horn Clause 不能描述時序系統的問題。
  40. 40. 1997 年 道格拉斯 · 恩格爾巴特 Douglas Carl Engelbart ● 他發明了滑鼠,是人機互動的先鋒,開發 了超連結系統,是圖形用戶介面的先驅; 並致力於倡導運用計算機和網絡,來協同 解決世界上日益增長的緊急而又複雜的問 題。 ● 滑鼠和超連結都在 1968 年 SRI 的 Fall Joint Computer Conference 的展示當中 以 100 分鐘的時間被呈現出來。 展示影片: http://web.stanford.edu/dept/SUL/library/extra4/sloan/mousesite/1968Demo.html
  41. 41. 1998 年 詹姆斯 · 尼古拉 · 格雷 James Nicholas Gray ● 主要貢獻於《資料庫》領域 提出《兩階段交付》、《多粒度鎖 MG L 》、《 OLAP 資料方陣》、《 ACID 測 試》以確保資料的可靠性。 ● ACID = Atomicity, Consistency, Isolation, Durability ● MGL = Multiple granularity locking
  42. 42. 1999 年 佛瑞德 · 布魯克斯 Frederick Phillips Brooks ● 在 IBM 公司主持開發 OS/360 等大型電腦用的 作業系統。並著有《人月神話》 (The Mythical Man-Month) 這本軟體工程的經典
  43. 43. 2000 年 姚期智 Andrew Chi-Chih Yao ● 1967 年畢業於台灣大學, 1972 年獲哈佛大學 物理學博士, 1975 年獲 UIUC 計算機科學博士 ● 因計算理論中的《偽隨機數生成》,《密碼學》與《通信複雜性》的貢 獻獲獎。 1982,"Theory and applications of trapdoor functions" 提出 Yao's test, 證明 BM 亂數產 生器是偽隨機的,並提出計算熵的概念。 1982 "Protocols for secure computations" 提出 Yao's Millionaires' Problem 1983, "On the security of public key protocols" 提出 Dolev–Yao model 1986, "How to generate and exchange secrets" 提出健忘電路模擬 (Oblivious Circuit Simulation) 密碼技術,能秘密且可靠的計算書任何函數。 1991 Recent Progress in Circuit and Communication Complexity, 奠定了《通信複雜 性》領域的基礎。
  44. 44. 2001 年 Ole-Johan Dahl + Kristen Nygaard ● 1965 年兩人一起發明了 Simula 物件導向語言 Ole-Johan Dahl
  45. 45. 2002 年 Ronald Linn Rivest + Adi Shamir + Leonard Max Adleman ● 1977 年三人一起發明了非對稱的 RSA 公開金鑰加解密演算法。
  46. 46. 2003 年 艾倫 · 凱 Alan Curtis Kay ● 他是 Smalltalk 的最初設計者,對物件導向技術貢獻良 多。 1968 年學習 Logo 語言, 1970 加入 Xerox PARC , 為了發展 Dynabook 發明 Smalltalk 語言,吸取了 Simula 的 class 的概念,並發展出圖形介面 GUI ,參與 Alto 電腦開發。 ● 1983 年離開 Xerox ,擔任 Atari 公司首席科學家。 1984 年加盟蘋果的 ATG ( Advanced Technology Group ) 。 1996 年加入了迪斯尼開發 Squeak 軟體,研究 Etoys 系 統。 2001 年創辦 Viewpoints Research Institute , 致力兒童學習軟體開發。
  47. 47. 2004 年 Vinton Gray Cerf + Robert Elliot Kahn ● 兩人一起發明並實作了《 TCP/IP 協議》。 1972 年, Kahn 在 DARPA 研究衛星和地面封包網 路。 1973 年已有的 ARPANET 網路控制程式 NCP 協定的開發者 Cerf 加入設計下一代協定。 很 快就開發出一個基本的雛形,把不同協定用 TCP/IP 連接起來。 1975 年斯坦福和倫敦大學間 TCP/IP 連接起來, 1984 年美國國防部規定用 TCP/IP 作為所有網路連接標準, 1985 年推廣給 廠商後,成為全球標準。
  48. 48. 2005 年 彼得 · 諾爾 Peter Naur ● 約翰 · 巴科斯首次在 ALGOL 58 中實作 BNF 。 彼得 · 諾爾在 ALGOL 60 之中,進一步發展它 的概念並將它的符號加以簡化,稱其為 BNF ( Backus Normal Form )。
  49. 49. 2006 法蘭 · 艾倫 Frances Elizabeth Allen ● 她和 RISC 之父 John Coke 聯手的一系列編譯器基 本原理、代碼優化和平行化論文具有開創性的突 破。 ● 1966 論文 "Program Optimization" 1970 論 文 "Control Flow Analysis" 與 "A Basis for Program Optimization" 1971 開始和 Coke 合作, 一系列論文 "A Catalog of Optimizing Transformations" 1973 與跨程序資料流分 析, 1976 描述編譯器優化分析策略的論文 .
  50. 50. 2007 Edmund M. Clarke + Ernest Allen Emerson + Joseph Sifakis ● 因開發自動化方法檢測電腦硬體和軟體中的設計錯誤而獲獎。
  51. 51. 2008 芭芭拉 · 利斯科夫 Barbara Liskov ● 她是美國第一個計算機科學女博士。指導教授為 《約翰 · 麥卡錫》,論文題目是西洋棋殘局程 式。後來領導《分時作業系統 Venus 》,《 CLU 程式語言設計》《分散式語言 Argus 》《物件導 向資料庫 Thor 》《 Byzantine 分散容錯系統》 ● 得獎原因: CLU 程式語言啟發了物件導向語言。 ● 利斯代換原則:子類能夠替換父類對象被使用的 多型原則。 (Liskov Substitution principle)
  52. 52. 2009 查爾斯 · 薩克爾 Charles P. Thacker ● 設計實現了第一台現代視窗型個人電腦 Alto ● 1970 年,加盟 Xerox 公司 Palo Alto 研究中心。先後擔任 MAXC 時 分作業系統的項目負責人, Alto 個人電腦首席設計師等職務。參 與 Alto 、乙太網、雷射印表機等的設計與開發。 ● 1983 年,加盟迪吉多公司,主持設計了第一個多處理器工作站 DEC Firefly 。 1997 年,加入微軟,幫助創建微軟劍橋研究院。 1999 年,從事微軟 Tablet PC 的開發。
  53. 53. 2010 萊斯利 · 瓦倫特 Leslie Gabriel Valiant ● 1975 他發現辨認 Context-Free Grammar 的 快速逼近演算法 1984 提出機器學習中的 probably approximately correct (PAC) learnable 概念。 1986 定義了 #P-completeness 證明若 Unambiguous-SAT ( 只有一個解的 SAT) 是 P 的話,那麼 NP=RP, 這稱為 Valiant– Vazirani 定理。
  54. 54. 2011 朱迪亞 · 珀爾 Judea Pearl ● 發明《貝氏網路》 貝氏網路的範例
  55. 55. 2012 Shafrira Goldwasser + Silvio Micali ● 1982 Goldwasser–Micali(GM) 密碼系統 : 第一個隨機型非對稱公開金鑰密碼系統,雖然 密文可能是明文的好幾百倍大,但可證明安全 性。 ● 1984 Blum–Goldwasser cryptosystem ● 兩人都是研究 Zero-knowledge proof, Pseudorandom Functions, Peppercoin 等計 算通訊理論領域的專家。 Silvio Micali Shafrira Goldwasser
  56. 56. 2013 萊斯利 · 蘭波特 Leslie Lamport ● 對於分散式及並形系統的理論與實踐具有 基礎性貢獻,尤其是諸如因果邏輯時序 ( causality and logical clocks )、 安全性與存活度( safety and liveness )、複製狀態機( replicated state machines )及循序一致性 ( sequential consistency )等理論概 念的發明,導致他獲獎。
  57. 57. 2014 麥可 · 斯通布雷克 Michael Stonebraker ● 斯通布雷克在關連式資料庫的研究導致獲獎。他創建 了 Ingres,Illustra, Cohera, StreamBase Systems, Vertica , VoltDB 等資料庫公司,並對資料庫理論有相當貢獻。 ● 1973 年 IBM System R 發表了關聯式資料庫,他和 Eugene Wong 讀了之後決定設 計一個資料庫系統,於是啟動了 Ingres 計畫,採用 BSD 授權,到 1980 年為止 Ingres 已經發行了 1000 份。 1982 年他自己創建了 Ingres 公司, 1985 年重回柏 克萊大學開始 Postgres 計畫,並發表一系列研究論文。 1994 年終止後 Andrew Yu 和 Jolly Chen 兩人接著開發, 1996 年改稱為 PostgreSQL 。 ● Infomix, Sybase 等公司都是採用 Ingres 作為基礎去開發的, Sybase 於 1992 年 將產品賣給微軟,微軟稱之為 MS SQLServer
  58. 58. 大致上來說 ● 歷屆圖靈獎的得主,從事的 領域可以分為幾類。
  59. 59. 第一類是計算理論與通訊密碼 ● 1976 年 Rabin & Scott – 非確定自動機 1982 年 史提芬 · 古克 – SAT 是 NP-Complete 1985 年 理察 · 卡普 – 證明一堆 NP-Complete 問題 1993 年 Hartmanis&Stearns – TIME(f(n)) 階層 1995 年 曼紐爾 · 布盧姆 – Blum Measure 與非對稱密碼系統 2000 年 姚期智 – 偽亂數生成,密碼學與通信複雜度 2002 年 RSA 非對稱金鑰密碼系統三人 2010 年 萊斯利 · 瓦倫特 – PAC learnable + #P complete 2012 年 Goldwasser–Micali(GM) 密碼系統
  60. 60. 第二類是演算法與自動驗證 ● 1972 年 Dijkstra – GOTO 有害 信號量 PV 銀行家算法 哲學家問題 最短路徑算法 1974 年 Knuth – KMP 字串快速搜尋 ,LR parser, TEX 論文排版 1978 年 羅伯特 · 弗洛伊德 – 所有最短路徑 , 程序驗證邏輯斷言 1986 年 Hopcroft& Tarjan – 雙連通圖 1996 年 阿米爾 · 伯努利 – 時序邏輯引入驗證領域 2007 年 克拉克 愛默生 斯發基斯 – 自動化方法檢測
  61. 61. 第三類是程式語言與編譯器 ● 1966 年 艾倫 · 佩利 – ALGOL 1974 年 Knuth – LR parser 1977 年 約翰 · 巴克斯 – Fortran + BNF 1979 年 肯尼斯 · 艾佛森 – APL 科學計算語言 1980 年 東尼 · 霍爾 – ALGOL60 編譯器 快速排序 霍爾邏輯 CSP 語言 1983 年 肯 · 湯普遜 & 丹尼斯 · 里奇 – UNIX & C 1984 年 尼克勞斯 · 維爾特 – Pascal, Modula, Oberon & EBNF 1991 年 羅賓 · 米爾納 – ML 語言 +CCS 2001 年 Dahl & Nygaard – Simula 物件導向語言 2003 年 艾倫 · 凱 – Smalltalk 物件導向語言 2005 年 彼得 · 諾爾 – Algol60 & BNF 2006 年 法蘭西斯 · 艾倫 – 優化編譯器 2008 年 芭芭拉 · 利斯科夫 – CLU 語言數據抽象啟發物件導向
  62. 62. 第四類是人工智慧 ● 1969 年 馬文 · 閔斯基 – 神經網路 框架 感知器無法解 XOR 1971 年 約翰 · 麥卡錫 – 人工智慧 LISP 1975 年 Allen Newell & Simon – 自動定理證明 1994 年 Feigenbaum&Reddy – DENDRAL 專家系統與黑板模式 2010 年 萊斯利 · 瓦倫特 – PAC learnable + #P complete 2011 年 朱迪亞 · 珀爾 – 貝氏網路
  63. 63. 第五類是計算機結構與作業系統 ● 1967 年 莫里斯 · 威爾克斯 – EDSAC 程式庫 1983 年 肯 · 湯普遜 & 丹尼斯 · 里奇 – UNIX & C 1987 年 約翰 · 科克 – RISC 精簡指令集電腦 1990 年 費爾南多 · 考巴托 – CTSS 和 Multics 1999 年 弗雷德里克 · 布魯克斯 – OS/360
  64. 64. 第六類是數值分析 ● 1968 年 理察 · 漢明 – 糾錯碼 1970 年 詹姆斯 · 維爾金森 – 倒退錯誤分析 1989 年 威廉 · 卡韓 – IEEE 754 浮點數之父
  65. 65. 第七類是資料庫 ● 1973 年 查理士 · 巴赫曼 – 網路資料庫,確立了三層模式方法 1981 年 埃德加 · 科德 – 關連資料庫與代數 1998 年 詹姆斯 · 尼古拉 · 格雷 – 兩階段交付 … 2014 年 麥可 · 斯通布雷克 – Ingres, Postgres, ...
  66. 66. 然後 PARC 全錄研發中心 的 Alto 視窗電腦產生了不少得主 ● 1992 年 巴特勒 · 蘭普森 – Xerox Alto 全面參與 1997 年 道格拉斯 · 恩格爾巴特 – 滑鼠與超連結 (PARC 合作 ) 2003 年 艾倫 · 凱 – Smalltalk 物件導向 2009 年 查爾斯 · 薩克爾 – Xerox Alto 全面參與
  67. 67. 其他還有 ● 1988 年 伊凡 · 蘇澤蘭 – SketchPad 互動介面 2004 年 瑟夫 & 卡恩 – TCP/IP 協定 2013 年 萊斯利 · 蘭波特 – 分散式系統理論
  68. 68. 這就是 1962-2014 的全部圖靈獎得主了 ● 您是否已經理解了他們的貢獻了呢?
  69. 69. 或許 ● 您也像我一樣,想得個圖靈獎來玩玩!
  70. 70. 那麼就 ● 祝您開心中大獎囉!

×