东尼·霍尔

✍ dations ◷ 2025-05-16 08:58:37 #东尼·霍尔

查尔斯·安东尼·理查德·霍尔爵士（英语：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年，获颁约翰·冯诺依曼奖。

相关

阿德福韦阿德福韦酯（adefovir）是一种核苷类似物抗病毒药物，能在抑制逆转录酶，用于治疗乙肝，但不能用于HIV感染。捷克科学院有机化学与生物化学研究所的Antonín Holý首先合成了阿德福韦
齿龈近音齿龈无擦通音是辅音的一种，用于一些口语中。齿龈无擦通音、齿音、和齿龈后音在国际音标的符号都是⟨ɹ⟩，X-SAMPA音标的符号则是⟨r\⟩。齿龈无擦通音在国际音标的符号是反转
人均寿命平均寿命、生命期望或预期寿命（英语：life expectancy），指生物群体中衡量单一生命存活平均长度的统计量。预期寿命最常用的测量方法是自出生起算（英语：Life expectancy at birth，LEB
蛋白质结构预测蛋白质结构预测(英语：Protein structure prediction)是指从蛋白质的氨基酸序列中预测蛋白质的三维结构。也就是说，从蛋白质的一级结构预测它的折叠和二级、三级、四级结构。结
西班牙国家男子篮球队西班牙国家男子篮球队是一支代表西班牙参加国际篮球赛事的球队。目前国际男子篮球排名为第二名。
扩散方程扩散方程是一类偏微分方程，用来描述扩散现象中的物质密度的变化。通常也用来和扩散类似的现象，例如在群体遗传学中等位基因在群体中的扩散。扩散方程通常写作：其中
葡萄糖六磷酸盐脱氢酶缺乏症葡萄糖-6-磷酸脱氢酶缺乏症，又名G6PD缺乏症(英文：Glucose-6-Phosphate Dehydrogenase deficiency, G6PDD) ，俗称蚕豆症。是一种先天代谢缺陷（英语：Inborn errors of carbohydrat
楞严咒《楞严咒》出现在《楞严经》，亦称《首楞严咒》、《大佛顶首楞严神咒》，也被认为和藏传密宗《佛顶大白伞盖（英语：Sitatapatra）陀罗尼》是同一咒。首楞严咒字数共2620字，为佛教中最
挪威峡湾马挪威峡湾马是发展自挪威的一个马品种。挪威峡湾马历史悠久，毛为暗褐色，尾巴浓密，四肢短而直，动作灵活，是一种多用途的马，维京人经常利用挪威峡湾马运货。
钻孔钻孔是一种切削（英语：cutting）加工方式，利用钻头在固态材料上切削或是加大圆形截面的孔。钻头是旋转型的切削刀具，多半有多个切削刀刃，在钻孔时钻头会受压接近工件，转速从数百RPM到