图灵奖:迈克尔·奥瑟·拉宾(1976)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 13 期。

本文来自 wiki: Michael O. Rabin,翻译基于 腾讯交互翻译.

Michael O. Rabin

迈克尔·奥瑟·拉宾,出生于 1931 年 9 月 1 日,是以色列数学家、计算机科学家。

1976 年他和赫伯特·西蒙(Herbert A. Simon,司马贺)一起因人工智能方面的基础贡献而被授予图灵奖。

Read more

图灵奖:赫伯特·西蒙(司马贺,1975)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 12 期。

本文来自 wiki: Herbert A. Simon,翻译基于 腾讯交互翻译.

Herbert A. Simon

赫伯特·亚历山大·西蒙(英语:Herbert Alexander Simon,1916年6月15日-2001年2月9日),美国政治学家。他的研究以其跨学科性质而闻名,跨越了认知科学,计算机科学,公共行政,管理和政治科学等领域。他的工作影响了计算机科学、经济学和认知心理学领域。

Read more

AI基础(1):Gradient,-Jacobian-matrix-and-Hessian-matrix

文章来自微信公众号“科文路”,欢迎关注、互动。转载须注明出处。

Gradient, Jacobian matrix and Hessian matrix

这两周,扮演了几场面试官。最大的感触是,应届生在基础数学知识的储备上存在很大的问题。所以我决定把我认为重要的 AI 基础知识拿出来过一下。

用英文写的(水平一般),帮助各位了解下术语。

1 Gradient

The gradient of $f$ is defined as the unique vector field whose dot product with any unit vector $\mathbf{v}$at each point $x$ is the directional derivative of f$f$ along $\mathbf{v}$. That is,

Read more

图灵奖:艾伦·纽厄尔(1975)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 11 期。

本文来自 wiki: Allen_Newell,翻译基于 腾讯交互翻译.

Allen Newell

艾伦·纽厄尔(Allen Newell,1927年3月19日-1992年7月19日),美国计算机科学和认知心理学研究员,曾就职于 RAND 公司、卡内基梅隆大学计算机科学学院、Tepper 商学院和心理学系。

他是信息处理语言(IPL)发明者之一,并作为开发者之一,使用该语言编写最早的两个 AI 程序:逻辑理论家(Logic Theorist,首个可以自动进行推理的程序)和一般问题解决器(General Problem Solver)。

1975年他和赫伯特·西蒙(Herbert A. Simon,司马贺)一起因人工智能方面的基础贡献而被授予图灵奖。

Read more

图灵奖:唐纳德·尔文·克努斯(高德纳,1974)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 10 期。

本文来自 wiki: Donald_Knuth,翻译基于 腾讯交互翻译.

Donald Knuth

如果你没听过 TAOCP,那么说明你的计算机知识水平还有很大的进步空间。

唐纳德·尔文·克努斯(中文名“高德纳”,Donald Ervin Knuth)出生于 1938 年 1 月 10 日,是美国计算机科学家、数学家,斯坦福大学名誉教授。他被称为“算法分析之父”,是 1974 年 ACM 图灵奖的获得者。

其图灵奖颁奖词为“表彰他对算法分析和编程语言设计的突出贡献,特别是他通过著作对“计算机程序设计艺术”的贡献,。”(For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to the “art of computer programming” through his well-known books in a continuous series by this title)。

Read more

科技:哪些工作可能被AI取代?

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

最近,ChatGPT 衍生的 AI 产品越来越多的出现在了我的生活中。断档式升级的产品也把前浪狠狠的拍在了沙滩,而这种大趋势短期之内应该是不会停止了。

突发奇想,我问了 AI 几个有意思的问题,相信也是很多人想知道的。看看 AI 自己怎么说。

以下回答来自微软 BingGPT,

Read more

GNN:抽象数据类型,图(1)

文章来自微信公众号“科文路”,欢迎关注、互动。转载须注明出处。

图神经网络(GNN)是用于处理可以表示为图的数据的一类人工神经网络。本文为图神经网络系列文章第 1 期,介绍作为抽象数据类型的,怎么去“抽象”。

相信学过数据结构或者离散数学相关课程的朋友不会陌生“图”这个概念,今天一起来复习一下。

为了消除歧义,最好熟练记下英文术语。

图,基本概念

Read more

图灵奖:查尔斯·巴赫曼(1973)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 9 期。

本文来自 wiki: Charles_Bachman,翻译基于 腾讯交互翻译.

Charles Bachman

查尔斯·威廉·巴赫曼三世(Charles William Bachman III,1924年12月11日-2017年7月13日),美国计算机科学家,他的整个职业生涯都是作为工业研究员、开发人员和管理人员,而并非在学术界。他以在数据库管理系统的早期开发方面的工作闻名,包括以他命名的分层架构技术——巴赫曼图。

其图灵奖颁奖词为“表彰他对数据库技术的杰出贡献”(For his outstanding contributions to database technology)。

Read more

图灵奖:艾兹赫尔·韦伯·迪杰斯特拉(1972)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 8 期。

本文来自 wiki: Edsger_Wybe_Dijkstra,翻译基于 腾讯交互翻译.

Edsger Wybe Dijkstra

学过算法的,应该都不会忘记被最短路径(Dijkstra)算法支配的恐惧吧!

Edsger Wybe Dijkstra(1930 年 5 月 11 日- 2002 年 8 月 6 日)是一位荷兰计算机科学家、程序员、软件工程师、系统科学家和科学散文家。他因对开发结构化编程语言的基本贡献而获得 1972 年图灵奖。

其图灵奖颁奖词为“表彰对编程这一高智力挑战的基础性贡献;强有力的主张和切实地证明程序应该正确编写,而不仅仅是调试好;从程序设计的基础上阐明对问题的认识”(For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design)。

Read more

航天:中国首次火星探测火星全球影像图发布

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

“格物致知 叩问苍穹”,中国航天日

4 月 24 日,在合肥举行的 2023 年“中国航天日”主场活动启动仪式上,国家航天局和中国科学院联合发布了中国首次火星探测火星全球影像图。

本次发布的影像图为彩色,包括按照制图标准分别制作的火星东西半球正射投影图、鲁宾逊投影图和墨卡托投影加方位投影图,空间分辨率为 76 米,将为开展火星探测工程和火星科学研究提供质量更好的基础底图。

Read more