科技的成就（六十）

559、汉明码
1950 年 4 月，著名的纠错码汉明码诞生。理查德·汉明发布论文“Error Detecting and Error Correcting Codes”，提出汉明码。汉明码是一种线性纠错码，用于检测转移数据时发生的错误并予以修正，最多可以检测到 2 位错误或纠正 1 位错误。

560、世界读书日
今天是世界读书日。1564 年的这一天，全世界最卓越的文学家之一莎士比亚出生；1616 年的这一天，莎士比亚与西班牙最伟大的作家塞万提斯辞世。还有其他一些伟大作家的生卒也在这一天，如诺贝尔文学奖得主拉克斯内斯、俄国作家纳博科夫。

561、DRAM
罗伯特?登纳德提出 使用单个晶体管中电容器的带电正负记录数据，并通过反复充电实现数据的动态刷新的概念。这一概念成为日后 DRAM 内存的基础。该技术在 1970 年投入商用后以其低成本、低功耗、结构简单的优势使磁芯内存迅速过时，推动了信息电信技术的快速进步。

562、NP 完备领域开山论文发表
1971 年 5 月，NP 完备领域开山论文发表。史蒂芬·库克在自己的博士论文“The Complexity of Theorem Proving Procedures”中定义了 NP 完备问题并提出了库克定理，奠定了 NP 完备的理论基础，开启了该领域的快速发展。

563、NP完全问题
NP完全问题(NP-C问题)，是世界七大数学难题之一。 NP的英文全称是Non-deterministic Polynomial的问题，即多项式复杂程度的非确定性问题。简单的写法是 NP=P？，问题就在这个问号上，到底是NP等于P，还是NP不等于P。

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

565、微软发布 Visual Basic 1.0
1991 年 5 月 20 日，微软发布 Visual Basic 1.0。Visual Basic 最初由阿兰·库珀设计，主要开发工作由微软内部团队实现，是第一个可视编程软件。它源于编程语言 BASIC，拥有图形用户界面和快速应用程序开发系统。

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

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