約翰·巴克斯（John Warner Backus）（1924年12月3日－2007年3月17日），美國計算機科學家，是全世界第一套高階語言（High-level Language）FORTRAN的發明小組組長。他提出了BNF（用來定義形式語言語法的記號法），發明Function-level programming這個概念及實踐該概念的FP語言。
基本介紹
- 中文名：約翰·巴克斯
- 外文名：John Warner Backus
- 出生地：美國賓夕法尼亞州費城
- 出生日期：1924年12月3日
- 逝世日期：2007年3月17日
- 職業：美國計算機科學家
人物簡介,成就,圖靈獎獲得者,
人物簡介
1924年12月3日生於美國賓夕法尼亞州費城，父親是阿特拉斯火藥公司的員工，後來轉職為證券經紀人。巴克斯中學時念賓夕法尼亞州波茨敦市的希爾學校，平時不愛讀書，勉強畢業，沒有什麼過人之處。後來依照父親的要求，他在維吉尼亞大學修讀化學，成績也不好。第二次世界大戰爆發，他便改為參加美國陸軍，在喬治亞州服役，後來進入哈弗福德學院（Haverford College）的醫學院預科接受醫療訓練，九個月後又退出了。在接受醫療訓練期間，他被診斷出患有腦部腫瘤，並接受手術治療。他搬到紐約市，最初打算以無線電技術員為生。在訓練過程中，他對數學產生極大興趣，於是他便在哥倫比亞大學修讀學位，於1949年以碩士學位畢業，1950年加入IBM工作。巴克斯和同事海爾里克（H. Herrick）一起成功開發了Speedcoding的程式，適用於浮點數運算。
成就
巴克斯在IBM工作了幾年，他對於機械式的程式設計感到厭煩，他希望能設計一套新式語言。1953年巴克斯向當時IBM董事長卡斯伯特·赫德提交了一分備忘錄，建議設計一種接近人類語言的程式語言代替機器語言，後來赫德批准了這項計畫。1957年4月他所領導13人小組推出全世界第一套高階電腦語言FORTRAN，首次用在IBM 704計算機上面，1958年推出FORTRAN Ⅱ，幾年後又推出FORTRAN Ⅲ，1962年推出FORTRAN Ⅳ，被稱為FORTRAN語言之父。六十年代巴克斯轉到沃森研究中心，參加了ALGOL語言的設計。1977年10月17日在西雅圖舉行的ACM年會上獲得計算機界最高獎圖靈獎，會中他發表了“程式設計能從馮·伊曼形式中解脫出來嗎？函式式風格及其程式的代數”（Can Programming be Literated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演說。1991年退休。1994年美國工程院授予他Charles Stark Draper獎。2007年3月17日在美國俄勒岡州的家中去世，享年82歲。
1977年圖靈獎得獎演說：Can Programming Be Liberated From the von Neumann Style?
圖靈獎獲得者
1966年: 佩利 · 67年: 威爾克斯 · 68年: 漢明 · 69年: 閔斯基 · 70年: 維爾金森 · 71年: 麥卡錫 · 72年: 迪科斯徹 · 73年: 巴赫曼 · 74年: 高德納 · 75年: 紐威爾和 西蒙 · 76年: 拉賓和 斯科特 · 77年: 巴科斯 · 78年: 弗洛易德 · 79年: 艾佛森 · 80年: 何珥 · 81年: 科德 · 82年: 古克 · 83年: 湯普遜和 里奇 · 84年: 沃斯 · 85年: 卡普 · 86年: 霍普克羅夫特和 塔揚 · 87年: 科克 · 88年: 蘇澤蘭 · 89年: 卡亨 · 90年: 考巴托 · 91年: 米爾納 · 92年: 蘭普森 · 93年: 哈特馬尼斯和 斯特恩斯 · 94年: 費根鮑姆和 瑞迪 · 95年: 布盧姆 · 96年: 伯努利 · 97年: 恩格爾巴特 · 98年: 格雷 · 99年: 布魯克斯 · 2000年: 姚期智 · 01年: 達爾和 奈加特 · 02年: 李維斯特、薩莫爾和 阿德曼 · 03年: 凱 · 04年: 科夫和 卡恩 · 05年: 諾爾 · 06年: 艾倫 · 07年: 克拉克、愛默生和 斯發基斯
