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 •
   298   299   300   301   302   303   304   305   306   307   308