求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。

「东尼·霍尔」修訂間的差異檢視原始碼討論檢視歷史

事實揭露 揭密真相
前往: 導覽搜尋
個人簡歷
參考來源
 
(未顯示由 1 位使用者於中間所作的 4 次修訂)
行 16: 行 16:
 
}}
 
}}
  
'''查尔斯·安东尼·理查德·霍尔爵士'''(英语:'''Sir Charles Antony Richard Hoare''',缩写为 C. A. R. Hoare,1934年1月11日-),经常被昵称为东尼·霍尔(一译托尼·霍尔,英语:Tony Hoare),生于[[斯里兰卡]]可伦坡,[[英国]]计算机科学家,图灵奖得主 他设计出了快速排序算法、霍尔逻辑、交谈循序程式。<ref>{{cite web|url=http://www.php-master.com/tags-77822.html|title=东尼·霍尔|website=大师网|accessdate=2019-05-04}}</ref>  
+
'''查尔斯·安东尼·理查德·霍尔爵士'''(英语:'''Sir Charles Antony Richard Hoare''',缩写为 C. A. R. Hoare,1934年1月11日-),经常被昵称为东尼·霍尔(一译托尼·霍尔,英语:Tony Hoare),生于[[斯里兰卡]]可伦坡,[[英国]]计算机科学家,图灵奖得主 。https://juejin.im/post/5de3c6b2e51d4532c21facac   掘金 -  26-快速排序(Quick Sort)
 +
 
 +
他设计出了快速排序算法<ref> [https://juejin.im/post/5de3c6b2e51d4532c21facac   掘金 -  26-快速排序(Quick Sort)]</ref>  、霍尔逻辑、交谈循序程式。<ref>{{cite web|url=http://www.php-master.com/tags-77822.html|title=东尼·霍尔|website=大师网|accessdate=2019-05-04}}</ref>  
  
 
==個人簡歷==
 
==個人簡歷==
 
 
*1956年,在[[牛津大学]]墨顿学院取得西洋古典学学士学位。他留校一年进行研究,1956年至1958年间,在[[英国]]皇家海军服役。他为了学习俄语,至苏联莫斯科国立大学留学,跟随安德雷·柯尔莫哥洛夫,并研究机器翻译。
 
*1956年,在[[牛津大学]]墨顿学院取得西洋古典学学士学位。他留校一年进行研究,1956年至1958年间,在[[英国]]皇家海军服役。他为了学习俄语,至苏联莫斯科国立大学留学,跟随安德雷·柯尔莫哥洛夫,并研究机器翻译。
  
 
*1960年,在[[莫斯科]]国立大学取得博士学位后,任职于[[伦敦]]艾略特兄弟公司(Elliott Brothers Ltd),开发出第一个商用的ALGOL 60编译器,很快就成为公司的首席工程师。
 
*1960年,在[[莫斯科]]国立大学取得博士学位后,任职于[[伦敦]]艾略特兄弟公司(Elliott Brothers Ltd),开发出第一个商用的ALGOL 60编译器,很快就成为公司的首席工程师。
  
*1968年,成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授,并在剑桥微软研究院担任研究员。
+
*1968年,成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授,并在剑桥微软研究院担任研究员。<ref>[http://www.chezaiyi.cn/Subculture/54590.html 东尼·霍尔]次文化</ref>
<ref>[http://www.chezaiyi.cn/Subculture/54590.html 东尼·霍尔]次文化</ref>
+
 
 +
1977年,移居牛津大學,設計了任何程序員都可以遵循的邏輯規則係統(現稱為“霍雷邏輯”),在此過程中將軟件編寫從一個有點神秘的學科轉變為具有堅實基礎的領域。<ref>[https://www.computer.org/profiles/tony-hoare   哈里·古德紀念獎 獲獎者 - 查爾斯·安東尼·理查德·霍爾爵士]</ref>計算機協會根據信息處理領域的成就授予一枚銅牌和2,000美元的獎金,這是一個傑出的貢獻。
  
 
==荣誉==
 
==荣誉==
 
 
*1980年,获颁图灵奖。
 
*1980年,获颁图灵奖。
  
行 35: 行 36:
 
*2000年,因为他在计算机科学与教育方面的杰出贡献,获得英国王室颁赠爵士头衔。
 
*2000年,因为他在计算机科学与教育方面的杰出贡献,获得英国王室颁赠爵士头衔。
  
*2011年,获颁约翰·冯诺依曼奖。
+
*2011年,获颁约翰·冯诺依曼奖。<ref>[https://blog.csdn.net/lkp1603645756/article/details/85004249 快速排序算法]孤独键客</ref>
<ref>[https://blog.csdn.net/lkp1603645756/article/details/85004249 快速排序算法]孤独键客</ref>
+
 
 +
==相關影片==
 +
{{#evu:https://www.youtube.com/watch?v=YQTjuePyN7M
 +
|alignment=left
 +
|dimensions=640
 +
|container=frame
 +
|description= Let's #TalkConcurrency with Sir Tony Hoare
 +
}}
 +
 
 +
{{#evu:https://www.youtube.com/watch?v=tAl6wzDTrJA
 +
|alignment=left
 +
|dimensions=640
 +
|container=frame
 +
|description= Tony Hoare, 1980 ACM Turing Award Recipient
 +
}}
 +
 
 +
{{#evu:https://www.youtube.com/watch?v=ybrQvs4x0Ps
 +
|alignment=left
 +
|dimensions=640
 +
|container=frame
 +
|description= Null References: The Billion Dollar Mistake - Tony Hoare
 +
}}
 +
 
 +
{{#evu:https://www.youtube.com/watch?v=KDchFEpJV7o
 +
|alignment=left
 +
|dimensions=640
 +
|container=frame
 +
|description= "Axiomatic Basis for Computer Programming" written by C.A.R. Hoare and presented by Jean Yang
 +
}}
 +
 
 +
{{clear}}
 
==參考來源==
 
==參考來源==
 
{{Reflist}}
 
{{Reflist}}

於 2020年3月12日 (四) 18:53 的最新修訂

東尼·霍爾
出生 1934年1月11日
國籍 英國
別名 Tony Hoare
職業 計算機科學家
知名作品 快速排序

查爾斯·安東尼·理查德·霍爾爵士(英語:Sir Charles Antony Richard Hoare,縮寫為 C. A. R. Hoare,1934年1月11日-),經常被暱稱為東尼·霍爾(一譯托尼·霍爾,英語:Tony Hoare),生於斯里蘭卡可倫坡,英國計算機科學家,圖靈獎得主。https://juejin.im/post/5de3c6b2e51d4532c21facac 掘金 - 26-快速排序(Quick Sort)

他設計出了快速排序算法[1] 、霍爾邏輯、交談循序程式。[2]

個人簡歷

  • 1956年,在牛津大學墨頓學院取得西洋古典學學士學位。他留校一年進行研究,1956年至1958年間,在英國皇家海軍服役。他為了學習俄語,至蘇聯莫斯科國立大學留學,跟隨安德雷·柯爾莫哥洛夫,並研究機器翻譯。
  • 1960年,在莫斯科國立大學取得博士學位後,任職於倫敦艾略特兄弟公司(Elliott Brothers Ltd),開發出第一個商用的ALGOL 60編譯器,很快就成為公司的首席工程師。
  • 1968年,成為貝爾法斯特女王大學的教授。1977年回到牛津大學擔任教授,並在劍橋微軟研究院擔任研究員。[3]

1977年,移居牛津大學,設計了任何程序員都可以遵循的邏輯規則係統(現稱為「霍雷邏輯」),在此過程中將軟件編寫從一個有點神秘的學科轉變為具有堅實基礎的領域。[4]計算機協會根據信息處理領域的成就授予一枚銅牌和2,000美元的獎金,這是一個傑出的貢獻。

榮譽

  • 1980年,獲頒圖靈獎。
  • 1982年,成為英國皇家學會院士。
  • 2000年,因為他在計算機科學與教育方面的傑出貢獻,獲得英國王室頒贈爵士頭銜。
  • 2011年,獲頒約翰·馮諾依曼獎。[5]

相關影片

Let's #TalkConcurrency with Sir Tony Hoare
Tony Hoare, 1980 ACM Turing Award Recipient
Null References: The Billion Dollar Mistake - Tony Hoare
"Axiomatic Basis for Computer Programming" written by C.A.R. Hoare and presented by Jean Yang

參考來源