1973查理士·巴赫曼 Charles Bachman 查爾斯·巴赫曼 Charles William Bachman 主要貢獻不是在學術界任教研工作，而是 在工業界開發實際的產品。 1971年DBTG小組提出了DBTG報告，描 出生 1924年12月11日(91嵌) ■三堪薩斯州受哈頓 述了網狀式資料庫系統，資料定義 國籍 美國 研究領域笪离科學 (DDL)和資料操縱語言(DML)，確立 任職於 陶氏化工 酒用笔氟 了「三層模式方法」(Three schema Cullinet 巴赫受貨訊系统公司 approach)的資料庫模型，即《外部、 母校 夕法尼亞大婴 著名成就夸料童技布(Integrated Data 抽象和內部》的分層模型。 Store) 獲费 可超换
1973 查理士 · 巴赫曼 Charles William Bachman ● 主要貢獻不是在學術界任教研工作，而是 在工業界開發實際的產品。 ● 1971 年 DBTG 小組提出了 DBTG 報告，描 述了網狀式資料庫系統，資料定義 （ DDL ）和資料操縱語言（ DML ），確立 了「三層模式方法」（ Three schema approach ）的資料庫模型，即《外部、 抽象和內部》的分層模型
高德納 1974唐納德·克努斯 Donald Ervin Knuth Donald Ervin Knuth 撰寫《The Art of Computer Programming》,已經出版了五卷 1965年發明LR parsers與理論 2005年10月25日，Jacob Appelbaum径 出生 1938年01月10日(78遂) ·1974和學生Vaughan Pratt開發了 美國威斯康星州密洞沃基 居住地 美國 Knuth-Morris-Pratt字串快速搜尋算法 國籍 ■美國 研究領域针算機科曼 任職於史丹福大學 ·1978年開始開發TEX排版軟體 母校 凯斯理工婴院 加州理工厚院 ·得獎原因為《演算法分析、程式語言编 著名成就（至蹈程式設針慈俯》 TeX、METAFONT Knuth-Morris--Pratt演算法 譯器》上的貢獻。 Knuth-Bendix completion algorithm MMIX
1974 唐納德 · 克努斯 Donald Ervin Knuth ● 撰寫《 The Art of Computer Programming 》，已經出版了五卷 ● 1965 年發明 LR parsers 與理論 ● 1974 和學生 Vaughan Pratt 開發了 Knuth-Morris-Pratt 字串快速搜尋算法 ● 1978 年開始開發 TEX 排版軟體 ● 得獎原因為《演算法分析、程式語言編 譯器》上的貢獻
1971 Allen Newell Herbert Simon ◆Herbert Simon也因為提出《有限理性Bounded rationality》,將《資訊的不完全及處理費 用》納入經經濟分析而獲得1978年的諾貝爾經濟 獎，是Allen Newel1與Edward Feigenbaum的博 Herbert Simon 士指導教授。 Allen Newel1於1954年發明IPL語言，啟發後 來發明LISP的John McCarthy。1956年開發了 Logic Theorist程式證明數學定理，後來又開發 General Problem Solver解決AI推論問題，偏 向《符號演算系統可以衍生出智能》的想法·
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
1976 Michael Rabin Dana Scott 將有限狀態機(DFA)延伸到 《非確定状態 機》(NFA)上。NPA的下一個狀態不是唯 一的，而是多個可能状態中的一個。 Michael Rabin 1959年，兩人共同發表了「有限自動機 與其判定性問題」(Finite Automata and Their Decision Problems)的論 文，並證明了NFA與DFA的等價性 Dana Scott
1976 Michael Rabin + Dana Scott ● 將有限狀態機 (DFA) 延伸到《非確定狀態 機》 (NFA) 上。 NFA 的下一個狀態不是唯 一的，而是多個可能狀態中的一個。 ● 1959 年，兩人共同發表了「有限自動機 與其判定性問題」（ Finite Automata and Their Decision Problems ）的論 文，並證明了 NFA 與 DFA 的等價性。 Dana Scott Michael Rabin
1977約翰·巴科斯 John Warner Backus 1950年加入IBM工作，他和同事H. Herrick一起成功開發了Speedcoding的 程序，適用於浮點數運算。 出生 1924年12月3日 1957年4月他所領導13人小組推出全世 黄城查夕法尼王州 逝世 3月17日，2007年 界第一套高階電腦語言FORTRAN Ashland,.领勒商州 研究領域 計草機科學 任職於 IBM 他在ALGOL58中發展出BNP來描述程式 著名成就 FORTRAN 巴科斯範式 的語法。後來Peter Naur在ALGOL60中 Function-level programming 獲獎 杜林腾 修改並簡化了BNF。 Draper Prize
1977 約翰 · 巴科斯 John Warner Backus ● 1950 年加入 IBM 工作，他和同事 H. Herrick 一起成功開發了 Speedcoding 的 程序，適用於浮點數運算。 ● 1957 年 4 月他所領導 13 人小組推出全世 界第一套高階電腦語言 FORTRAN 。 ● 他在 ALGOL 58 中發展出 BNF 來描述程式 的語法。後來 Peter Naur 在 ALGOL 60 中 修改並簡化了 BNF