整理 | 王启隆

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

今天是 2023 年 1 月 5 日，在 2003 年的今天，“神舟”四号飞船在完成预定空间科学和技术试验任务后，在内蒙古中部地区准确着陆。至此，我国载人航天工程第四次飞行试验获得圆满成功，载人航天工程技术日臻成熟，为最终实现载人飞行奠定了坚实基础。回顾科技历史，1 月 5 日诞生了许多关键事件，对我们的计算机发展进程产生了许多影响。

1909 年 1 月 5 日：递归理论和正则表达式的发明人 Stephen Kleene 诞生

图源：维基百科

斯蒂芬·科尔·克莱因（Stephen Cole Kleene）出生于 1909 年 1 月 5 日，是一名美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究奠定了理论计算机科学的基础。克莱因为数学直觉主义的基础作出了重要贡献，克莱因层次结构、克莱因代数、克莱因星号（克莱尼闭包）、克莱因递归定理和克莱因不动点定理数学概念以他的名字命名。他也是正则表达式的发明者。

克莱因出生于美国康涅狄克州，他的父亲古斯塔夫·克莱因（Gustav Adolph Kleene）是一位经济学教授，母亲艾丽丝·科尔（Alice Lena Cole）是一位诗人。克莱因于 1930 年在阿默斯特学院获得学士学位，于 1934 年在普林斯顿大学获得数学博士学位，他的博士论文题目为“形式逻辑中的正整数理论”。

1935 年，克莱因加入了威斯康辛大学麦迪逊分校数学系，在那里度过了他几乎所有的职业生涯。在担任导师两年后，他于 1937 年被任命为助理教授。1939 年至 1940 年间，他担任普林斯顿高等研究所的访问学者，期间他为递归理论奠定了基础，而这个研究领域也成为了他一生的研究兴趣。

1941 年，他回到了阿默斯特学院并在那任职了一年的数学副教授。二战爆发后，克莱因担任美国海军少校，成为了华盛顿海军研究实验室的专案主任。他于 1962 年到 1963 年担任数学与计算机科学系主任，并于 1979 年从威斯康辛大学退休。1999 年，威斯康辛大学的数学图书馆因他的荣誉而更名为克莱因图书馆。

资料来源：维基百科

图源：维基百科

1962 年 1 月 5 日，历史上第一次有人在书面形式上提到 Simula 这个词汇。Simula 是一种编译式的编程语言，在 1960 年代在奥斯陆的挪威计算中心开始被发展出来，主要的设计者是奥利-约翰·达尔（Ole-John Dahl）与克利斯登·奈加特（Kristen Nygaard）。它继承了 ALGOL 60 的基础，将数据和指令分组成称为对象的块，每个块代表用于模拟的系统的一个方面，被认为是世界上第一个面向对象编程的编程语言。

克利斯登·奈加特于 1957 年开始编写计算机模拟程序，他认为需要一种更好的方法来描述系统的异质性和操作。为了进一步实现他的想法，奈加特意识到他需要一个比他拥有更多计算机编程技能的人。1962 年 1 月 5 日，奈加特在论文中提到“Simula”这个词汇来更好地描述自己的概念，随即奥利-约翰·达尔便加入了他的工作。不久之后，他们两人就决定将 Simula 语言与 ALGOL 60 联系起来；直到 1962 年 5 月，Simula 语言的主要概念已经确定，一种用于模拟离散事件系统的专用编程语言就此诞生。

资料来源：维基百科

Microsoft Bob 是微软的辅助软件产品，旨在为 Windows 3.1x、Windows 95 和 Windows NT 操作系统提供更加用户友好的界面，以取代 Windows 程序管理器。Microsoft Bob 于 1995 年 1 月 5 日首次面世，在 1995 年 3 月 11 日发布，并于 1996 年初停止使用。一经发布，Microsoft Bob 就受到媒体的批评，并没有得到用户的广泛认可，导致其停产。

图源：维基百科

Microsoft Bob 由一只名叫罗孚的卡通狗和其他卡通人物使用语音气球提供指导，其主界面被描绘成一个房子的内部，不同的房间对应于常见的现实世界房间风格，如厨房或家庭房间。每个房间都包含装饰品和家具，以及代表应用程序的图标。Bob 为用户提供了完全定制整个房子的选项，用户可以完全控制装饰每个房间，并且可以添加、删除或重新定位所有对象。用户还可以在房屋中添加或移除房间并更改每扇门的目的地。Bob 还为房间设计和装饰提供多种主题，例如现代和后现代。

Bob 内置的应用程序由匹配的装饰物表示——例如，点击时钟打开日历，而笔和纸代表文字处理器。用户还可以向其计算机上的应用程序添加快捷方式。这些快捷方式在各种样式的装饰（例如框和相框）中显示图标。Bob 包括安装新应用程序的能力，但由于产品设计的失败，所以事实上只发布了一个附加应用程序包 Microsoft Great Greetings。