东尼·霍尔

✍ dations ◷ 2025-11-30 19:30:13 #东尼·霍尔

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

相关

肾病症候群肾病症候群（Nephrotic syndrome、NS、肾病综合征）是一种肾脏功能异常的表现，主要肇因于肾小球对血液过滤的通透性增加，导致诸如蛋白质透过尿液流失、血液的白蛋白浓度过低、身体
德尼亚德尼亚（西班牙语：Dénia），是西班牙巴伦西亚自治区阿利坎特省的一个市镇。总面积66km2，总人口33342人（2001年），人口密度505人/km2。
数据科学数据科学（英语：data science）是一门利用数据学习知识的学科，其目标是通过从数据中提取出有价值的部分来生产数据产品。它结合了诸多领域中的理论和技术，包括应用数学、统计、模式
米兰德斯语米兰德斯语（米兰德斯语：mirandés 或 lhéngua mirandesa）是罗曼语族阿斯图里亚斯-莱昂语支的一种语言，主要在葡萄牙东北部的一些地区使用。目前母语使用人数据估计有5000人。
国际足球联合会国际足球联合会（法语：Fédération Internationale de Football Association；英语：International Federation of Association Football），简称国际足联（FIFA），是管理英式足球、室内五
巴茹·贝纳塞拉夫巴茹·贝纳塞拉夫（Baruj Benacerraf，1920年10月29日－2011年8月2日）是一位委内瑞拉裔美国医学家，他的主要工作领域是免疫学和移植医学。1980年他与乔治·斯内尔和让·多塞一起因“
反堕胎运动反堕胎运动（英语：Anti-abortion movements）倡导通过寻求法律禁令和其他手段来禁止任何形式的堕胎行为。现代反堕胎运动一般是作为反对各国的堕胎非刑事化和选择性堕胎合法化的
郑志明郑志明可以指：
回流回流（英语：Reflux）是一种实验操作，用于液态反应体系。有时反应物或溶剂沸点较低，为了不使物料过快气化而损失，通常在反应容器（常为圆底烧瓶）上方安装冷凝管，这样反应物或溶剂蒸气将遇
王室颂歌颂歌是由英文的anthem翻译过来的，原本是指以英文写成的宗教性文章中的诗歌，后来衍生为有颂扬意思的歌曲，通常做为一群人的团体符号。如national anthem，意思为颂扬国家的歌曲，即