东尼·霍尔

✍ dations ◷ 2025-01-23 02:20:23 #东尼·霍尔

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

相关

婴儿死亡率婴儿死亡率（英语：infant mortality rate，缩写为IMR）是指每1000名活产儿中在一岁前死亡的人口数。这个比率是衡量一个国家健康水平的指标。由于婴儿死亡率只统计一岁以下的数据，
自由意志后设伦理学规范性 · 描述性效果论义务论美德伦理学关怀伦理学善与恶 · 道德生物伦理学 · 网络伦理（英语：Cyberethics） · 神经伦理学（英语：Neuroethics） ·
B细胞慢性淋巴细胞白血病慢性淋巴细胞性白血病，Chronic lymphocytic leukemia，简称CLL ，这是一种最常见的白血病主要影响B细胞。B细胞来自于骨髓，在淋巴结中发育，它主要的功能是产生抗体。在CLL中，B细胞
非线性物理学非线性物理学(英语：nonlinear physics)是研究各种非线性物理现象的学科。包含了物理内的各领域。所谓线性，从数学上来讲，是指方程的解满足线性叠加原理。即方程任意两个解的线
绍斯塔克杰克·威廉·绍斯塔克（英语：Jack William Szostak，1952年11月9日－），美国生物学家、霍华德·休斯医学研究所研究员、哈佛医学院遗传学教授、麻省总医院亚历山大·里奇杰出研究员。
磷钨酸12磷钨酸、12钨磷酸磷钨酸（英语：Phosphotungstic acid），简称PTA，英文名称也作tungstophosphoric acid，简称TPA，是化学式为H3PW12O40的杂多酸，平常会以水合物的形式出现，EPTA是磷钨酸
镰刀型贫血镰刀型红血球疾病（英语：Sickle-cell disease, SCD）是一组通常由双亲遗传而来的血液疾病。其中最常见的一种类型，叫做镰状红血球贫血症（Sickle-cell anemia, SCA）。该疾病会引起红
German Federal Ministry of Justice联邦司法和消费者保护部（德语：Bundesministerium der Justiz und für Verbraucherschutz，简称为BMJV）是德国的联邦部委之一。在德国联邦制度之下，各联邦州须负起司法行政与处罚
恋手恋手（英语：Hand fetishism），也被称为恋手癖，是指人类对同类的手有着特殊兴趣。通常发生在异性之间，例如男性喜欢女性的手。同时亦有同性之间的恋手者，还有一些恋手者对自己的手有感
数据采矿数据挖掘（英语：data mining）是一个跨学科的计算机科学分支。它是用人工智能、机器学习、统计学和数据库的交叉方法在相对较大型的数据集（英语：data set）中发现模式的计算过程。数