记忆：倒数第二是王湘浩先生编辑本段回目录
中国计算机学会是1985年升级成为一级学会的，6月1日，开会之后合影。这张宝贵的照片，记忆了诸多中国计算机的前辈。
英雄辈出的年代，后浪推前浪，一些名师淡出了人们的视线是当然的事。当然，在“著名”甚至“XX之父”、“XXX之父”都满街走的时候，还有多少人会记得没有权势、也没有钱财的学者呢？ 
合影珍贵，我想知道其中都是谁，他们做过什么？ 
先选定前排中间的20位，应当都是大家敬仰的学者，至少在计算机界应当知名。我询问了100——200位比较老的业内人士，得到下面名单：
左起：计算所副所长李润斋、西安交大计算机教研组郑守琪、
中科院计算所徐家福、夏培肃；姚锡珊、口口口、萨师煊，左起第四位是谁？
王湘浩院士主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。 40 年代纠正了格伦瓦尔定理的错误，对该定理作了推广并给出该定理成立的充要条件，重新证明了狄克逊猜想。证明代数数域上单纯代数换位子群与其么模子群相等。提出并解决了利用“保n项关系”的方法解决多值逻辑中函数集的完备性问题。 在定理机器证明和计算机代数方面，推广了归结原理，并推广而且改进了Vincent 定理。他在国内首先倡导开展人工智能的研究，是我国人工智能研究的旗手。1976年，他在吉林大学创建了计算机科学系。 |
1985年计算机学会部分专家编辑本段回目录
1985年，中国计算机学会成为国家一级学会，6月1日成立大会合影，前排部分专家。左起：
1，李润斋，中科院计算所副所长；
2郑守淇，西安交大计算机教研组
3徐家福，南京大学计算机系
4夏培肃，中科院计算所
5张梓昌，曾任航天工业部第二研究院所长，学会第一届副理事长
6范新弼，中科院计算所五室
7莫根生，15研究所
8张效祥，曾任中国计算机学会理事长
9 慈云桂，哈军工计算机系首任系主任
10.王湘浩，吉林大学，学会副理事长
11阎沛霖，中科院计算所首任所长
12蒋士騛，中科院计算所八室（后转入京海公司）
13.吴几康，中科院计算所
14.何绍宗 计算所分所，后到西安156所
15姚锡珊，四川省电子设备公司
16. 张志浩，电子科技大学教授
17萨师煊，人民大学，
18何志均，浙大计算机系系主任
19欧阳职能，中国软件与计算机服务公司
20虞浦帆，华东计算机所。（北京信息产业协会）
参考文献编辑本段回目录
http://xuzuzhe.blog.ccidnet.com/blog-htm-do-showone-uid-53507-type-blog-itemid-2151777.html
