图灵奖得主(五)

[1993]斯坦恩斯--"打工"带来的机遇

        斯坦恩斯是学数学出身的。1958年他在卡尔顿学院(Carlton College)取 得数学学士学位后进入普林斯顿大学研究生院,用了3年时间就 取得博士学位,其博士论文课题是关于博奕论的。
        斯坦恩斯跨进计算机科学的大门并成 为一个出色的计算机科学家是十分偶然的。1960年暑假,他到通用 电气公司打工,被分配到研究实验室新成立的"信息研究部",这 使他有缘与已成为那里正式职工的哈特马尼斯一起工作。学过 物理而后改行数学的哈特马尼斯和专攻数学的斯坦恩斯相结 合,双方取长补短,相得益彰,使他们的合作富有成果。他们的第 一个合作课题是"关于时序机的状态分派问题"。这项研究进行得 十分顺利,暑假打工结束时,他们已经完成了第一篇合作论文,这 就是第二年发表的"On the state assignment problem for sequential machines",(刊载 于《IRE Trans.Electr.Comput》杂志,EC10,P593~603,Dec.1961。)暑期临时工 的经历虽然十分短暂,但通用电气公司研究人员的素质和才能, 那里浓郁、自由、活泼的学术空气,以及新的、充满机会的学科领 域给斯坦恩斯留下了十分深刻的印象。因此,一年后他一拿到学 位, 就毫不犹豫地应聘到通用电气公司工作,与哈特马尼斯再度 携手,终于再创辉煌,很快完成了奠定"计算复杂性"理论基础的 那篇著名论文。
       说来有趣,哈特马尼斯和斯坦恩斯在 通用电气公司研究计算复杂性的最初几年,实验室里并无计算 机可用。他们当时完全是依靠严密的理论分析提出有关"计算复杂性"的一系列问题,并给出了科学的解释的。祆1964年,实验室 才配了一台GE300,斯坦恩斯这才开始用BASIC编程,通过电传打字 机接口使用计算机。在 科学技术的发展史上,开创复杂而重要的 学科领域并取得巨大成功的学者,最初往往在十分困难的条件 下工作,这种情况是屡见不鲜的。
        斯坦恩斯和哈特马尼斯在研究"计算 复杂性"理论的过程中,还有一个细节值得一提。据斯坦恩斯本人 回忆,他们首次明确提出"计算复杂性"这一名词的论文有过三个 版本:最早是1963年4月实验室内部的一个研究报告,没有公开发 表;然后是在1964年于普林斯顿举行的IEEE第五届开关电路理论 和逻辑设计学术年会上提交 瑶蚺□A题为("递归序列的计算复杂 性")("Computational complexity of recursive sequences"),刊于会议论文集82~90 页。第三个版本是发表于美国数学会汇刊1965年5月上的("论算法 的计算复杂性")("On the computational complexity of algorithms")。这三个版本 中,会议版本虽然早于杂志版本发表,但实际上却是最后一个版 本。因为在此之前,他们对布卢姆M.Blum(见"图灵奖得主简介")在 MIT博士论文研究的是同样问题并无所知;会议之前他们偶然获 知这一情况,便立即去MIT拜访了Blum,双方进行了交流。当时,哈 特马尼斯和斯坦恩斯已是国际知名大公司的研究人员,而布卢 姆则不过是来自南美洲的小国委内瑞拉的青年学子。但哈特马 尼斯和斯坦恩斯并不因此而对布卢姆有任何轻视,并且发现布 卢姆在对"复杂性类"等方面的研究比自己还深入一些,因此对布 卢姆十分推崇,并把他的博士论文列入了他们自己的会议论文 的参考文献之中,虽然该博士论文当时尚未公开与发表。他们这 种在学术上平等待人,互相尊重,善于交流的作风是很可贵和值 得尽 □满C
        斯坦恩斯后来除了在"计算复杂性"理 论上继续有建树并发表了许多论文外,还对 编译器的设计与理 论进行深入的研究并取得了成果。1976年,斯坦恩斯最先提出将上 下文无关之法的理论应用于编译器的设计,推动了编译器技术 的发展。他和P.M.Lewis以及D.J.Rosenkraty合著的《CompilerDesignTheory》一书(ADDISONwESLEY,1976)被软件界认为是"编译器设计理论"方面最 出色的专著之 一。
       斯坦恩斯在接受图灵奖时发表了题为 "是重新考虑时间这个问题的时候了"("It's Time to Recons ider Time")的演 说。演说中概括了他和哈特马尼斯以及布卢姆共同奠定了计算 复杂性理论的基础以来,这一重要领域所取得的主要进展。关心 这一领域的读者不妨一阅。演说全文刊载于1994年11月的《Communications of ACM》,95~99页。
        斯坦恩斯现为奥尔马尼纽约州立大学 计算机科学系教授,其电子信箱为:res@cs.albany.edu

 


 [1994]人工智能大师--费根鲍姆

    他的重大贡献在于:通过实验和研究,证明了实现智能行为 的主要手段在于知识,在多数实际情况下是特定领域的知识。

     1994年度的图灵奖由两位人工智能专家分享,其一是声名卓著的爱德华·费根鲍姆(EdwardAlbert Feigenbaum);另一位是后起之秀的雷伊·雷蒂(RajReddy)。费根鲍姆1936年生于新泽西州的威霍 肯,生父是波兰移民,但在费根鲍姆一岁时就去世了。他的继父是 一个食品店的会计,使用著一台笨重的机电式蒙络计算器(Monroe calculator,是20世纪初的发明),这引起少年费根鲍姆的极大好奇与兴趣。1952年,费根鲍姆进入卡内基梅隆大学(当时还叫卡内基 理工学院)电气工程系。在那里,他遇到了著名的诺贝尔奖得主西 蒙教授(也是图灵奖得主,以后将会介绍)。在他的指导下,费根鲍 姆实现了一个模拟人在刺激反应环境中记忆单词时的反应的 程序,叫做EPAM(基本识别和存储设备系统的缩写),并以此为题完 成了他的博士论文。获得博士学位之后,费根鲍姆获得Fulbright奖 学金到著名的英国国立物理实验室NPL工作过一段时间。图灵曾 是NPL的研究员,在那里设计和制造了最早的计算机之一ACE。费 根鲍姆去NPL时,图灵已于1954年去世,但图灵在NPL留下的巨大影 响还在,活跃而富于创造性的空气还在,甚至ACE计算机

也还在 使用。费根鲍姆在NPL的时间虽然不长,但这段经历对他的影响 却很大。
        回到美国以后,费根鲍姆进入斯坦福大 学继续其人工智能的研究。在人工智能初创的第一个10年中,人 们著 囿漪O问题求解和推理的过程。费根鲍姆的重大贡献在于: 通过实验和研究,证明了实现智能行为的主要手段在于知识,在 多数实际情况下是特定领域的知识,从而最早倡导了"知识工程 "(Knowledgeengineering),并使知识工程成为人工智能领域中取得实际 成果最丰富、影响也最大的一个分支。
        费根鲍姆本人,作为知识工程的倡导者 和实践者,于1965年和遗传学系主任、诺贝尔奖得主莱德伯 (Joshua Lederberg)等人合作,开发出了世界上第一个专家系统程序 DENDRAL。DENDRAL中保存著化学家的知识和质谱仪的知识,可以 根据给定的有机化合物的分子式和质谱图,从几千种可能的分 子结构中挑选出一个正确的分子结构。
       DENDRAL的成功不仅验证了费根鲍﹊ 关于知识工程的理论的正确性,还为专家系统软件的发展和应 用开辟了道路,逐渐形成具有相当规模的市场,其应用遍及各个 领域、各个部门。因此,DENDRAL的研究成功被认为是人工智能研究的一个历 史性突破。费根鲍姆领导的研究小组后来又为医学、 工程和国防等部门研制成功一系列实用的专家系统,其中尤以 医学专家系统方面的成果最为突出,最负盛名。例如,用于帮助医 生诊断传染病和提供治疗建议的著名专家系统MYCIN等。目前,学 术界公认,在将人工智能技术应用于医学方面,斯坦福大学处于 世界领先地位,这和费根鲍姆是分不开的。
       费根鲍姆有句名言:"知识中蕴藏著力 量"("Inthe Knowledge liesthepower")。这句话和培根的名言"知识就是力量 "意义相近,但似乎更确切些:知识只μ誕人所发掘和掌握时,才 能生成力量。
       费根鲍姆有许多重要著作。1963年他主 编了《Computersand Thought》(《计算机与思想》McGrawHill),这本书被认 为是世界上第一本有关人工智能的经典性专著。书中收录的21 篇文章是人工智能学者早期的研究成果,但其中的大部分观点 和结论至今仍被认同。
        80年代,费根鲍姆和AvronBarr等人合编 了四卷本的《人工智能手册》(《The Handbook of Artificial Intelligence》),前三 卷于1981年、1982年由William Kaufmann出版社出版,第四卷于1989年由 Addison?Wesley出版社出版。这套手册的内容涵盖了人工智能的理 论与实践酢跗萸锳是从事人工智能研究和开发的工程技术 人员必备的参考书。
        日本推出5代机计划以后,费根鲍姆曾 到日本进行深入考察,写出了《The 5th Generation: A Iand Japan's Computer Challenge to the World》(《第五代:人工智能和日本计算机对世界的挑 战》NewAmericanLibrary,1984)。本书在中国人工智能和日本计算机对世界的挑 战》NewAmericanLibrary,1984)。本书在中国大陆和台湾省都被译成中文 出版,在中国人工智能界也有很大影响。还有一本有影响的著作 是《The Rise of the Expert Company》(《专家公司的兴起》TimesBooks,1988)。费根鲍姆在接受图灵奖时发表了题为" 什么"怎样变成"如何"的演说(How  the"what" Becomes the "How"),对人工智 能的发展作了一个历史性的回顾与总结 ,全文刊载于 《Communications of the ACM》,1996年5月,97~104页。
   费根鲍姆除在斯坦福大学计算机科学 系任教授外,还是美国空军的首席科学家。
   费根鲍姆的电子信箱 如下:feigenbaum@cs.stanford.edu

 

[1995]布卢姆--为计算复杂性理论奠基

     1995年度的图灵奖授予了加州大学伯克利分校著名的计算机科 学家曼纽尔·布卢姆(Manuel Blum)。布卢姆是计算复杂性理论的奠 基人之一,而计算复杂性是计算机科学的一个基础性分支,十分 重要。图灵奖至今的39位得主中有6位是由于在计算复杂性方面的杰出贡献而获此殊荣。
      所谓"计算复杂性",通俗说来,就是用计 算机求解问题的难易程度其度量标准:一是计算所需的步数或 指令条数(这叫时间复杂度),二是计算所需的存储单元数量(这叫 空间复杂度)。我们当然不可能也不必要就一个个具体问题去研究它的计算复杂性,而是依据难度去研究各种计算问题之间的 联系,按复杂性把问题分成不同的类,即ComplexityClass。
        在采用图灵于30年代提出的理想化的 计算模型即图灵机作为标准的计算工具的情况下,可以非形式 化地定义如下几类计算问题:
 
   1. P类问题:由确定型图灵机在多项式时间内可解的一切判 定问题所组成的集合;
 
   2. NP类问题:由非确定型图灵机在多项式时间内可计算的判定 问题所组成的集
   合;
 
   3. NP完全问题:如果判定问题π?NP,并且对所有其他判定问题 π?NP,都有
   π'多项式变换到π(记为π'∞π),则称判定问题π 是NP完全的。
 
   对P类,NP类及NP完全问题的研究推笆 了计算复杂性理论的发展,产生了许多新 概念,提出了许多新方 法。但是还有许多难题至今没有解决,P=?NP就是其中之一。许多学 者猜想P≠NP,但无法证明。
        计算复杂性的研究始于50年代末、60年 代初,当时在美国有两个并行的中心,一个是通用电气公司设立 于纽约州斯克内克塔迪(Schenectady)的研究实验室,核心人物是哈 特马尼斯(J.Hartmanis)和斯提恩斯(R.Stearns)。1964年11月,他们在普林斯 顿举行的第五届开关电路理论和逻辑设计学术年会上发表了论文"Computational Complexity of recursivese quences"(递归序列的计算复杂性),论 文中首次使用了"计算复杂性"这一术语,由此开辟了计算机科学 中的一个新领域,并为之奠定了理论基础。他们两人是1993年度 图灵奖获得者(以后在本栏中还将专门介绍)。另一个中心是麻省 理工学院MIT,在那里,布卢姆与前述两人互相独立地进行著相关 问题的研究,并完成了他的博士论文:"A machine independent theory of the complexity of recursive functions"(递归函数复 杂性的机器独立理论),该论 文的详细摘要1967年发表于《J.ACM》14(2)P322~336。实际上,布卢姆 是受以色列学者拉宾(M.O.Rabin)的启发而开始这方面的研究的。拉 宾是希伯莱大学的教授,是研究计算复杂性问题的先驱,并在 1976年荣获图灵奖(以后也将专门介绍)。拉宾在1959~1960年间就 发表过一些关于"计算复杂性方面的论文和报告,惜流传的面 太小,影响不大。但MIT"慧眼识英雄",邀情拉宾前来讲学。布卢姆 当时正苦于没有适当的课题作博士论文,听了拉宾的讲座极感 兴趣,当即决定沿此方向进行研究,其结果就是完成了上述博士论文。布卢姆的论文不但提出了有关计算复杂性的一些公理,而 且在对复杂性类的归纳上也比其他学者有更高的抽象度。因此 学术界公认,布、哈、斯三人是计算复杂性理论的主要奠基人。
        布卢姆除了在计算复杂性理论方面做 出了开创性贡献以外,还致力于将这一理论应用于对计算机系 统的安全性和通信的安全性有十分重要意义的"密码学"以及在" 软件工程"中十分重要而又十分困难的程序正确性验证方面,并 且取得了令人瞩目的成就。1989年5月,他和事Sampath Kannan在西 雅图召开的21届ACM计算理论专题研讨会上所提交的一篇论文 中,首次提出了"Program Checker"的概念,并综合利用密码学、概率算 法和程序测试、概率交互证明等手段解决程序正确性验证这一 难题,把这一领域的研究推进了一大步。有兴趣的读者可参阅他们发表在《J.ACM》1995年1月号上的论文"Designing Prognams that check
 Their Work"。
 
   布卢姆现在在加州大学伯克利分校任教。


[1996]让时态逻辑“搬家” ——伯努利 

         1996年度的图灵奖授予了一位以色列学 者,著名的以色列魏茨曼学院(Weizmann  Institute of Science,位于圣城耶 路撒冷西北约50公里的雷霍沃特)应用数学系教授艾米尔·伯努利(Amir Pnueli),以彰显他把时态逻辑引入计算机科学所做的贡 献。
        伯努利于1967年在魏茨曼学院获应用数学博士学位,后留校任教。他的主要研究方向是时态逻辑或叫 时序逻辑(temporal logic)。时态逻辑是非经典逻辑中的一种,它研究 如何处理含有时间信息(现在、过去、将来;之前、之后等)的事件的命题和谓词。时态逻辑体系包含的要素有:
    1. 基本符号:事件e,关系或谓词r,时间区间i(interval)等。
    2. 时态谓词:after(e,r),before(e,r)等。
    3. 时态事件演算规则:初始规则、终止规则等,如holds(before(e,r)):
       terminates(e,r)表终止规则,意为若事件已使谓词r失效,则在e之前 且r成
       立以一段区间中r为真。
    4. 时态逻辑运算:时态区间的并交,时态谓词的与、或、非等。

     1977年,伯努利把时态逻辑引入计算机 科学,把它作为开发反应式系 统(reactivesystem)和并发式系统 (concurrentsystem)时进行规格说明(specification)和验证(verification)的工具, 取得了极大的成功,在软件工程界引起轰动,被认为是软件工 程中的一场革命。伯努利也因此而声名大振,他曾被斯坦福大 学,哈佛大学等著名高等学府聘为客座教授或进行讲学。
        伯努利主要从事教学和研究,但也和国 外绝大多数教授一样,不限于“纯学术”工作。他和别人一起在 美国马萨诸塞州的Burlington办了一个公司:i?LogixInc,他任该公司首席科学家。
        伯努利和我国科学院院士、著名的逻辑 和软件学家唐稚松是朋友和知交。唐稚松曾向伯努利建议,把 “时态逻辑”当作整个软件开发过程(包括需求、规格说明、设计、 证实、验证、代码生成和集成)的普遍的基础,而不局限于规格说明和验证。伯努利深受启发并对唐先生的聪明和眼光大为赞 叹。1995年8月,为庆祝唐稚松70寿辰,举办了一个名为“ □阎M软 件工程”的国际专题讨论会,伯努利带了一篇新的论文来北京 参加了这个讨论会,并负责编辑出版了会议论文集(Logicand Software Engineering: International Workshopin Honour of ChihSung Tang, Singapore: World Scientific Press,1996)。在论文集的前言中,伯努利叙述了他和唐稚松 之间的这段交往。
 
   伯努利的代表作如下:

《The Temporal Logic of Reactiveand Concurrent Systems: Specification》(SpringerVerlag,1992)
 《Temporal Verification of Reactive Systems: Safety》 (Springer Verlat, 1995)
   伯努利现任斯普林格出版社著名的系 列丛书“Lecture Notesin Computer
   Science”的编委,也是有关领域的不少 杂志如《Acta In formatica》、
   《Science of Computer Programming》、《Noteson Computer Science》的编委。
 
   伯努利的电子邮箱为:amir@wisdom.weizmann.ac.il


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/247237.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

koa后端允许跨域

举个例子 <!DOCTYPE html> <html lang"en"><head><meta charset"UTF-8" /><meta http-equiv"X-UA-Compatible" content"IEedge" /><meta name"viewport" content"widthdevice-width…

python面向对象之继承

面向对象之继承 什么是面向对象的继承&#xff1f; 继承&#xff08;英语&#xff1a;inheritance&#xff09;是面向对象软件技术当中的一个概念。如果一个类别A“继承自”另一个类别B&#xff0c;就把这个A称 为“B的子类别”&#xff0c;而把B称为“A的父类别”也可以称“B是…

美国正面临“人才泡沫”破裂危机?

&#xff08;Jason Lane和Kevin Kinser/文&#xff09;最近&#xff0c;与教育有关的种种问题在美国社会引起了广泛讨论。首先巨额的学生贷款问题&#xff1a;根据美联储纽约分行在2012年11月发布的一份报告&#xff0c;全美学生贷款总额已经达到420亿美元&#xff0c;其中新增…

ngrx学习笔记

什么是ngrx ngrx是Angular基于Rxjs的状态管理&#xff0c;保存了Redux的核心概念&#xff0c;并使用RxJs扩展的Redux实现。使用Observable来简化监听事件和订阅等操作。 在看这篇文章之前&#xff0c;已经假设你已了解rxjs和redux。 有条件的话请查看官方文档进行学习理解。 所…

解决RM删除没有释放空间问题

www172-18-8-12 log]$ df -h Filesystem Size Used Avail Use% Mounted on/dev/vda1 120G 101G 20G 84% /devtmpfs 7.8G 0 7.8G 0% /devtmpfs 7.8G 0 7.8G 0% /dev/shmtmpfs 7.8G 601M 7.2G 8% /run 我删除文件时&#xff0c;直接用的rm 没有加参数lf,结果空间没有释放 文件已经…

.slice(0)

高手代码里看到.slice(0)&#xff0c;查了下这样写的好处&#xff1a; 1.对原数组进行深拷贝&#xff0c;这样进行一系列操作的时候就不影响原数组了&#xff1b; 2.将类数组对象转化为真正的数组对象&#xff1a;var anchorArray [].slice.call(document.getElementsByTagN…

在线课程学习、科研科技视频网站

最近在网络学习课程&#xff0c;发现很多在线课程网站&#xff0c;与大家分享一下。本人新浪博客&#xff1a;http://blog.sina.com.cn/u/1240088994 公开课课程图谱http://coursegraph.com/navigation/ 1. 网易公开课 http://open.163.com/&#xff1b; 网易TED http://…

对html2canvas的研究

介绍 该脚本允许您直接在用户浏览器上截取网页或部分网页的“屏幕截图”。屏幕截图基于DOM&#xff0c;因此它可能不是真实表示的100&#xff05;准确&#xff0c;因为它没有制作实际的屏幕截图&#xff0c;而是根据页面上可用的信息构建屏幕截图。 这个怎么运作 该脚本遍历其加…

[Vue warn]: You are using the runtime-only build of Vue 牵扯到Vue runtime-compiler与runtime-only区别

[Vue warn]: You are using the runtime-only build of Vue where the template compiler is not available. Either pre-compile the templates into render functions, or use the compiler-included build. 1. Vue的编译渲染过程 template --> ast --> render函数 -…

亲历2013年TED大会:全球最潮灵感大会

本文转自&#xff1a;http://mooc.guokr.com/opinion/436837/ 本文由《外滩画报》供稿 文/华琪&#xff08;发自美国&#xff09; 编辑/吴慧雯 什么是TED的世界&#xff1f;在这里&#xff0c;你可以轻易发现各种名人出没的痕迹&#xff0c;和各个领域里最具远见卓识和创造…

Java生鲜电商平台-电商会员体系系统的架构设计与源码解析

Java生鲜电商平台-电商会员体系系统的架构设计与源码解析 说明&#xff1a;Java生鲜电商平台中会员体系作为电商平台的基础设施&#xff0c;重要性不容忽视。我去年整理过生鲜电商中的会员系统&#xff0c;但是比较粗&#xff0c;现在做一个最好的整理架构. 设计电商会员体系需…

为什么要上大学?

为了让自己成为更有意思的人。 &#xff08;文&#xff0f;美国圣母大学哲学教授 Gary Gutting&#xff09;再不久&#xff0c;千千万万的大学生又将走完一个学期。他们中的很多人以及他们的家人&#xff0c;可能为刚刚过去的几个月或是几年投入了相当可观的时间、努力以及金钱…

React AntD 表格查看修改时默认选中几行数据

hook定义selectedRowKeys const [selectedRowKeys, setSelectedRowKeys] useState([]); const [selectedRowsState, setSelectedRows] useState([]); 初始化时利用setSelectedRowKeys给selectedRowKeys塞值,时行数据的rowKey的数组。 设置table属性rowSelection <Table…

python面向对象三大特性、类的约束、print带颜色输出及super补充

面向对象三大特性、类的约束、print带颜色输出及super补充 简述&#xff1a; python面向对象的三大特性&#xff1a; 1.继承是一种创建新类的方式&#xff0c;在python中&#xff0c;新建的类可以继承一个或多个父类&#xff0c;父类又可称为基类或超类&#xff0c;新建的类称为…

dayjs也可回显AntD DatePicker的值

遇到的问题&#xff1a;react 使用AntD 表单里有多个RangePicker,查看修改时要回显值。 antd的DatePicker需要的是moment对象。但是项目里引的是dayjs库 解决方式&#xff1a; 方式一:直接多引moment.js库&#xff0c;字符串转moment对象 moment(2022-02) 方式二:不甘心引两…

打造“神犇”是教育的未来吗?

这年头&#xff0c;品学兼优、身怀特长的“神犇”&#xff0c;拼的不仅是天赋异禀和后天努力&#xff0c;更是身后爹妈的钱包&#xff0c;而本该实现社会公平的教育&#xff0c;反而加速和凝固了社会的不公。 高等教育的终极目标真的是造就学业超人吗&#xff1f;《纽约时报》刊…

洛谷 P3243 【[HNOI2015]菜肴制作】

第一眼看到这题&#xff0c;顿时懵逼&#xff0c;一个 \(SB\) 拓扑序竟然是黑题&#xff0c;当场笑喷。 \(Of\) \(course\)&#xff0c;这题我是用堆做的。&#xff08;其实是优先队列&#xff0c;手写堆这么垃圾我怎么可能会用呢&#xff09; \((1)\) 首先建图。如果 \(x\) 需…

AntD 官网样例 InputRef报错原因

在官网可编辑表格typescript样例里 const inputRef useRef<InputRef>(null); InputRef项目报错原因是ant design的版本问题! antd 4.19版本重写了input 可通过InputRef来使用input组件的ref

电路原理图检查的十大步骤详解

最近一直在做嵌入式系统&#xff0c;画原理图。最后&#xff0c;为了保证原理图准确无误&#xff0c;检查原理图花费我近两周的时间&#xff0c;在此&#xff0c;把我在检查原理图方面的心得体会总结在此&#xff0c;供大家参考&#xff0c;说得不对的地方欢迎大家指出。 往往我…

亚伦•斯沃茨:怎样有效利用时间

编者按&#xff1a;今天是著名黑客亚伦•斯沃茨&#xff08;Aaron Swartz&#xff09;头七的日子。斯沃茨14岁就参与创造RSS 1.0规格的制定&#xff0c;曾在斯坦福大学就读了一年&#xff0c;是社交新闻网站Reddit的三位创始人之一……斯沃茨自杀时才年仅26岁。这26岁的短暂生命…