科技的成就（二十四）

181、可编程机电计算机 Z3 诞生
1941 年 5 月 12 日，第一台可编程机电计算机 Z3 诞生。Z3 由康拉德·楚泽发明，是世界上第一台自动控制的可编程、二进制电动机械式计算机，用于解决工程学问题。Z3 由 2600 个继电器组成，实现了 22 位字长，时钟频率约为 4~5 Hz，程序代码存储在打孔胶片上。

182、21 个 NP 完备问题
1972 年，理查德·卡普提出 21 个 NP 完备问题。卡普在知名论文“Reducibility Among Combinatorial Problems”中证明了分割难题、旅行推销员、哈密顿回路、地图填色等 21 个难题均为 NP 完备问题。卡普的研究直接推动了 P/NP 问题成为计算机领域的研究焦点。

183、Mozilla 发布 Rust 1.0
2015 年 5 月 15 日，Mozilla 发布 Rust 1.0。Rust 是通用的编译型编程语言，设计准则为“安全、并发、实用”，支持函数式、并发式、过程式以及面向对象编程。Rust 目前发展势头不错，已经连续五年成为 Stack Overflow 最受欢迎的编程语言。

184、蒙特卡洛方法
1946 年，乌拉姆等提出蒙特卡洛方法。蒙特卡洛方法是一种算法，开始用于计算不规则图形的面积，进而扩展到所有使用随机数的计算模拟，成为很多难题简单易行的解决方案。蒙特卡洛方法诞生于 20 世纪 40 年代的曼哈顿计划，由乌拉姆、冯·诺伊曼等发明。

185、Smalltalk 原型
1972 年，艾伦·凯提出了 Smalltalk 原型。Smalltalk 是一种面向对象的、动态类型的编程语言，由艾伦·凯、丹·英戈尔斯等于 20 世纪 70 年代初在 PARC 开发。Smalltalk 做了很多开创性工作，比如第一个提供集成开发环境，第一个提供自动化重构工具。

186、中国首家互联网公司成立
1995 年 5 月 19 日，中国首家互联网公司成立。张树新创办的“北京瀛海威科技有限责任公司”被认为是中国首家互联网公司，在中国接入国际互联网一年多的时间就创办了，运营模式类似美国在线，网站包括 BBS、聊天室、电子报纸等服务。

187、Simula 67 发布
1967 年 5 月，Simula 67 发布。最初的 Simula 版本是 Simula I，于 1962 年发布，分别由达尔和尼高设计与实现，一开始就是为模拟环境而开发的。之后的Simula 67 引入对象、类、继承等概念，成为第一种面向对象程序设计语言。C++、Java 等均受 Simula 67 的重大影响。

188、“千禧年七大难题”公布
2000 年 5 月 24 日，“千禧年七大难题”公布。“千禧年七大难题”集结了七道重要而多年悬而未决的难题，由克雷数学研究所公布并悬赏。解答其中任何一道题的第一个人将获得 100 万美元奖金，条件是题解必须发表在国际知名出版物上，并通过两年验证期和专家小组审核。
 

记录前辈的功绩与成就，激励我们不断前行！