📌 📄 内容摘要:
@403F 在 东尼·霍尔(图灵奖得主、快速排序发明者)逝世 中发帖
英国计算机科学家、1980 年图灵奖得主 Tony Hoare（C. A. R. Hoare） 于 2026 年 3 月 5 日去世，享年 92 岁。他是现代计算机科学的重要奠基者之一，对算法、程序语言与软件可靠性研究产生了深远影响。
Hoare 最广为人知的贡献是 快速排序（Quicksort）算法，他在 1960 年提出该算法，如今仍是最常用、最经典的排序方法之一。 此外，他还提出了 Hoare 逻辑，为证明程序正确性提供了公理化方法，并创建了 通信顺序进程（CSP） 模型，用于描述并发系统中各进程之间的交互。
由于对编程语言设计和理论计算机科学的基础性贡献，他于 1980 年获得图灵奖。此后还获得京都奖、冯·诺依曼奖等多项国际荣誉，并于 2000 年被英国女王授予爵士称号。
信源
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/1723106/1
─────────────────────────────
📢 来源：LINUX DO
