东尼·霍尔

✍ dations ◷ 2025-06-27 20:14:58 #东尼·霍尔

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

相关

数学古希腊人是数学的奠基者，古希腊的数学在数学史中占有头等重要的地位。古希腊人提出了公理化体系、形式逻辑，使用逻辑证明、演绎法，强调量化和系统化，使数学成为一门严密的系统的
人牛怪运载火箭米诺陶运载火箭是美国发展的一系列固态燃料运载火箭，又称为人牛怪运载火箭，源自LGM-30义勇兵导弹以及LGM-118A和平守护者导弹这两种洲际弹道导弹的改良版。经由轨道科学公司所
PLoS ONE《公共科学图书馆：综合》（PLOS ONE，原名PLoS ONE）为一份同行评审的开放获取科学期刊，由公共科学图书馆（Public Library of Science，PLOS）自2006年发行。PLOS ONE为全世界文章刊载数
Pbsub3/subOsub4/sub四氧化三铅，化学式Pb3O4，可视为PbO2·2PbO之复合物，俗称铅丹。常温时为鲜红色粉末。与油类相调和后，涂在铁器上，可防止生锈。制备：由一氧化铅在空气中加热至500℃制得：产物中含有杂
离子注入离子注入是一种将特定离子在电场里加速，然后嵌入到另一固体材料之中的技术手段。使用这个技术可以改变固体材料的物理化学性质，现在已经广泛应用于半导体器件制造和某些材料科
Lobry-de Bruyn-van Ekenstein转化Lobry-de Bruyn-van Ekenstein转化（Lobry-de Bruyn-van Ekenstein transformation）碱催化的醛糖-酮糖异构化反应。此反应用于某些酮糖的工业生产。它的一个典型例子是甘油醛与
龟鳖目曲颈龟亚目 Cryptodira 侧颈龟亚目 Pleurodira龟鳖目（学名：Testudines）是脊索动物门爬行纲的一目，现存14科共341种各类龟、鳖，它们的肋骨进化成特殊的骨制和软骨护盾，称为龟甲。龟
海军舰队指挥部海军舰队指挥部，简称海军舰指部、舰指部，为中华民国海军舰队的最高指挥单位，也是国防部海军司令部所有下辖单位中最重要者，负责所属单位之指挥、管理及战备整备，同时兼任62（或63）特
科威特中华民国与科威特关系是指中华民国与科威特国之间的关系。两国于1963－1971年有官方外交关系，断交后，中华民国于首都科威特市设有具大使馆性质的代表机构。1963年11月21日，两国建
大堡礁坐标：18°21′04.58″S 146°47′58.81″E / 18.3512722°S 146.7996694°E / -18.3512722; 146.7996694大堡礁（英语：Great Barrier Reef），是世界最大最长的珊瑚礁群，位于南太平洋