记忆：倒数第二位是王湘浩院士_阳新

http://blog.sina.com.cn/u/1404510870

首页博文目录关于我

个人资料

微博

加好友发纸条

写留言加关注

博客等级：
博客积分：

博客访问：
关注人气：
获赠金笔：0支
赠出金笔：0支
荣誉徽章：

正文字体大小：大中小

记忆：倒数第二位是王湘浩院士

(2009-07-04 00:21:49)

标签：

计算机

名人

照片

人物

历史

it

分类：计算机史

   中国计算机学会是1985年升级成为一级学会的，6月1日，开会之后合影。这张宝贵的照片，记忆了诸多中国计算机的前辈。

英雄辈出的年代，后浪推前浪，一些名师淡出了人们的视线是当然的事。当然，在“著名”甚至“XX之父”、“XXX之父”都满街走的时候，还有多少人会记得没有权势、也没有钱财的学者呢？
http://www.biia.org.cn/UploadFiles/2009740141734.jpg
合影珍贵，我想知道其中都是谁，他们做过什么？
http://www.biia.org.cn/UploadFiles/2009740142580.jpg
   先选定前排中间的20位，应当都是大家敬仰的学者，至少在计算机界应当知名。我询问了100——200位比较老的业内人士，得到下面名单：
    左起：计算所副所长李润斋、西安交大计算机教研组郑守琪、南京大学徐家福、
中科院计算所夏培肃；张梓昌、计算所五室范新弼、计算所（15所）莫根生；

张效祥、慈云桂，.王湘浩、阎沛霖、八室蒋士騛（后京海公司）；

吴几康、何绍宗（计算所西安156所）姚锡珊、口口口、萨师煊（人大）

浙大计算机系系主任何志均，欧阳炽能、虞浦帆。

本来，经过许多单位的人士辨认，还差两位没有认出来：就是红色标记的（新浪博客功能失效，没有颜色）。昨天，一位在美国的熟人提示我注意吉林大学的王湘浩先生，我还没上网搜索，今天计算机学会原副秘书长孙延军女士来电，说第10位就是王先生。

http://www.biia.org.cn/UploadFiles/2009-7/200973235948930.jpg

看，上图左起第3位就是王院士，在原哈军工慈云桂和阎沛霖（首任中科院计算所所长）中间，是够牛的啊！

在吉林大学网站上见到：

　王湘浩院士(1915-1993)，河北安平人。1937 年毕业于北京大学，1949 年获美国普林斯顿大学哲学博士学位。中国科学院数理学学部委员、中国计算机学会副理事长，代数学、计算机科学家，国际数学界公认的出色数学家。

　　王湘浩院士主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。

40 年代纠正了格伦瓦尔定理的错误，对该定理作了推广并给出该定理成立的充要条件，重新证明了狄克逊猜想。证明代数数域上单纯代数换位子群与其么模子群相等。提出并解决了利用“保n项关系”的方法解决多值逻辑中函数集的完备性问题。

在定理机器证明和计算机代数方面，推广了归结原理，并推广而且改进了Vincent 定理。他在国内首先倡导开展人工智能的研究，是我国人工智能研究的旗手。1976年，他在吉林大学创建了计算机科学系。

http://www.biia.org.cn/UploadFiles/2009740142621.jpg

吉大计算机学院的概况：

早在1958年，中科院院士王湘浩先生建立了“控制论”研究室，对计算机系统结构进行了研究。六十年代，在“多值逻辑”和“自动机理论”两方面取得了具有国际先进水平的研究成果。

1960年到1975年，先后研制了6台计算机。1974年，完成了“ALGOL60编译系统74”。1977年，王湘浩先生在国内率先开拓了“人工智能”研究方向，有力推动了国内人工智能研究。同年完成了“NOVA机多用户BASIC”分析和TQ-6机“FORTRAN编译系统”。

学院在计算机科学的前沿研究领域人工智能、定理机器证明、智能规划与自动推理、知识工程与Agent系统、软件工程与软件自动化、分布式系统、计算机图形学、计算机网络和计算智能等研究方向取得了国内外公认的成果，一直处于国内领先行列。

http://www.biia.org.cn/UploadFiles/2009-7/200974084436.jpg

左起，何绍宗、姚锡珊、口口口、萨师煊。第三位，还没有认出来。是谁呢？

这是20人中的最后一位，待辨认。

阅读┊ 收藏 ┊ 喜欢 ▼ ┊打印┊举报/Report

前一篇：后海上的单人艇们

后一篇：谢谢“白衣天使”狠狠地扶我行走

新浪BLOG意见反馈留言板　欢迎批评指正