整理|王启龙
通过“历史上的今天”从过去看未来，也可以从现在改变未来。
今天是2023年7月12日，1854年的今天，伊士曼柯达公司的创始人、胶卷的发明者乔治伊斯曼诞生了。从一开始，伊士曼就非常重视公司的科研工作。为此，他不惜重金招募了许多一流人才，并鼓励他们探索和开发新产品。柯达的研发预算在美国商界名列前茅，每天的投入高达150万美元。仅总公司就雇用了大约2000名工程师和科学家从事各种研究工作。回顾科技史上的7月12日，这一天还发生了哪些关键事件？
1926年7月12日：分布式系统领域的先驱卡尔佩特里诞生了
来源：维基百科
图的中心是Petri。
卡尔卡尔亚当佩特里出生于1926年7月12日。他是德国数学家和信息科学家。佩特里1926年出生于德国莱比锡，1950年开始在德国汉诺威学习数学。1956年完成理学硕士学位后，他在汉诺威和波恩担任助教。1962年赴达姆施塔特工业大学攻读自然科学博士学位。1963年至1968年领导波恩大学计算中心，1968年至1991年任数学与数据处理公司信息系统研究中心主任。1988年，他被汉堡大学授予荣誉教授。1993年，他因对信息学的特殊贡献被授予康拉德-祖塞奖章。
佩特里最著名的理论是Petri网；Petri网，也称为史培网和佩特里网，是离散并行系统的数学表示。Petri网是由卡尔Petri于20世纪60年代发明的一种离散事件动态系统。Petri网适合描述异步和并发计算机系统模型。Petri网既有严格的数学表达，又有直观的图形表达。Petri网被认为是一种自动化理论，因为它可以表达并发事件。研究领域倾向于认为Petri网是所有过程定义语言之母。
来源：维基百科。
1950年7月12日：世界上第一台商用数字计算机Z4诞生。
来源：维基百科
Z4由早期计算机科学家康拉德楚泽的公司Zuse Apparatebau设计和制造，他在1942年为Henschel Son下了订单。虽然它只是在柏林部分组装，然后在哥廷根完成，但在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领导的Aerodynamiche Versuchanstalt(AVA空气动力学研究所)工厂完成。但当它被提交给AVA科学家时，它误进入了战区，所以这台计算机被德国国防军的卡车运到了巴伐利亚南部Bad Hindelang的Hinterstein。
战后，Z4成为德国唯一工作的数字计算机，也是世界上第一台商用数字计算机，分别比Ferranti Mark 1和UNIVAC I计算机领先5个月和10个月。1955年，Z4被出售给巴塞尔附近圣路易斯的圣路易研究所，并于1960年转移到慕尼黑的德国博物馆。
来源：维基百科。
1983年7月12日：Wacom成立。
来源：维基百科
Wacom是一家生产数码画板的日本公司，专业生产画板及相关产品。公司名称“Wacom”的含义是将英文名WORLD COMPUTER改为“WA”而得，在日语中是“和谐”的意思。这个名字旨在表达实现人与计算机和谐相处的目标。现在的Wacom也是指专门为艺术家和设计师设计制造的图形平板产品，目前的市场占有率高于同类画板。该公司还生产用于平板电脑和电子书的触控笔。例如，E Ink的显示器内置了Wacom电磁笔模块。
1983年7月，村上成立Wacom在埼玉县尚维市；1985年6月，Wacom的总部迁至埼玉县北加什县九宫镇(现九溪市)。1993年1月，Wacom总部迁至埼玉县北埼玉县大里根镇(现为Kasu市)。2003年4月，禾冠股份在JASDAQ上市。2005年12月，Wacom股票首次在东京证券交易所上市。2006年12月，Wacom停止在JASDAQ上市。
来源：维基百科。
2023年7月12日：Guido Van Rossum宣布他将不再担任Python社区的BDFL。
来源：维基百科
BDFL(仁慈的终身独裁者)，一个由少数开源软件开发者拥有的头衔，他往往是一个项目的创始人，在项目社区出现争议时拥有最终的决策权。曾经拥有BDFL称号的知名开发者包括：Linux内核设计师linus torvalds、Perl设计师拉里沃尔、Scala设计师Martin Oddsky、Ruby设计师yukihiro matsumoto、LLVM设计师chris lattner等。
2023年，Python之父Guido因“创立和发展Python语言，长期领导Python社区”而被列入计算机历史博物馆荣誉墙。同年7月12日，Guido从BDFL卸任，随后Python开发者选出了一个五人指导委员会，监督Python未来的发展(包括Guido和其他四名核心开发者)。后来，他退出了2023年控制委员会选举的提名，并于2023年10月29日宣布退出Dropbox。然而，2023年11月12日，现年64岁的Guido Van Romsum决定再次回来。他在推特上说，他觉得退休太无聊了，所以他已经加入了微软开发部门。老程序员的去向是一个永恒的话题，只要技术不断更新发展，这个话题就永远不会结束；你觉得程序员年纪大了能干什么？欢迎在评论区讨论。
【欢迎投稿】以史为鉴，可以知兴亡。计算机科学发展至今，出现了很多重要的事件和人物。欢迎各界朋友共同打造“历史上的今天”。投稿邮箱：tangxy@csdn.net。
