1、李 彤 博士,2011,忆往昔岁月峥嵘 展未来风光无限,软 件 学 院,http:/ 1944年的夏天,Hermam Goldstine,John von Neumann,阿伯丁火车站的邂逅这次会面，拉开了现代电子计算机的序幕,往事越千年公元前5世纪到2世纪，是一个思想大爆发的时代。群星璀璨，百花齐放，智慧光耀大地。两座巍巍山峰:Olimbos和泰山，成为人类历史上最自由的思想乐园李彤记于2006年夏,Olimbos,泰山,星光灿烂，智慧光耀大地,Pythagoras, Plato, Aristotle, Socrates, Euclid, Archimedes, ,孔子、孟子、老子、曾子、,
2、东西方哲学的差异，使东西方自然科学的发展走上了两条截然不同的道路,Aristotle (前384-前322)古希腊伟大的哲学家、思想家，Plato的学生，为形式逻辑奠定了基础，成为一切推理活动的基础和出发点。古希腊哲学对计算机科学、乃至现代科学技术产生了极为深刻的影响。我国处于战国（前403前221）时代。,Schichard（1592-1635）德国数学家。1624年在海德堡研制成功了可进行加减乘除运算的计算钟，用类似于机械钟表的技术实现计算。1624，明朝天启（1621- 1628）四年，阉党魏忠贤专权。,Pascal （1623-1662）法国数学家、物理学家和哲学家。1642年发明了机
3、械手动计算器，可做加、减法。1642，明朝崇祯（1628-1644）十五年，清军攻陷松山 。,Leibnitz（1646-1716）德国伟大的数学家、哲学家。把形式逻辑符号化，提出了数理逻辑和二进制。1673年还建造了一台能进行四则运算的机械计算机器。,1673，清朝康熙（1662-1723）十二年，玄烨下令撤藩，吴三桂发动叛乱，耿精忠尚之信举兵响应 。,Boole （1815-1864）英国数学家、逻辑学家。提出了布尔代数，建立了二进制的理论基础。,Babbage （1791-1871）英国数学家。1822年发明了能自动完成四则运算的自动机械计算机器：差分引擎，利用穿孔卡片编制程序来进行自动
4、控制。,Ada Byron（1815-1852）英国著名浪漫派诗人拜伦的女儿。她从1842年起为Babbage编制程序，成为人类历史上第一位程序员，并发表了人类第一篇计算机学术论文。,1842，清朝道光（1821-1851）二十二年。英军攻陷吴淞炮台，入长江，陷镇江，抵南京，清廷被迫签订中英南京条约。,Ada编程用的Babbage差分引擎,ADA，我亲爱的女儿 英 拜伦你的脸真像你的母亲， 我的宝贝。 让我最后看一眼， 你笑意盈盈的蓝眼睛。 我们三人， 何时才能再聚首？,Hollerith（1860-1929）美国工程师。1884年制造了第一台电动计算机，于1890年完成了美国第11次人口普查
5、。,1884，清朝光绪（1875-1909）十年。法国远东舰队侵入福建马尾，福州水师覆没；清廷下诏对法宣战；法国舰队占领台湾基隆炮台，封锁台湾海峡。 1890，光绪（1875-1909）十六年，张之洞在汉阳兴建铁厂。,Turing(1912-1954)英国数学家。1936年在剑桥大学提出了理想计算机的数学模型（计算模型）图灵机，为电子数字计算机奠定了根本性的理论基础。1936，西安事变。,Turing(1912-1954),2005年12月10日的黄昏，英国曼彻斯特大学。寒风扫落的残叶飘满了图灵的全身 ,李彤摄于2005年12月,“现代最伟大的思想家之一，数学家、逻辑学家，计算机科学之父。在O
6、n Computable Numbers中提出了图灵机的概念。”,李彤摄于2005年12月,Turing(1912-1954),剑桥大学风光,李彤摄于2005年9月,剑桥大学风光,李彤摄于2005年9月,剑桥大学风光,李彤摄于2005年9月,剑桥大学风光,李彤摄于2005年9月,John Vincent Atanasoff,美国IOWA州立大学教授，数学家、物理学家。1937年设计出了第一台电子数字计算机，1939年与他的研究生Clifford E. Berry 一起构造出了原型机。,ABC计算机,ABC计算机,John von Neumann （1903-1957）匈牙利籍美国数学家。 19
7、45年6月，提出了存储程序的概念(冯诺依曼机)。1945，二战结束，我国抗战胜利。,1946年 第一台电子计算机ENIAC在宾夕法尼亚大学诞生。,存储程序思想在其中发挥了关键作用。IEEE 计算机学会成立。我国三年内战爆发。,ENIAC首席设计师 John Mauchly和 Presper Eckert,1947年ACM (Association for Computing Machinery)成立。 1950年 Turing提出Turing测试，奠定人工智能基础。 1951年 开始使用子程序概念。 1952年 第一个编译程序A-0诞生。,1955年哈尔滨工业大学开始招收计算机专业学生。 Jo
8、hn Backus美国科学家，1977年图灵奖获得者，FORTRAN语言、BNF、函数式语言、归约机的发明者。,1954年IBM开始设计第一个高级语言FORTRAN；1957年，Backus在IBM704机上实现了FORTRAN编译。,1956年IBM推出704机及其汇编语言SAP，这是第一个汇编语言。周恩来总理主持制订我国“十二年科学技术发展规划”，计算机为6个重点项目之一；华罗庚院士主持筹建中国科学院计算技术研究所；夏培肃院士主持设计第一台电子计算机的运算器和控制器；清华大学建立我国第一个计算机专业。我国计算机事业开始起步!,2006年11月4日，云南省计算机学会隆重庆祝中国计算机事业创建
9、50周年，300余人现场出席，3500余人观看网上现场直播。,1958年我国第一台电子计算机103机由中国科学院计算所与北京有线电厂研制成功。字长31位，内存容量为1024字节，运算速度每秒450次。,1961年MIT在IBM7090上开发了分时操作系统CTSS。,Fernando Corbato美国科学家，1990年图灵奖获得者，分时操作系统理论的创立者，CTSS与Multics的领导者。,徐家福教授、杨芙清院士出版了我国第一部软件著作程序设计。,1962年Stanford、Purdue等大学建立了世界上第一批计算机系。中国电子学会电子计算机专业委员会成立。1979年1月，改名为中国电子学会
10、计算机学会。1985年3月，中国计算机学会正式成立，胡启恒院士任理事长。,1966年ACM设立图灵奖。,国防科技大学建立了我国第一个计算机系，慈云桂院士任系主任。,1968年“软件工程”在NATO科学委员会诞生；Knuth出版计算机程序设计的艺术长篇经典巨著。,Donald Knuth美国科学家，1974年图灵奖获得者，计算机程序设计的艺术的作者，被誉为计算机科学的圣经，算法、数据结构概念、LR(K)文法的创立者。,60年代前期的浮躁与软件危机 计算机语言方面的成就：高级语言 人工智能方面的成就： 消解法 操作系统方面的成就： 中断和通道技术导致的并发程序设计,Edsger W. Dijkst
11、ra荷兰科学家，1972年图灵奖获得者，软件工程先驱，GOTO语句有害论、ALGOL 60编译器、多层体系结构、进程同步、互斥、PV操作、最弱前置谓词理论的创立者。,1969年Hoare建立公理语义。,C.A.Hoare英国科学家，1980年图灵奖获得者，公理语义、Hoare逻辑、程序正确性证明、CSP、管程理论的创立者，软件自动化的奠基人。,李彤摄于2003年8月,牛津大学风光,李彤摄于2003年8月,牛津大学风光,1970年Thompson和Ritchie在贝尔实验室研制成功UNIX；1972年，Ritchie 发明C语言，并用C 语言改写了UNIX；Royce提出瀑布模型；Codd建立关
12、系数据理论。,Edgar F. Codd英裔美国科学家，1981年图灵奖获得者，关系数据理论的创立者，System R、DB2、SQL Server的奠基人。,Ken Thompson和Dennis Ritchie美国科学家，1983年图灵奖获得者，UNIX和C语言的发明者。,1971年Wirth提出第一个结构化程序设计语言PASCAL。,Niklaus Wirth瑞士科学家，1984年图灵奖获得者，PASCAL语言、结构化程序设计、MODULA、进程概念、EBNF的首创者。,1974年Hopcroft提出深度优先搜索算法和算法最坏情况分析法。,John E. Hopcroft美国科学家，19
13、86年图灵奖获得者，图平面性判定的线性时间算法、深度优先搜索算法、算法的最坏情况分析法的首创者。,2010年Hopcroft受聘软件学院客座教授,2010年Hopcroft院士为软件学院题辞,1974年1974 年 5 月，北京无线电三厂、天津市电子计算机研究所先后研制成功我国第一个通用系列小型机系统 DJS-100系列机。80年代初，云南电子设备厂（512厂，现南天集团）成功对DJS-130系统进行批量生产，并在太平洋上运用于我国核潜艇水下一箭三星发射的卫星轨道监测。,1977年Feigenbaum 提出知识工程概念。,Edward Feigenbaum美国科学家，1994年图灵奖获得者，知
14、识工程首创者，高举“知识就是力量”的大旗，挽人工智能之狂澜于既倒。,徐家福教授、杨芙清院士、仲萃豪研究员领导我国第一个国产高级语言XCY、国产操作系统XT-2的研发。,仲萃豪研究员李彤摄于1987,徐家福教授李彤摄于1987,杨芙清院士李彤摄于1987,1978年,1978年王选院士研制成功了我国第一个汉字激光照排系统。2006年，中国计算机学会设立“王选奖”，以纪念这位为我国计算机事业作出巨大贡献的杰出科学家。,1979年云南省计算机学会成立。,2009年6月27日，云南省计算机学会隆重庆祝成立30周年，300余人现场出席，7000余人观看网上现场直播。,1981年IBM-PC和MS-DOS
15、诞生。 1983年我国研制成功银河亿次巨型计算机。 1984年6月18日，云南大学建立了我省第一个计算机系。,1985年WINDOWS诞生。 1988年IEEE通过POSIX标准，1990年继而成为ISO标准ISO 9945/1。,1991年丹麦学生Linus开发了Linux操作系统。我国颁布计算机软件保护条例。,1993年美国政府发表“National Information Infrastructure”计划；第一个Internet浏览器Masaic诞生。1995年JAVA语言和WINDOWS 95诞生。 1997年国际象棋世界冠军卡斯帕罗夫不敌IBM的“深蓝”计算机。,2000年姚期智获
16、图灵奖。他是计算理论的卓越开拓者，包括伪随机数生成理论、密码学和通信复杂性的计算理论。图灵奖唯一获奖华裔科学家。,姚期智，祖藉湖北孝感，1946年生于上海。美国国籍，清华大学教授。1972年、1975年分别获得哈佛大学物理学、伊利诺大学计算机科学博士学位。先后在麻省理工学院、斯坦福大学、加州大学伯克利分校、普林斯顿大学从事教学和研究，美国科学院、中国科学院院士。,2008年姚期智在云南省科技厅,2001年我国建立35所国家示范性软件学院。,2002年2002年4月30日，云南大学国家示范性软件学院成立，全国政协副主席朱光亚为软件学院授牌，并于6月8日题名。,2002年4月30日，全国政协副主席
17、朱光亚（后排中）为云南大学软件学院授牌。,2002年6月8日，全国政协副主席朱光亚为云南大学软件学院题名。,2003年微软公布Windows部分源码，承诺从我国采购6亿美元的软件。,微软总部风光,李彤摄于2006年4月,李彤摄于2006年4月,微软总部风光,李彤摄于2006年4月,微软总部风光,李彤摄于2006年4月,微软总部风光,1936年，图灵在剑桥大学提出了理论计算机的模型图灵机，奠定了计算机的理论基础；1946年，第一台电子计算机在宾夕法尼亚大学诞生；1956年，中国科学院计算技术研究所筹建，我国计算机事业开始起步；1966年，ACM设立了被誉为计算机界“诺贝尔奖”的最高奖图灵奖。,岁月如诗，令人难以忘怀,我们应该感谢计算机的先驱和大师们。正是由于他们的杰出贡献，使计算机的影响远远超出了计算机科学本身的范畴，对人类的文明进程产生了巨大而深远的影响。,岁月如诗，令人难以忘怀,谨以本讲座纪念电子计算机诞生六十五周年！中国计算机事业五十五周年！,
