东尼·霍尔

✍ dations ◷ 2025-09-02 22:58:25 #东尼·霍尔

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

相关

氟伏沙明氟伏沙明（Fluvoxamine）是一种选择性5-羟色胺再吸收抑制剂（SSRI）型的抗抑郁药，其药物形态为马来酸氟伏沙明（Fluvoxamine Maleate），商品名为“兰释”（Luvox）。在临床上常用于抑郁症及相
蓖麻毒素结构 / ECOD结构 / ECOD蓖麻毒蛋白（英语：Ricin）是从蓖麻籽中所萃取出来的一种毒性蛋白质，几乎对所有的真核细胞都具有杀伤作用。蓖麻毒蛋白的纯品是一种白色粉末或结晶体，无味，可
堂堂是中国南部的长度单位，主要用作形容路程的长度。一堂为10里，即5公里（以今1市里=0.5公里换算）。当时的人通常将十里路，说为一堂路。米（m） · 尧米（Ym） · 泽米（Zm） · 艾米（Em） · 拍米
山苏花山苏花（学名：Asplenium antiquum），简称山苏，又名鸟巢蕨，为铁角蕨科铁角蕨属下的一个种。山苏广泛分布于潮湿中低海拔山区，以台湾的气候而言，分布海拔约50~870米，其中最适海拔为400~12
生育酚生育酚（英语：Tocopherol，或称为TCP）是主要表现出维生素E活性的一类化合物。这是一类含有被多甲基化的酚类有机化合物。因为其维生素活性首次在1936年针对大鼠繁殖力因素的实验中
果尔达·梅厄果尔达·梅厄（通称梅厄夫人，或译迈尔夫人，希伯来语：גּוֹלְדָּה מֵאִיר‎；拉丁转写：Golda Meir，1898年5月3日-1978年12月8日）以色列女性政治家，是该国的创国者之一及
闻邦椿闻邦椿（1930年9月－），中国工程机械专家。原籍浙江温岭，生于浙江杭州。1955年毕业于东北大学机电系，1957年毕业于该院机械系研究生班。东北大学教授。1991年当选为中国科学院院士（学
美国城市列表本列表列出美国人口最多的建制区。根据美国人口调查局的定义，建制区可以有多种形式，包括市、镇、村和自治市镇。这些名称及其用法各州皆有很大区别。美国最大的建制区多数是在
女真女真（女真文：，转写：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alte
脱水缩合脱水缩合(dehydration condensation)是指一种两个分子在缩合为一个大分子的同时失去一个水分子（H2O）的化学反应。在一个羧基（