东尼·霍尔

✍ dations ◷ 2025-02-23 16:24:18 #东尼·霍尔

查尔斯·安东尼·理查德·霍尔爵士（英语：Sir Charles Antony Richard Hoare，缩写为C. A. R. Hoare，1934年1月11日－），昵称为东尼·霍尔（英语：Tony Hoare，一译托尼·霍尔），生于大英帝国锡兰可伦坡（今斯里兰卡），英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。东尼·霍尔的父亲是一位公务员，服务于英属锡兰。其母亲是茶园主人的女儿。东尼·霍尔在可伦坡出生，在英国本土受教育。1956年，在牛津大学墨顿学院取得西洋古典学学士学位。在大学毕业后，进入英国皇家海军服兵役18个月，在此学会俄语。1958年退伍后，回到牛津大学，研读统计学，取得学士后学位。在此期间，开始学习程式设计，他跟着Leslie Fox（英语：Leslie Fox）学习Autocode（英语：Autocode）。为了进一步学习俄语，他以英国文化协会的交换学生身份，至苏联莫斯科国立大学留学，跟随安德雷·柯尔莫哥洛夫学习数学，并研究机器翻译。1960年，在莫斯科国立大学取得博士学位后，任职于伦敦艾略特兄弟公司（Elliott Brothers Ltd），开发出第一个商用的ALGOL 60编译器，很快就成为公司的首席工程师。1968年，成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授。现为牛津大学荣誉教授，并在剑桥微软研究院担任研究员。他开发了几个著名的算法，包括Quicksort与Quickselect。在操作系统中，他提出哲学家就餐问题，并发明用来作为同步程序的监视器（Monitors）以解决这个问题。他同时证明了监视器与信号标（Semaphore）在逻辑上是等价的。1980年，获颁图灵奖。1982年，成为英国皇家学会院士。2000年，因为他在计算机科学与教育方面的杰出贡献，获得英国王室颁赠爵士头衔。2011年，获颁约翰·冯诺依曼奖。

相关

纳米纳米为微米的千分之一倍（符号 nm，英式英文：nanometre、美式英文：nanometer，字首 nano 在希腊文中的原意是“侏儒”的意思），是一个长度单位，指1米的十亿分之一（10-9m）。有时候也会见到
鹦鹉热鹦鹉热（英语：Psittacosis）是一种人畜共通传染病，由鹦鹉热衣原体（又称鹦鹉热披衣菌）引起，人类主要透过鹦鹉（如金刚鹦鹉、鸡尾鹦鹉、虎皮鹦鹉）或其他家禽（如火鸡、鸭、鸽）感染，但极少透过
萨尔瓦多面积以下资讯是以2016年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2018年估计国内生产总值（国际汇率）以下资讯是以2018年估计人类发展指数以下资讯是以2018
宗教语言问题宗教语言问题关注的是，如果人们认可传统观念中上帝的无形性、无限性和永恒性，对上帝的探讨是否还有意义。这种传统观念加大了用语言描述上帝的困难，使得宗教语言很可能因此而毫
小鼠小家鼠（学名：Mus musculus）也称为家鼠、鼷鼠或小鼠。小家鼠体长约8厘米，尾巴略短或略长于体长；毛色变化大，从黑灰色到灰褐色，腹毛基部为灰色，尖端常为灰黄色，有的呈灰白色，有的腹毛全
个体发育个体发生学（英语：Ontogeny），或称做形态发生学，是描述一个生命体从受精卵到成体的起源和发育。个体发生学在发育生物学、发展心理学和发展生理学中被研究。更一般的用语，个体发生学
拉伯雷弗朗索瓦·拉伯雷（法语：François Rabelais 法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","
纳塔居里奥·纳塔（意大利语：Giulio Natta，1903年2月26日－1979年5月2日），意大利化学家，在聚合反应的催化剂研究上作出很大贡献，因此与德国化学家卡尔·齐格勒共同获得1963年诺贝尔化学奖
匍蜚蠊科见内文匍蜚蠊科（学名：Blaberidae），又名硕蠊科，是蜚蠊目匍蜚蠊总科之下两个科之一，也是蜚蠊目之下仅次于姬蜚蠊科的第二大物种分类。
世界设计之都世界设计之都（英语：The World Design Capital，简称WDC）是一个由国际工业设计社团协会（ICSID）所认定并授奖的城市推动计划。自2008年起，每两年由全球投件申请的城市中选出一个城市作