1981 年 5 月，新研究方向模型检测诞生。克拉克和爱默生发表经典论文“Design and Synthesis of Synchronization Skeletons Using Branching-Time TemporalLogi...

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

1995 年 5 月 23 日，Java 正式发布。Sun 在 SunWorld 95 大会上公开发布了 Java，一种面向对象的编程语言，具有跨平台、泛型编程、函数式编程等特性，由詹姆斯·高斯林任职 Sun 公司期间主导开发。

1980 年 5 月 22 日，《吃豆人》在日本发行。《吃豆人》（パックマン，Pac-Man）是 20 世纪 80 年代风靡全球的迷宫街机游戏，玩家需要控制游戏的主角吃豆人吃掉藏在迷宫内所有的豆子，并且不能被四色鬼魂抓到。

1967 年 5 月，Simula 67 发布。最初的 Simula 版本是 Simula I，于 1962 年发布，分别由达尔和尼高设计与实现，一开始就是为模拟环境而开发的。之后的Simula 67 引入对象、类、继承等概念，成为第一种面...

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

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

2016 年 5 月 18 日，谷歌首次公布 TPU。TPU（Tensor Processing Unit，张量处理器）是谷歌为机器学习定制的人工智能加速器专用集成电路，专为谷歌深度学习框架 TensorFlow 设计。与 GPU 相比，T...

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

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