东尼·霍尔

✍ dations ◷ 2024-09-20 06:23:54 #东尼·霍尔

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

相关

舌部舌部，为汉字索引中的部首之一，康熙字典214个部首中的第一百三十五个（六划的则为第十八个）。就繁体和简体中文中，舌部归于六划部首。舌部只以左、下方为部字。且无其他部首可用者
美国食品和药物管理局美国食品药品监督管理局（英语：U.S. Food and Drug Administration，缩写为FDA）为美国卫生与公众服务部直辖的联邦政府机构，其主要职能为负责对美国国内生产及进口的食品、膳食补充
好奇号2012年8月5日, 05:17 UTC SCET（英语：Spacecraft Event Time） MSD 49269 05:50好奇号（英语：Curiosity）是一辆美国宇航局火星科学实验室辖下的火星探测器，主要任务是探索火星的盖尔
獴獴科（学名：Herpestidae），哺乳纲食肉目的一科，外形较像猫，有猫鼬的别称。包括獴亚科及缟獴亚科两个亚科。以下几属过去归为獴科，现在被分入食蚁狸科（Eupleridae）：
费米恩里科·费米（意大利语：Enrico Fermi；1901年9月29日－1954年11月28日），美籍意大利裔物理学家，美国芝加哥大学物理学教授。他对量子力学、核物理、粒子物理以及统计力学都做出了杰出
水晶石英（英语：quartz）是大陆地壳数量第二多的矿石，仅次于长石，其晶体结构是SiO4(硅-氧四面体)的连续框架，其中每个氧在两个四面体之间共享，得到SiO2的总化学式，石英的种类有很多，无色全
马赫姆得·阿巴斯马哈茂德·阿巴斯（阿拉伯语：محمود عباس‎，Mahmoud Abbas，1935年3月26日－），绰号阿布·马赞（ابو مازن‎，Abu Mazen），巴勒斯坦政治家，现任巴勒斯坦国总统、巴勒斯坦民族权
硅本列表列出各国硅年产量(2016年)，根据美国地质调查局统计资料。
菲克定律菲克定律描述扩散作用，可以使用这条定律来求得扩散系数，D。定律由阿道夫·菲克于1855年推导出来。假设从高浓度区域往低浓度流的通量大小与浓度梯度（空间导数）成正比，通过这个假
西澳大利亚大学西澳大学（英语: University of Western Australia，简称UWA）1911年创校，位于澳大利亚联邦西澳大利亚州的首府珀斯，在澳大利亚被归为6所砂岩学府（Sandstone universities）之一。西澳