dong

No.443 第17届图灵奖、NP定理、数学家斯蒂文库克Stephen Cook

2000年的时候,克莱数学研究所公布了七个数学题,这七个数学难题,每解决一个,就可以发100万美元的奖金。这可以说是有史以来最难赚的100万美元。这七道数学题目分别是……算了,我说了你也做不出来。所以就说了,你只需要知道,这七道题中,只有一道叫庞加莱猜想的被证明了,现在奖金池里还剩下600万美元,所以,大家要加油啊。… 阅读更多

No.443 第17届图灵奖、NP定理、数学家斯蒂文库克Stephen Cook Read More »

No.442 第16届图灵奖、关系数据库之父、Oracle起家的奠基者:埃德加·科德(Edgar Frank Codd)

我上一期电台的时候讲到,ACM曾经评选过25年来最伟大的25篇论文,这些论文的作者,很多都是图灵奖得主。有人就留言问,这东西有必要再读么?我的回答是,如果你来问我有没有必要读,那说明没有必要读。… 阅读更多

No.442 第16届图灵奖、关系数据库之父、Oracle起家的奠基者:埃德加·科德(Edgar Frank Codd) Read More »

No.441 第15届图灵奖、快速排序、Case语句发明者:查尔斯·安东尼·理查德·霍尔

了解过“数据结构”或者搞过“算法设计与分析”的朋友,肯定对大名鼎鼎的快速排序算法QUICKSORT不陌生;而写过代码的程序员,100%用过CASE语句,那个处理条件跳转的东西。但你有没有好奇过,这些东西究竟是谁发明的呢?它们的背后英雄,是英国牛津大学的计算机科学家查尔斯·安东尼·理查德·霍尔(Charles… 阅读更多

No.441 第15届图灵奖、快速排序、Case语句发明者:查尔斯·安东尼·理查德·霍尔 Read More »

No.439 第13届图灵奖得主、程序流程图的发明者、自学成才的罗伯特·弗洛伊德

历届图灵奖得主通常具备高学历、高学位,且大多拥有博士学位,这并不足为奇。创新型人才需要深厚的文化底蕴和广泛的知识储备,因此接受良好的教育是理所当然的选择。然而,总会有一些例外。1978年图灵奖得主、斯坦福大学计算机科学系教授罗伯特·弗洛伊德就是这样一位“自学成才的计算机科学家”。… 阅读更多

No.439 第13届图灵奖得主、程序流程图的发明者、自学成才的罗伯特·弗洛伊德 Read More »

No.438 第12届图灵奖、花花公子转型伟大科学家、Fortran语言作者:约翰·巴克斯

电影《阿甘正传》里讲,人生就像一盒巧克力,你永远不知道下一块是什么滋味。想想看,那些让我们惊叹的人和事,它们背后的故事又是怎样的曲折离奇呢?在编程领域,你听说过… 阅读更多

No.438 第12届图灵奖、花花公子转型伟大科学家、Fortran语言作者:约翰·巴克斯 Read More »

No.437 第11届图灵奖、加密货币加的“密”、非确定性有限状态自动机理论的开创者:迈克尔·拉宾和戴纳·斯科特

上一期讲了,第10届图灵奖得主,是奖励给两个人,那是一对师生。这一次,图灵奖评选委员会又奖励给了两个人。从技术上来讲,没有这两个人的工作,像加密货币,区块链这些东西,在安全性上,可能都有很大的欠缺。这两个人是同门师兄弟,当时在以色列希伯莱大学任教的米凯尔.拉宾(Michael… 阅读更多

No.437 第11届图灵奖、加密货币加的“密”、非确定性有限状态自动机理论的开创者:迈克尔·拉宾和戴纳·斯科特 Read More »

No.436 第10届图灵奖、诺贝尔奖双料得主:西蒙与纽厄尔师徒

本期的主人公有两位,两人是师生关系,老师叫Alexander Simon,学生叫Allen Newell,两人是亦师亦友的关系。两人在长达20年的共同研究中,获得了丰硕的研究成果。在1976年,图灵奖首次颁发给两人,两年之后的1978年,诺贝尔经济学奖又颁发给了老师Alexander… 阅读更多

No.436 第10届图灵奖、诺贝尔奖双料得主:西蒙与纽厄尔师徒 Read More »

No.435 第9届图灵奖得主、《计算机编程艺术》作者、算法分析之父:唐纳德·高德纳Donald Ervin Knuth

我做了400多期电台节目了。就像如果你学编程不知道高德纳一样,就好比学物理不知道牛顿,学数学不知道欧拉,学音乐不知道莫扎特,学Delphi不知道Anders… 阅读更多

No.435 第9届图灵奖得主、《计算机编程艺术》作者、算法分析之父:唐纳德·高德纳Donald Ervin Knuth Read More »

No.434 第8届图灵奖得主、数据库之父:理查德·巴赫曼

自上世纪60年代中期起,随着数据库技术的崛起和不断成熟,计算机数据处理技术实现了一次飞跃,极大地推动了计算机的广泛应用。正是在这一背景下,1973年图灵奖首次颁发给了数据库领域的先驱查尔斯·巴赫曼(Charles… 阅读更多

No.434 第8届图灵奖得主、数据库之父:理查德·巴赫曼 Read More »

No.433 1972年第7届图灵奖得主、Dijkstra最短路径算法、栈、中断、集合等一众发明的人:迪杰斯特拉

对于每个行业和领域来说,几乎都有一两个被视为“终极荣誉”的大奖。比如电影界的奥斯卡奖、新闻界的普利策奖,数学界的沃尔夫奖和费尔兹奖等等。随着计算机通讯领域的快速发展,”图灵”这个词经常在各种场合中出现,被称为计算机界的诺贝尔奖。… 阅读更多

No.433 1972年第7届图灵奖得主、Dijkstra最短路径算法、栈、中断、集合等一众发明的人:迪杰斯特拉 Read More »

No.430 「图灵奖得主巡礼」第4届图灵奖得主、人工智能之父、框架理论的创立者:马文·明斯基

在1956年,计算机科学家马文·明斯基(Marvin Lee Minsky)与J. McCarthy共同发起了历史性的”达特茅斯会议”,并首次提出了人工智能(Artificial… 阅读更多

No.430 「图灵奖得主巡礼」第4届图灵奖得主、人工智能之父、框架理论的创立者:马文·明斯基 Read More »

No.428.「图灵奖得主巡礼」第2届图灵奖、给电脑装上内存的第一人、对人工智能取代人类表示怀疑的威尔克斯

【图灵奖得主巡礼】这个系列专注于介绍所有曾获得图灵奖的人,按照年份顺序进行讲解。如果我每周更新两期的话,将分别在每周二和每周五更新;如果每周只更新一期的话,将安排在每周五更新。鉴于上一次定时更新的时间为早晨6点,可能会让还在睡梦中的听众感到不适,因此,更新的时间已调整为早晨10点。… 阅读更多

No.428.「图灵奖得主巡礼」第2届图灵奖、给电脑装上内存的第一人、对人工智能取代人类表示怀疑的威尔克斯 Read More »

No.427 第1届图灵奖得主、现代编程语言之父、计算机科学这门学科的缔造者:艾伦·佩利

我打算开一个系列,来介绍所有的图灵奖获得者。1966年,首届图灵奖颁给了艾伦·佩利,这绝对是实至名归!他不仅在ALGOL语言的定义和发展上做出了巨大贡献,还奠定了计算机科学教育的基础,让它成为了一门独立的学科。… 阅读更多

No.427 第1届图灵奖得主、现代编程语言之父、计算机科学这门学科的缔造者:艾伦·佩利 Read More »

VSCode + LaTeX写作配置指南

前段时间我用word写了一本书,有关Java的,大约有400来页,已经交给出版社了。

用word处理400页文稿最大感想是,再也不想用word了。尤其是文稿里不止有文字的时候,还有代码,那真是要了亲命了。我反复处理了好几回,而且我发现,Mac上的word跟Windows上的word,并不兼容,这里显示正常,那里显示不行。真的是累的不行。… 阅读更多

VSCode + LaTeX写作配置指南 Read More »

滚动至顶部