約翰·巴科斯
此條目沒有列出任何參考或來源。 (2017年1月28日) |
約翰·華納·巴科斯（英語：John Warner Backus，1924年12月3日—2007年3月17日），美國計算機科學家，是早期高階語言（High-level Language）FORTRAN的發明小組組長。他提出了巴科斯範式（用來定義形式語言語法的記號法），發明了函數級編程概念及實踐該概念的FP語言。為1977年圖靈獎得主。
| 約翰·巴科斯 | |
|---|---|
 | |
| 出生 | 1924年12月3日 美國賓夕法尼亞州費城 |
| 逝世 | 2007年3月17日（82歲） 美國俄勒岡州阿什蘭 |
| 知名於 | FORTRAN 巴科斯範式 函數級編程 |
| 獎項 | 杜林獎 Draper Prize |
| 科學生涯 | |
| 研究領域 | 計算機科學 |
| 機構 | IBM |
生平經歷
1924年12月3日生於美國賓夕法尼亞州費城，父親是阿特拉斯火藥公司的員工，後來轉職為證券經紀人。巴克斯中學時唸賓夕法尼亞州波茨敦市的希爾學校，平時不愛讀書，勉強畢業，沒有什麼過人之處。後來依照父親的要求，他在維吉尼亞大學修讀化學，成績也不好。第二次世界大戰爆發，他便改為參加美國陸軍，在喬治亞州服役，後來進入哈弗福德學院（Haverford College）的醫學院預科接受醫療訓練，九個月後又退出了。在接受醫療訓練期間，他被診斷出患有腦部腫瘤，並接受手術治療。他搬到紐約市，最初打算以無線電技術員為生。在訓練過程中，他對數學產生極大興趣，於是他便在哥倫比亞大學修讀學位，於1949年以數學碩士學位畢業，1950年加入IBM工作。巴克斯和同事海爾里克（H. Herrick）一起成功開發了Speedcoding的程式，適用於浮點數運算。
巴克斯在IBM工作了幾年，他對於機械式的程式設計感到厭煩，他希望能設計一套新式語言。1953年巴克斯向當時IBM董事長卡斯伯特·赫德（Cuthbert Hurd），提交了一分備忘錄，建議設計一種接近人類語言的編程語言代替機器語言，後來赫德批准了這項計劃。1957年4月他所領導13人小組推出全世界第一套高階電腦語言FORTRAN，首次用在IBM 704計算機上面，1958年推出FORTRAN Ⅱ，幾年後又推出FORTRAN Ⅲ，1962年推出FORTRAN Ⅳ，被稱為FORTRAN語言之父。六十年代巴克斯轉到沃森研究中心（Watson Scientific Computing Laboratory），參加了ALGOL語言的設計。1977年10月17日在西雅圖舉行的ACM年會上獲得計算機界最高獎圖靈獎，會中他發表了「程式設計能從馮諾伊曼形式中解脫出來嗎？函數式風格及其程式的代數」（Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演說，提出了叫做FP的函數級編程語言, 這篇演說有時被看作是他為發明了Fortran而致歉。1991年退休。1994年美國工程院授予他Charles Stark Draper獎。2007年3月17日在美國俄勒岡州的家中去世，享年82歲。