技术改变世界 创新驱动中国 – 《程序员》官网

如今，Android及它的绿色小机器人标志和苹果iPhone一样风靡世界，掀起了移动领域最具影响力的风暴。创造这一奇迹的人，叫Andy Rubin（安迪·罗宾），Google工程副总裁，Android开发的领头人。

早年岁月

Andy Rubin1963年生于纽约州Chappaqua镇，父亲是学心理学的，经营一家电子玩具直销公司。销售样品拍照放进销售目录之后，就属于小Andy的了，他的房间满是各种最新的电子玩具。反复拆装这些玩具是他最爱做的事情之一。他的Geek基因由此种下。

大学毕业后，他加入以光学仪器知名的卡尔·蔡司公司担任机器人工程师，主要从事数字通信网络。后来他还曾经在瑞士一家机器人公司工作，工作得很开心。然而，一个偶然事件改变他的一生。

1989年，Andy到开曼群岛旅游，清晨独自在沙滩漫步时遇到一个人可怜地睡在躺椅上——他和女朋友吵架，被赶出了海边别墅。Andy给他找了住处。作为回报，这位老兄答应引荐Andy到自己所在的公司工作。原来，此人是正处在第一个全盛时期的苹果公司的一名工程师。

不平凡的硅谷经历让Andy Rubin在工程师主导的苹果公司可以说是如鱼得水，桌面系统Quadra和历史上第一个软Modem都是他的作品。他也不忘展示一下自己的Geek本色：对公司的内部电话系统进行了重新编程，伪装CEO打电话给人事，指示要给自己组里的工程师同事股票奖励。当然，信息部门免不了来找他的麻烦。 阅读全文 »

罗宾·米尔纳

2010年3月20日，图灵奖得主罗宾•米尔纳（Robin Milner）辞世，享年76岁。米尔纳是第四位获此殊荣的英国科学家，由于在LCF可计算函数逻辑、ML和CCS并发理论等计算机程序设计语言方面的贡献荣获1991年图灵奖。

从中学教师到计算机学家

1934年，米尔纳生于英国普利茅斯的一个军人家庭，曾加入过英国皇家工程兵部队，获得少尉军衔。米尔纳先后就读于伊顿公学及剑桥大学国王学院，接受了全英国最顶级的学校教育。大学期间，米尔纳曾在世界上第一台存储程序式电子计算机EDSAC上面编写过程序，只是当时他在计算机方面并没多大兴趣。1957年，他获得剑桥大学数学学士学位，然后成为一名中学数学教师。

1960年，米尔纳开始重新规划自己的未来，成为伦敦著名的Ferranti公司的计算机编程人员，决定重返这个领域，并“把一生都献给计算机”。又过了三年，米尔纳转入大学从事教学与研究，先后在伦敦城市大学、斯旺西大学以及斯坦福大学任职。

阅读全文 »

作者：吕娜

2000年至2010年， 转眼十年。遥想21世纪的第一个春天，2000年度图灵奖被授予华人计算机科学家姚期智。这个消息如此振奋人心，有着“计算机世界的诺贝尔奖”之称的图灵奖，35年来首次迎来一位亚裔学者，姚期智也是首位获此殊荣的中国人。

姚期智生于上海长在台湾， 人生的前20年浸润在中国传统文化中。1967年，21岁的姚期智从台湾大学毕业后赴美国哈佛大学学习物理，并于1972年获得博士学位。姚期智深深热爱着科学研究，强烈的兴趣吸引着他津津乐道其中，他说：“我比较喜欢新奇的东西，有新的方向我就喜欢去看一看，试一试。”在加州大学作博士后研究时，姚期智发现，新兴的计算机科学有着主宰未来社会的强大威力，他敏锐地意识到这门十分重要的新兴学科具有巨大发展空间。于是这位年轻人作出了一生中的重要决定：放弃苦学8年的物理学，转而投向计算机科学研究。两年后，他顺利取得伊利诺伊大学计算机博士学位。 阅读全文 »

—— Fabrice Bellard

作者：吕娜

这个世界从来不缺天才，只缺乏利用天分坚持理想和信念不断创新的人，这些人用恒心和努力缔造一个又一个传奇。法国人Fabrice Bellard 就是这样一个了不起的程序员。

Fabrice Bellard1972年生于法国，曾就读于巴黎高等综合理工学院和法国电信研究院。对计算机有着浓厚兴趣的他，高中时就崭露头角，编写出了LZEXE，这是DOS上第一个广泛使用的文件压缩程序。

Fabrice Bellard是一位计算机奇才，在业界有着重要的影响。1996年他编写了一个简洁但是完整的C编译器和一个Java虚拟机Harissa。Fabrice Bellard发明的TinyCC是GNU/Linux环境下最小的ANSI C语言编译器，是目前号称编译速度最快的C编译器。Fabrice Bellard杰作众多且涉及广泛，1998年编写了一个简洁的OpenGL实现TinyGL，2003年开发了Emacs克隆QEmacs，2005年还设计了一个廉价的数字电视系统。

Fabrice Bellard的一个重要杰作是在Linux内核上写了一个CPU模拟器QEMU，这套开放源码的模拟器软件与Bochs、PearPC近似，但具有后两者所不具备的高速度及跨平台等特性。QEMU可以在不同的机器上运行独自开发的操作系统与软件，经由KQEMU这个开源的加速器，能模拟至接近真实电脑的速度。QEMU构思巧妙， 效率极高， 在借助核心态的KQEMU加速器之后，模拟代码的执行速度甚至能够接近真实机器。QEMU已成为目前使用最广泛的模拟器，KVM和Google Android的模拟器都是基于QEMU的。 阅读全文 »

作者：吕娜

指针就像跳转一样，疯狂地在数据结构之间到处指来指去。在高级语言里面引入指针是个退步。我们可能永远无法从这一失败之中恢复过来。

这段话出自查尔斯·霍尔（Charles A.R. Hoare），1980年他因“对程序设计语言的定义和设计方面的基础性贡献”而获得图灵奖。他26岁就发明了闻名于世的快速排序算法Quicksort。当然，他对计算机科学技术的贡献还远远不止于此，在程序设计语言的定义和设计、数据结构和算法、操作系统等许多方面，他都有许多影响深远的成果。他，查尔斯·霍尔，就是这样一个了不起的人。

早年生平

霍尔是英国人，1934年1月11日生于斯里兰卡的科伦坡。小时候的理想是当个作家，喜欢萧伯纳和罗素的作品。因为勤奋好学、少言寡语，他被同学称为“教授”。中学毕业后，他进入牛津的莫顿学院学习，对数理逻辑产生了兴趣，并首次接触到了计算机。他的第一个程序用Mercury Autocode的语言编写，解决了诺依曼书中的两人博弈问题。 阅读全文 »

文 / 吕娜

又一位图灵奖得主去世了，他是受人尊敬的时序逻辑领域大师艾米尔• 伯努利(AmirPnueli)。今年11月2日，这位1996年度图灵奖得主因脑出血去世，享年68岁，只剩那些熠熠生辉的科技成就留给后人。

艾米尔• 伯努利于1941 年出生于以色列的Nahalal，在以色列理工学院取得数学学士学位，1967 年在魏茨曼学院以一篇关于海洋潮汐计算的毕业论文取得应用数学博士学位。而后伯努利留校任教。

在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软件更先进，多任务和变化的数据核查变得更加困难。因此，程序员不得不考虑到时间推移下系统的行为。在这个契机下，时序逻辑被引入计算科学，这是计算科学发展历史的重要转折点。

时序逻辑也叫时态逻辑（temporal logic)，是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统，主要用于形式验证。20 世纪60 年代Arthur Prior提出介入的基于模态逻辑的特殊的时间逻辑系统，这一理论后来被艾米尔•伯努利等逻辑学家进一步发展。 阅读全文 »

危机推动

研发向新兴市场转移

出于成本考虑，发达国家开始把研发转移到发展中国家，从一般性外包到研发中心外包，这是我国软件外包的本质变化。

吴萍：金融危机是当下必谈的话题，近一年来，危机带来的变化已经显现。目前的普遍看法是，金融危机会改变世界经济格局，中国会迎来产业升级的机会，您对此有什么判断?

刘积仁：我个人感觉，金融危机会推动经济全球化发展、导致全球资源重新整合，也会加快区域间的合作与重新选择，使全球经济体系更加优化。

事实上，这种变化在金融危机之前就已经开始了。单从软件外包看，最早东软承接的只是一般性软件外包，跨国公司把定制化的软件拿来给东软做; 而今天，几乎所有的跨国公司都把研发中心设在中国，这是一个本质变化。

毫无疑问，金融危机使成本成为一个非常突出的问题。过去30年，发达国家已经在节约成本方面做了很大努力，比如把制造业从本土转移，就是降低成本的重要 举措，研发和服务作为核心竞争力却一直保留在自己手里。现在，产品研发和服务成为成本中最大的组成部分，所以，研发的转移已经成为一种必然趋势。

现在，西方最时髦的一个词是transformation——转变，背景就是资源重新配置、区域重新选择、体系更加优化，这一次的优化是“everything”，东软即将迎来一个新机会。 阅读全文 »