分享

Robin Milner( 1934–)

图灵奖获得时间：

1991年。 第二十六位图灵奖(1991年)获得者。

图灵奖引用(Turing Award Citation) ：

For three distinct and complete achievements: 1) LCF, the mechanization of Scott’s Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

【笔者译：】

( 授予Robin Milner图灵奖以表彰其在) 三个研究领域的杰出的和完整性的成就：

1. LCF, 一个(Dana Scott)的可计算函数逻辑(Logic of Computable Functions)的实现机制，(可能)是第一个理论上和实践上都具备的计算机证明(数学)定理的工具。

2. ML, 第一个具有多态的类型推理和具有安全类型的异常处理机制的(编程)语言。

3. CCS, 一个并发系统的综合理论。

另外，Robin Milner在operational 和denotational的语义关系方面进行了形式化的描述和深入的研究。

阅读全文»

分享

分享

      美国报业协会（Newspaper Association of America）的统计显示，美国报业的萎缩还在加剧。2007年，报业印刷广告的总收入比2006年下降了9.4%，降到420亿美元，创下了1950年以来最大的跌幅。1950年则是该协会首次统计报业年收入，所以2007年的这个跌幅也是“史载”最大跌幅。

      报业的在线广告则相对表现较好，多少给了报纸大亨们一些安慰。2007年，报业的在线广告比2006年增长了18.8%，到32亿美元。但是这个数字比2006年的增长额31.4%可是少了不少，而且这点增长也不足以弥补印刷广告的巨额损失。在线广告收入目前已经占到报业总广告的7.5%。

      谁也不能否认报业还有未来——互联网的冲击看起来势头很猛，但是终究，互联网还是无法完全取代报纸，而且报业巨头们也纷纷展开了在线业务来杀入这个市场。不过美国报业的整合还在进行当中，这种整合产生的动荡还远没有到平静下来的时候。谁能最早最好的适应这种变化，谁就是最后的胜者，而失败者则属于自然淘汰的例子。

分享

分享

      维基百科的第一千万篇文章诞生了，这是一篇关于十六世纪画家Nicholas Hilliard匈牙利语的自传（请点击看文章）。

      维基百科的这一千万篇文章以250种语言写就。英语仍旧是最主要的语言，占了230万篇文章（2007年9月，第二百万篇英文文章诞生）。在英语之后，维基百科文章语言的分布依次是：德语、法语、波兰语、日语、意大利语、荷兰语、葡萄牙语、西班牙语、瑞典语、俄语和中文。详细的维基百科文章分语种排行榜在这里。

      中文维基百科的文章相对较少，原因之一是中国大陆用户目前还无法正常访问维基百科。当然，即使在目前的排名下，中文文章的深度（大致描述维基百科文章的质量）还相当高，仅次于英文、德文和法文文章；与此对照，波兰语的文章深度相当低，虽然其数量不少。

分享

分享

Fernando Jose Corbato(07/01/1926–)

图灵奖获得时间：

1990年 。 第二十五位图灵奖(1990年)获得者。

图灵奖引用(Turing Award Citation) ：

For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics.

【笔者译：】

( 授予Fernando Jose Corbato图灵奖以表彰其)先驱性的在组织和综合概念和领导开发通用大规模，分时系统，资源共享计算机系统，如CTSS和Multics。

阅读全文»

分享

分享

William (Velvel) Morton Kahan(06/05/1933–)

图灵奖获得时间：

1989年。 第二十四位图灵奖(1989年)获得者。

图灵奖引用(Turing Award Citation) ：

For his fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to “making the world safe for numerical computations.

【笔者译：】

( 授予William (Velvel)  Kahan图灵奖以表彰其)在数值分析领域基础性的贡献。William Kahan是关于浮点运算方面最重要的科学家之一。Kahan一直致力于“使得这个世界在数值计算方面更加安全。

阅读全文»

分享

分享

      王瑶现为美国纽约科技大学（Polytechnic University）电子工程系正教授，它还曾在AT&T实验室和普林斯顿大学（Princeton University）等从事研究工作。她于2004年获选美国电气和电子工程师协会院士（IEEE Fellow） (Citation: "for contributions to video processing and communication"，汉译：“对视频处理和通信的研究做出贡献”）。王教授1983年获清华大学电子系学士学位，1985年获硕士学位，并于1990年获得圣塔芭芭拉加州大学（University of California, Santa Babara）电子工程专业博士学位。

      王教授现在领导纽约科技大学的图像处理实验室，她的研究领域包括图像和视频压缩，图像、视频传输，多媒体信号处理等。她还属于多家学术期刊的编委会，并参与组织多个学术会议。她的博士毕业生有Xiaoan Lu，Jianhong Hu，Wenwu Zhu，Anthony Vetro，Zhu Liu，和Yaling Pei等。

点击这里进入王教授主页（英文）。

分享

分享

Ivan Edward Sutherland(1938–)

图灵奖获得时间：

1988年。 第二十三位图灵奖(1988年)获得者。

图灵奖引用(Turing Award Citation)：

For his pioneering and visionary contributions to computer graphics, starting with Sketchpad, and continuing after. Sketchpad, though written twenty-five years ago, introduced many techniques still important today. These include a display file for screen refresh, a recursively traversed hierarchical structure for modeling graphical objects, recursive methods for geometric transformations, and an object oriented programming style. Later innovations include a “Lorgnette” for viewing stereo or colored images, and elegant algorithms for registering digitized views, clipping polygons, and representing surfaces with hidden lines.

【笔者译：】

( 授予Ivan Sutherland图灵奖以表彰其在) 从Sketchpad开始在计算机图形学领域先驱性的和远见性的贡献。虽然Sketchpad是Ivan Sutherland二十五年前的工作，但Sketchpad中的许多技术对目前仍然是非常重要的。这其中包括屏幕刷新的文件显示，对图形对象(Object)的递归扫描的层次结构，对几何转换的递归方法和面向对象(Object Oriented)的编程模式。Ivan Sutherland在Sketchpad之后的发明还包括用来显示立体和彩色图像的”Lorgnette”技术，和一系列(图形图像)算法：registering digitized views, clipping polygons,和representing surfaces with hidden lines(用隐含的线来表达一个图形的表面)。

阅读全文»

分享

分享

John Cocke(05/30/1925—07/16/2002)

图灵奖获得时间：

1987年。 第二十二位图灵奖(1987年)获得者。

图灵奖引用(Turing Award Citation) ：

For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC); for discovering and systematizing many fundamental transformations now used in optimizing compilers including reduction of operator strength, elimination of common subexpressions, register allocation, constant propagation, and dead code elimination.

【笔者译：】

 (授予John Cocke图灵奖以表彰其在)编译理论与实践领域的重要贡献，大型系统的体系结构，精简指令集(RISC)的开发，和发现与系统化被用在优化编译领域的许多基本的变换理论，例如：reduction of operator strength, elimination of common subexpressons, register allocation, constant propagation, and dead code elimination。

阅读全文»

分享

分享

Robert Endre. Tarjan(04/30/1948–)

图灵奖获得时间：

1986年。第二十一位图灵奖 (1986年)获得者。

图灵奖引用(Turing Award Citation) ：

For fundamental achievements in the design and analysis of algorithms and data structures.

【笔者译：】

( 授予Robert E. Tarjan图灵奖以表彰其在) 数据结构和算法设计与分析领域的重要的基础性的贡献。

阅读全文»

分享

分享

John E. Hopcroft(10/07/1939–)

图灵奖获得时间：

1986年。 第二十一位图灵奖(1986年)获得者。

图灵奖引用(Turing Award Citation) ：

For fundamental achievements in the design and analysis of algorithms and data structures.

 【笔者译：】

(授予John E. Hopcroft图灵奖以表彰其在)数据结构和算法设计与分析领域的重要的基础性的贡献。

阅读全文»

分享