文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。2023：一周速览，27
一周速览为每周日晚固定栏目，将会回顾本周的热点事件。
中国女篮时隔12年再夺亚洲杯冠军！！！
本周发布回顾
- 27场中超不败金身被迫，雄起成都队！
- 图灵奖：肯尼斯·艾佛森（1979）
- 突发：歌手李玟轻生离世
- 尬聊：快递到了都不用通知了？
- 足球：成都蓉城两连败
- 荐歌：想你的365天（李玟）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。荐歌：想你的365天（李玟）
周末好！
周三，突发，歌手李玟轻生离世。据传是因为抑郁症。
唉。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 17 期。图灵奖：肯尼斯·艾佛森（1979）
本文来自 wiki:Kenneth E. Iverson，翻译基于 谷歌翻译.
肯尼思·尤金·艾弗森（Kenneth Eugene Iverson，1920 年 12 月 17 日—— 2004 年 10 月 19 日），加拿大计算机科学家，因开发编程语言 APL 而闻名。
他于 1979 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。2023：一周速览，26
一周速览为每周日晚固定栏目，将会回顾本周的热点事件。
中国女篮时隔12年再夺亚洲杯冠军！！！
本周发布回顾
- 图说：2023 各省高考本科录取分数线
- 图灵奖：罗伯特·弗洛伊德（1978）
- 尬聊：看了香港明星队的球赛
- 尬聊：记录，成都蓉城队中超跨赛季连续27场不败
- 荐歌：一生何求（陈百强）
- 尬聊：飒！吴艳妮百米跨栏强势夺冠
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 16 期。图灵奖：罗伯特·弗洛伊德（1978）
本文来自 wiki:Robert W. Floyd，翻译基于 谷歌翻译.
知识点：图最短路径算法——弗洛伊德算法
罗伯特·W·弗洛伊德（1936 年 6 月 8 日 - 2001 年 9 月 25 日），美国计算机科学家。他设计了 Floyd-Warshall 算法，该算法可以有效地找到图中的所有最短路径。他在一篇论文中介绍了渲染图像的误差扩散的重要概念，也称为 Floyd–Steinberg 抖动（尽管他区分了抖动和扩散）。他在 1967 年发表的论文《Assigning Meanings to Programs》中开创了使用逻辑断言进行程序验证的领域，这是对后来的 Hoare 逻辑的贡献。
他于 1978 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
一周速览为每周日晚固定栏目，将会回顾本周的热点事件。
本周发布回顾
- 尬聊：局促的英文站牌
- 图灵奖：约翰·巴克斯（1977）
- 尬聊：近期足球场上的趣事
- 尬聊：端午节，到底快乐还是安康？
- 尬聊：足球流氓几时休
- 图说：637分，北大！
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 15 期。图灵奖：约翰·巴克斯（1977）
本文来自 wiki:John Backus，翻译基于 腾讯交互翻译.
约翰·华纳·巴克斯（英语：John Warner Backus，1924 年 12 月 3 日-2007 年 3 月 17 日），美国计算机科学家。他领导的团队发明并实现了 FORTRAN，这是第一种广泛使用的高级编程语言。他也是巴科斯范式（BNF）的提出者，这是一种广泛使用的、用来定义形式语言语法的记号法。
他于 1977 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
江西工职院“6·1”食品安全事件调查处理情况通报
针对江西工业职业技术学院“6·1”食品安全事件，省教育厅、省公安厅、省国资委、省市场监督管理局组成的联合调查组，本着实事求是原则开展调查，现将有关情况通报如下。
红。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。荐歌：我们俩（郭顶）
周末愉快！
昨天冲进场内的小伙儿，最终还是被行政拘留了😅终归是给自己的冲动付出了代价。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 14 期。
本文来自 wiki:Dana Scott，翻译基于 腾讯交互翻译.
达纳·斯图尔特·斯科特（英语：Dana Stewart Scott，1932 年 10 月 11 日-），美国逻辑学家，现为卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑名誉教授。
他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。同时，他还从事模态逻辑，拓扑学和范畴理论的研究。
因在自动机理论方面的工作，斯科特获得了 1976 年的图灵奖。