Page 303 - 信息的脉络
P. 303
·附录:群星闪耀的年代·
APL 语言是一种表达能力很强的会话语言。应用范围包括数学统计、事务经营、
信息检索、报表生成、财务预算等。它也可用于模拟计划管理、图形处理、正文编辑、
计算机辅助教学等方面。
15. 东尼·霍尔(C. Antony R. Hoare)
贡献领域:程序设计语言的定义与设计。
获奖年份:1980 年。
他设计出了快速排序算法、霍尔逻辑。
快速排序算法,经典的排序算法,是对冒泡排序的一种改进。
霍尔逻辑,是东尼·霍尔开发的形式系统,这个系统的用途是为了使用严格
的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
16. 埃德加·科德(Edgar F. Codd)
贡献领域:数据库系统,尤其是关系型数据库。
获奖年份:1981 年。
在 IBM 工作期间,首创了关系模型理论。他一生中为计算机科学作出了很多
有价值的贡献,而关系模型,作为一个在数据库管理方面非常具有影响力的基础
理论,仍然被认为是他最引人注目的成就。
17. 史提芬·古克(Stephen A. Cook)
贡献领域:计算复杂度。
获奖年份:1982 年。
因其在计算复杂性理论方面的贡献,尤其是在奠定 NP 完全性理论基础上的突
出贡献而荣获 1982 年度的图灵奖。他整理了 NP 完备性的目标,亦产生了古克定
理——布尔可满足性问题是 NP 完备的证明。因为其论文开启了 NP 完备性的研究,
令这个范畴于之后的十年成为计算机科学中最活跃和重要的研究。
18. 肯·汤普森(Ken Thompson)
丹尼斯·里奇(Dennis M. Ritchie)
贡献领域:UN Ⅸ操作系统和 C 语言
获奖年份:1983 年。
肯·汤普森与丹尼斯·里奇设计了 B 语言、C 语言,之后用 C 语言重写了
UNIX,安装于 PDP-11 的机器之上。不仅如此,2006 年,汤普森进入 Google 工作
• 287 •