科技的成就（二十五）

189、新研究方向模型检测诞生
1981 年 5 月，新研究方向模型检测诞生。克拉克和爱默生发表经典论文“Design and Synthesis of Synchronization Skeletons Using Branching-Time TemporalLogic”，开创模型检测研究新方向。模型检测（model checking）是一种自动验证技术。

190、GM 密码系统诞生
1982 年 5 月，GM 密码系统诞生。戈德瓦塞尔和米卡利发表经典论文“Probabilistic Encryption & How To Play Mental Poker Keeping Secret All Partial Information”，提出 GM 密码系统（Goldwasser-Micali）。

191、图灵提交划时代论文
1936 年 5 月 28 日，图灵提交划时代论文。图灵在《论可计算数及其在判定问题上的应用》中阐述了图灵机的概念。图灵机属于思想实验，体现了现代计算机的所有逻辑功能。这台“机器”由无限长的纸带、读写头、控制器和寄存器组成。

192、深度学习经典论文发表
2015 年 5 月，深度学习经典论文发表。杨立昆、约书亚·本吉奥和杰弗里·辛顿在《自然》杂志上发表了深度学习领域综述性经典论文“Deep Learning”，总结了深度学习为人工智能领域各个方向带来的重大变革，展望了深度学习的未来发展。

193、IBM 801 计划基本完成
1980 年，IBM 801 计划基本完成。IBM 801 是 IBM 设计的实验性小型计算机，由约翰·科克主持开发，是第一个真正使用 RISC 理念来设计的系统。CISC 和 RISC 是相对而言的，CISC 可以实现很复杂的指令，但可能存在设计复杂、高延迟、高功耗等问题。

194、微服务一词首次出现
2011 年 5 月，微服务一词首次出现。在威尼斯附近举行的软件架构师研讨会上，与会人员使用了 “微服务”（microservice）一词来描述当时大家正在探索的一种架构风格。微服务以专注于单一责任与功能的小型功能区块为基础，利用模块化的方式组合出复杂的大型应用程序。

195、Napster 发布
1999 年 6 月 1 日，Napster 发布。Napster 是一款音频文件下载网站，以点对点共享服务为特色，持有与请求文件的用户可直接通过网站传输共享文件。Napster 由肖恩·范宁和西恩·帕克创立，由于版权问题收到唱片公司的大量诉讼，最后以被收购告终。

196、新的编程语言 Swift
2014 年 6 月 2 日，苹果在 WWDC 上发布了新的编程语言 Swift。Swift 由克里斯·拉特纳在苹果内部主持开发，历时 4 年。它是一种支持多编程范式的可编译语言，其设计简单、高效、安全，用来开发 macOS/OS X、iOS、watchOS 和 tvOS。
 

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