科技的成就（三十五）

269、Pascal
"1968 年 9 月，维尔特开始设计 Pascal。Pascal 于 1970 年 1 月首次发布，基于 ALGOL 开发，是面向对象和面向过程的编程语言。设计初衷是充分利用结构化编程和数据结构，从而提升编程效率。Pascal 的命名是为了纪念法国数学家 Blaise Pascal。"

270、UTF-8 诞生
"1992 年 9 月 2 日，初始版本的 UTF-8 诞生。UTF-8（8 位 Unicode 转换格式）是一种可变宽度的字符编码方案，支持国际化，向后兼容 ASCII 码。这种编码由 Unicode标准定义，最初由贝尔实验室的肯·汤普森和罗伯·派克设 计，X/Open 和 IBM 等推动了 UTF-8 的标准化和普及。"

271、贝尔曼提出贝尔曼方程
"1953 年 9 月 3 日，贝尔曼提出贝尔曼方程。贝尔曼方程，又叫动态规划方程，以提出者理查德·贝尔曼命名，是表示动态规划问题中相邻状态关系的方程。和分治法一样，动态规划解决复杂问题的思路也是对问题进行分解，通过求解小规模的子问题再反推出原问题的结果。"

272、WPS v1.0 版发布
"1989 年 9 月，WPS v1.0 版发布。WPS 文字处理系统是最早的汉字处理软件之一，文字底层编码采用 GB2312，集文字编辑、排版、打印功能于一体，由香港金山电脑有限公司与北京大学新技术有限公司合作开发，作者为求伯君和李明。"

273、乔姆斯基提出生成文法
20 世纪 50 年代，乔姆斯基提出生成文法。生成文法是一种语言学理论，它把语言学看作对一种假设的先天文法结构的研究。所谓“生成”，是说文法是一个规则系统，它能准确地生成那些在特定语言中构成文法句子的词的组合。他认为，语言的生成早已植根于人的先天能力。

274、哥德尔提出不完备性定理
"1930 年 9 月 7 日，哥德尔提出不完备性定理。希尔伯特想要为所有的数学提供一个形式化公理理论，它能够机械地检查证明是否正确，推理是否遵循所有的规则。而哥德尔证明这是不可能的：永远不可能发现这样的机械通用语言，通过它，我们能够证明所有的数学真理。"

275、第一个 bug
1947 年 9 月 9 日，霍普及其团队发现了第一个 bug。当天团队所在的马克二号计算机突然无法正常工作，发现是一只飞蛾意外飞入机器内部引发了故障。霍普在计算机的日志本上记录了这一事件。此后，人们开始用 bug（原意“虫子”）来称呼计算机中的隐藏错误。

276、《超级马里奥兄弟》
"1985 年 9 月 13 日，任天堂发行《超级马里奥兄弟》。《超级马里奥兄弟》是任天堂超级马里奥系列的首款红白机游戏。玩家通过控制水管工马里奥，完成在蘑菇王国拯救公主的冒险故事。《超级马里奥兄弟》卖出了 4000 多万份，为红白机的初步成功打下了牢固的基础。"
 

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