东尼·霍尔

✍ dations ◷ 2025-11-10 08:05:57 #东尼·霍尔

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

相关

线虫线虫动物门（学名：Nematoda）是动物界中最大的门之一，为假体腔动物，绝大多数体小呈圆柱形，又称圆虫（roundworms）。线虫的物种很不容易区分，有相关描述的已超过二万五千种，其中超过一半是
联合国妇女署联合国妇女署（英语：UN Women），全称联合国促进两性平等和妇女赋权实体（英语：United Nations Entity for Gender Equality and the Empowerment of Women），简称妇女署，是联合国的一个下
白髓白髓，亦作白脾髓，是脾脏的一部分，与红脾髓一起构成脾脏的主要部分。白脾髓由马耳皮基氏脾小结及马耳皮基氏小体等腺体组织构成，外貌呈球型，包裹着小动脉。它的主要功能则为对抗外
脊髓性肌萎缩症脊髓性肌肉萎缩症（英语：Spinal muscular atrophy，简写为SMA），是一种遗传性神经疾病。它会造成运动神经元退化、肌肉萎缩，肌肉无力，最终造成死亡。控制肌肉的运动神经里的某种蛋白质
马克斯·佩鲁茨马克斯·费迪南德·佩鲁茨，OM（德语：Max Ferdinand Perutz，1914年5月19日－2002年2月6日），奥地利-英国分子生物学家，1962年获诺贝尔化学奖。1901年：范托夫 | 1902年：费歇尔 | 1903年：阿伦
体香剂体香剂是一类作用在人体皮肤上的物质，来减低因排汗而产生的体味。出汗之所以有异味是因为汗液中包含了人体中分泌的水、氨基酸、脂质等物质，细菌在汗液的环境下极易繁殖，并分解
生物转化作用生物转化作用（biotransformation）是指药物在发挥药效后要排出体外时，所产生的结构改变。毒性化学物质若是水溶性物质，则可由肾脏排出。若为脂溶性物质，则需要经过代谢过程后才能
梦遗遗精或梦遗是指在睡眠中自发的性高潮其中包括男性射精、女性阴道湿润或不高潮（或两者皆有），男性遗精亦有可能在一天中任何时间发生。在青春期和青壮年中最常见，但它可能发生在青
Moclobemide吗氯贝胺（商品名也作Amira、Aurorix、Clobemix、Depnil或Manerix）是主要用于治疗抑郁症和社交焦虑的单胺氧化酶A（RIMA）药物的可逆抑制剂。它在美国不被允许使用，但在其它西方国家
苏东坡苏轼（1037年1月8日－1101年8月24日），眉州眉山（今四川省眉山市）人，北宋时著名的文学家、政治家、艺术家、医学家。字子瞻，一字和仲，号东坡居士、铁冠道人。嘉佑二年进士，累官至端明殿学