【历史上的今天】6 月 5 日：洛夫莱斯和巴贝奇相遇；公钥密码学先驱诞生；函数语言设计先驱出生

整理 | 王启隆

透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。

今天是 2022 年 6 月 5 日，世界环境日。1972 年 6 月 5 日至 16 日，联合国人类环境会议在斯德哥尔摩举行，会上发表了《人类环境言》，并将每年的 6 月 5 日作为“世界环境日”。联合国借助这一天鼓励全球居民提高环保意识和采取环保行动，人类负有保证和改善这一代和世世代代环境的庄严责任。世界环境日的诞生保护了环境的未来，而回顾科技史上的 6 月 5 日，这一天还发生过一起关键事件，决定了我们如今所使用的科技进程。

1833 年 6 月 5 日：艾达会见巴贝奇，两位的相遇为分析机的传播奠定了基础

图源：维基百科

1833 年 6 月 5 日，诗人拜伦的女儿艾达·拜伦，也就是未来的洛夫莱斯伯爵夫人，在英格兰第一次见到了查尔斯·巴贝奇。巴贝奇以在 19 世纪就设计早期的计算机雏形而闻名，他在 1823 年完成了对差分机的设计，并在 1834 年完成了分析机的图纸。尽管巴贝奇因为经济、社会原因、权力斗争和个人性格等种种原因没有完成差分机和分析机的建造，但 1833 年的这次会面让他多了艾达这位年轻的密友和女学生；艾达写下了世界上第一道计算机程序，并发表了关于巴贝奇的工作的描述，打开了计算机历史的第一个篇章。

艾达比巴贝奇本人更清晰地意识到了分析机不仅是一台处理数的机器，而是一台处理信息的机器：分析机与单纯的“计算机器”并无共同基础，它有自己的一席之地……我们或许可以恰如其分地说，分析机织出代数的图案，正如雅卡尔提花机织出花朵和叶子。

——《信息简史》，詹姆斯·格雷克著

1833 年，17 岁的艾达在一次聚会上遇到了查尔斯·巴贝奇。查尔斯是银行家本杰明·巴贝奇和伊丽莎白·蒂普所生的四个孩子之一，他在 1816 便加入了皇家学会，并于 1828 年至 1839 年在剑桥大学担任卢卡斯数学主席。所以，我们可以很轻松地想到，这是一个贵族之间的聚会。这一年，英国还未步入维多利亚时期，科学不是一个既定的职业，巴贝奇和他同时代的许多人一样，是一个“绅士科学家”——也就是一个独立富有的业余爱好者，能够以自己的方式支持自己的兴趣。1813 年至 1868 年间，他发表了六本长篇著作和近九十篇论文，是一位多产的发明家、数学家、科学家、科学机构的改革批评家和政治经济学家。

让我们回到 1833 年这场命运般的聚会，在聚会上，当巴贝奇向她展示发动机的小型工作部分时，艾达·拜伦被迷住了。这位贵族少女首次发现了机械的魅力，中断了自己的婚姻安排和数学研究。1843 年，她出版了意大利工程师 Luigi Menabrea 的一篇关于分析引擎的文章的法文译本，艾达在其中添加了她自己的大量注释；注释包括第一个公布的关于解决某些数学问题的逐步操作序列的描述。艾达常被后世称为世界上的“第一个程序员”，她与巴贝奇的合作非常密切，因此许多传记作者在这百年间一直争论艾达贡献的程度和独创性。但毋庸置疑的是，这两个人的努力，为计算机浪潮的推进做出了最初的、不可磨灭的一次贡献。

资料来源：维基百科、《信息简史》

1930 年 6 月 5 日：函数语言设计先驱 Peter Landin 出生

图源：维基百科 Peter Landin（右）与 Robin Milner、Tony Hoare 和Joe Stoy

彼得·约翰·兰丁（Peter John Landin）出生于 1930 年 6 月 5 日，他是英国的一名计算机科学家，最早提出阿隆佐·邱奇的λ演算可以被用作电脑程式语言的模型，而这后来成为了函数语言程式设计和指称语义的基础。兰丁最重要的论文之一《The next 700 programming languages》对后世的程序语言研究影响深远，他之所以选择“700”这个数字，据说是因为兰丁在《ACM 期刊》上读到一篇文章说当时世界上已经存在过 700 种程序语言。

兰丁在英格兰的谢菲尔德长大，中学时代就读于爱德华七世学校，大学时从剑桥大学克莱尔学院毕业。在 1960 年到 1964 年间，他成为了克里斯托弗·斯特雷奇的助手，当时斯特雷奇在伦敦担任一名独立电脑顾问。兰丁的大部分成果均发表于这段时期，以及后来在美国麻省理工学院参与 UNIVAC 工作的短暂时期。1965 年之后，兰丁在伦敦玛丽王后大学找到了一份教职工作。70 年代到 80 年代，他的主要精力投入了伦敦玛丽王后大学电脑科学部的创设、课程设定和教学。在他退休之后，他获得了伦敦玛丽王后大学的理论计算学荣誉教授称号。2012 年，伦敦玛丽王后大学的电脑科学大楼便是以他的名字命名。

2001 年，在伦敦科学博物馆的一个关于程序语言形式语义学的会议上（本文配图便来自该会议），兰丁回顾了自己的学术生涯。

他的电脑科学研究始于 20 世纪 50 年代，当时他极大地受到了约翰·麦卡锡的 LISP 语言的影响，而他自己使用得最多的程式语言则是 Fortran。60 年代，兰丁在 ALGOL 程式语言的标准化制定中起到了推动作用；图灵奖获得者托尼·霍尔称他是教会了自己 ALGOL 60 语言的人之一。1964 年，兰丁提出了闭包的概念。这一概念后来被 Scheme 语言实现，并逐渐成为了函数语言程式设计中的重要概念。兰丁还设计了 SECD 抽象机，这是第一个被确切定义的抽象过程虚拟机器；在 SECD 抽象机的基础上他又设计了 ISWIM 语言，定义了他的越位规则理论，并第一次提出了语法糖的概念。

资料来源：维基百科

1944 年 6 月 5 日：公钥密码学的先驱 Bailey Diffie 出生

图源：维基百科

贝利·惠特菲尔德·迪菲（Bailey Whitfield Diffie）出生于 1944 年 6 月 5 日，他小名怀特·迪菲（Whit Diffie），是美国华盛顿哥伦比亚特区人。迪菲是一名密码学者，对公开密钥加密技术有重大贡献；他曾提出迪菲-赫尔曼密钥交换，并因此获得 2015 年图灵奖。其父贝利·威利·迪菲是一名历史学家，专长于伊比利亚人与拉丁美洲历史，任教于纽约市立学院。其母亲贾斯汀·路易丝·惠特菲尔德也是一名学者。

迪菲在华盛顿特区出生，在纽约市长大，从 10 岁开始就对密码学有兴趣。大学进入麻省理工学院，主修数学，1965 年取得理学士学位。之后至斯坦福大学念研究所。1992 年获得瑞士苏黎世联邦理工学院颁发的荣礜博士学位。1975 年至 1976 年间，迪菲与马丁·赫尔曼共同研究加密机制。在 1976 年，两人共同发表论文《密码学的新方向》（New Directions in Cryptography），他们在此论文中提到的加密方式，也就是后来的迪菲－赫尔曼密钥交换（Diffie–Hellman key exchange）协议。

【欢迎投稿】以史为镜，可以知兴替。计算机科学发展至今，有许多至关重要的事件、人物，欢迎所有朋友一起共建「历史上的今天」，投稿邮箱：[email protected] 。