整理 | 王启隆
透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。
今天是 2023 年 7 月 12 日，在 1854 年的今天，伊士曼柯达公司的创始人、胶卷的发明者乔治·伊斯曼（George Eastman ）出生；从一开始，伊士曼就很注重公司的科研工作，为此，他不惜重金招聘许多第一流人才，鼓励他们去探索、研制新产品。柯达公司的研究发展预算名列美国企业界的前列，每天投资额高达 150 万美元，仅总公司就雇用了约 2000 名工程师和科学家从事各种研究工作。回顾科技历史上的 7 月 12 日，这一天还发生过哪些关键事件呢？
1926 年 7 月 12 日：分布式系统领域先驱 Carl Petri 出生
图源：维基百科
合照中央为 Petri
卡尔·亚当·佩特里（Carl Adam Petri）出生于 1926 年 7 月 12 日，他是德国的数学家、信息学家。佩特里 1926 年出生于德国莱比锡，1950 年开始在德国汉诺威学习数学。1956 年完成理学硕士学位后承建在汉诺威和波恩做过一阵助教。1962 年到达姆施塔特工业大学攻读自然科学博士学位。1963 年到 1968 年间他领导波恩大学计算中心，1968 年到 1991 年是数学和数据处理公司信息系统研究中心的主任。1988 年被汉堡大学授予荣誉教授。1993 年，他因其在信息学方面的特殊贡献被授予 Konrad-Zuse 奖章。
佩特里最著名的理论是佩特里网络（Petri Net）；佩特里网又译为裴氏网、派翠网络，是对离散并行系统的数学表示。佩特里网络属于离散事件动态系统，是 1960 年代由卡尔·佩特里发明的。佩特里网络适合于描述异步的、并发的计算机系统模型。佩特里网络既有严格的数学表述方式，也有直观的图形表达方式。由于佩特里网络能表达并发的事件，被认为是自动化理论的一种。研究领域趋向认为佩特里网络是所有流程定义语言之母。
1950 年 7 月 12 日：世界上第一台商用数字计算机 Z4 诞生
图源：维基百科
Z4 是由早期计算机科学家康拉德·楚泽（Konrad Zuse）的公司 Zuse Apparatebau 为 Henschel & Son 于 1942 年下订单而设计和制造的；虽然只是在柏林部分组装，然后在哥廷根完成，并没有在 1945 年纳粹德国的战败中交付。Z4 是 Zuse 设计 Z3 的最终目标，与早期的 Z2 一样，它有机械记忆和机电逻辑，所以不是真正的电子计算机。在 5 月 12 日的专栏中，我们介绍了 Z4 的前身 Z3 计算机的诞生；而在 6 月 22 日的专栏中，则介绍了楚泽这位生不逢时的计算机之父，以及他发明了第一台计算机之后所引起的争议。虽然楚泽因为历史的原因没有成为公认的计算机之父，但是，他留下来的 Z4 计算机却成为了公认的第一台商用数字计算机。
Z4 的设计与 Z3 非常相似，但在许多方面都得到了显着增强。其存储器由 32 位而非 22 位浮点组成。程序构建单元 ( Planfertigungsteil ) 对程序磁带进行打孔，通过使用符号操作和存储单元，使机器的编程和纠正程序变得更加容易。即使 Z4 的内部工作是二进制的，但其数字也被输入和输出为十进制浮点数。
1944 年，楚泽开始研究 Z4，并将他的公司改名为 Zuse KG（Kommanditgesellschaft，即有限合伙企业），计划生产 300 台计算机。通过该手段，他被允许要求额外的工作人员和科学家作为应急战斗机计划的承包商。不久之后，德军战败，为了防止 Z4 落入苏联人手中，Z4 于 1945 年 2 月从柏林撤离并运往哥廷根。而 Z4 最终则是在哥廷根由 Albert Betz 领导的 Aerodynamische Versuchsanstalt（AVA，空气动力学研究所）的设施中完成。但是当它被提交给 AVA 的科学家时，却又误入了战区之中，所以计算机又被德国国防军的卡车运送到巴伐利亚州南部巴特欣德朗的 Hinterstein。
战后，Z4 成为了德国境内唯一可以工作的数字计算机，也是世界上第一台商用数字计算机，比 Ferranti Mark 1 和 UNIVAC I 计算机分别领先 5 个月和 10 个月；1955 年，Z4 被出售给位于巴塞尔附近的圣路易的法德圣路易研究所（Institut franco-allemand de recherches de Saint-Louis），并于 1960 年转移到慕尼黑的德国博物馆。
1983 年 7 月 12 日：Wacom 成立
图源：维基百科
Wacom 是日本一家生产数码绘图板的公司，专门从事绘图板及相关产品的生产。公司名称“Wacom”的含义是通过将英文名称 WORLD COMPUTER 更改为“WA”而衍生的，在日语中意为“和谐”。该名称旨在表达实现人与计算机之间和谐的目标。如今，Wacom 也指其生产的专门为艺术家、设计工作者设计制造的数位板产品，目前市占率较同类型绘图板为高。该公司同时也生产用于平板电脑和电子书的触控笔，例如 E Ink 公司的显示器就有对 Wacom 电磁笔的内置模块。
1983 年 7 月，村上东在埼玉县上尾市成立 Wacom；1985 年 6 月，Wacom 总部迁往埼玉县北葛饰郡鹫宫町（今久喜市）。1993 年 1 月，Wacom 总部迁往埼玉县北埼玉郡大利根町（今加须市）。2003 年 4 月，和冠股票在 JASDAQ 上市。2005 年 12 月，Wacom 股票在东京证券交易所第一部上市。2006 年 12 月，Wacom 股票停止在 JASDAQ 上市。
2018 年 7 月 12 日：吉多·范罗苏姆宣布不再担任 Python 社区的 BDFL
图源：维基百科
BDFL（Benevolent Dictator For Life，终身仁慈独裁者），是极少数开源软件开发者所拥有的头衔，常是某一项目的创始人，在该项目社区出现争议时拥有最终的决定权。大家比较熟悉的曾经拥有 BDFL 头衔的开发者包括：Linux 内核设计者林纳斯·托瓦兹、Perl 设计者拉里·沃尔、Scala 设计者马丁·奥德斯基、Ruby 设计者松本行弘、LLVM 设计者克里斯·拉特纳等。
2018 年，Python 之父吉多因为“创始并发展了Python语言，并长期领导Python社区”，被收录进计算机历史博物馆荣誉墙。同年 7 月 12 日，吉多卸任 BDFL，随后 Python 开发者选出了五人组指导委员会监督 Python 的未来发展（其中包括吉多及另外四位核心开发者）。再后来，他退出了 2020 年度掌控委员会选举提名，并于 2019 年 10 月 29 日宣布从 Dropbox 退休。不过，2020 年 11 月 12 日，现年 64 岁的吉多·范罗苏姆又决定再度复出，他在 Twitter 上表示，觉得退休太无聊了，所以已经加入了微软开发部门。大龄程序员的去向是社区的热门话题，只要技术不断地更新和发展，这个话题便永无止境，你认为程序员退休之后都可以做些什么呢？欢迎在评论区展开讨论。
【欢迎投稿】以史为镜，可以知兴替。计算机科学发展至今，有许多至关重要的事件、人物，欢迎所有朋友一起共建「历史上的今天」，投稿邮箱：tangxy@csdn.net 。
推荐阅读：
▶揭秘OpenCloudOS：全链路云原生操作系统技术布局与规划
▶开源商业化，走出“射手假说”迷雾
▶Apple Store 在微信小程序上线；谷歌自研芯片秘辛首次曝光；黑客要价 10 万美元出售雷蛇源码等数据 | 极客头条
