作者 | 西西
编辑 | 陈彩娴昨日，中国计算机学会（CCF）发布2021年「CCF终身成就奖」评选结果公告，国防科技大学胡守仁教授、广州大学张景中教授入选！「CCF终身成就奖」始设于2010年，授予70岁以上的在计算机科学、技术和工程领域取得重大突破，有卓著成就与巨大贡献的资深中国计算机科技工作者，由CCF理事长会议推荐候选人，每年评选一次，每次不超过2人。从2010年至今，「CCF终身成就奖」的获得者均是推动中国计算机事业发展的著名科学家，他们的名单如下：
- 2010年：张效祥院士，上世纪50年代末主持研制成功我国第一台大型通用电子计算机——104机；夏培肃院士，1960年支持研制成功我国第一台自行设计的通用电子数字计算机——107机；
- 2011年：徐家福教授，我国最早的两位计算机软件博士生导师之一，在国内自行研制的J-501机上研制出中国第一个ALGOL编译系统；杨芙清院士，中国软件领域奠基人之一，支持研制了中国第一台百万次集成电路计算机150机操作系统；
- 2012年：金怡濂院士，上世纪70年代主持研制了国内首台双处理器架构的大型计算机，80年代中期领导开展我国第一台10亿次巨型机的研制；汪成为院士，我国863计划与国防973计划的重要成员与杰出贡献者；
- 2013年：陈俊亮院士，有线600/1200波特及无线600波特数据传输设备的主要研制者之一，研制出我国第一台「DS-2000程控数字市话交换机」；董韫美院士，上世纪60年代中期主持研制出国内最早的实用高级程序语言BCY；
- 2014年：陆汝钤院士，我国知识工程和基于知识的软件工程领域奠基性者，设计并主持研制了知识工程语言TUILI和大型专家系统开发环境「天马」，首次把异构型DAI和机器辩论引进人工智能领域，发表了国际上第一篇异构型分布式人工智能文章；张钹院士，将数学方法引入人工智能，提出基于统计推断的启发式搜索、基于拓扑的空间规划、基于关系矩阵的时间规划，以及基于规划的神经网络学习等新方法；
- 2015年：倪光南院士，参与研制我国自行设计的第一台电子管计算机（119机），提出并实现在汉字输入中应用联想功能，主持开发的联想式汉字系统较好地解决了汉字处理中许多技术问题；周兴铭院士，主持研制了我国第一台全数字实时仿真计算机“银河-仿1”和我国第一台面向科学/工程计算的10亿次级“银河-II”并行巨型计算机系统；
- 2016年：沈绪榜院士，中国芯片计算机的开拓者和倡导者，上世纪70年代成功研制出大规模集成电路16位微计算机，实现了中国芯片计算机的历史性突破；唐唐泽圣教授，中国计算机图形学及相关领域的开创者、引领者，上世纪80年代率先在国内开展计算机图形学及CAD技术和科学计算可视化的研究；
- 2017年：胡启恒院士，中国在模式识别与人工智能领域最早的探索者之一，中国互联网早期发展的重要推手；李伯虎院士，我国计算机仿真技术和制造业信息化的开拓者之一，参与研制了我国首台航天用M2大型模拟机、领导研制了M6混合机的自动寻优机；
- 2018年：何新贵院士，上世纪70年代在国产计算机上成功研制出多个FORTRAN编译系统，在编译、数据库、模糊逻辑、最优化处理和军用软件等领域做出了突出贡献；周巢尘院士，我国分布式程序设计理论研究的先驱者和开拓者之一，上世纪90年代提出的时段演算理论开创了实时系统形式设计的新途径；
- 2019年：沈昌祥院士，为发展我国的信息安全和可信计算技术做出了系统性和创造性的重大贡献；魏道政教授，我国计算机电路测试和容错计算领域的开拓者之一，他提出的主路径敏化法是70年代电子测试技术领域具有里程碑意义的成果，在计算机电路测试领域做出了系统性和创造性的重大贡献；
- 2020年：陈国良院士，在并行计算的理论研究、工程应用和教学等方面做出了卓越贡献，创建了中国第一个国家高性能计算中心；孙永强教授，我国第一代计算机软件科研工作者，20世纪60年代领导实现了国内首批高级程序语言编译器——911编译程序系统
由此可见，2021年「CCF终身成就奖」的获奖者也是人中龙凤。
1
胡守仁
1926年出生，浙江江山人，1949年毕业于浙江大学电机系，1952年到哈尔滨军事工程学院工作，历任助教、教研室主任、系副主任，1958年开始涉足计算机领域，40年来一直从事计算机的教学与研究，主持了多台计算机系统的研究与开发。后来，他又担任国防科技大学教授、计算机研究所副所长，中国计算机学会理事。共获国家级奖励3项，部委级奖励10 多项，出版专著4 部，编有《计算机概论》，合编有《巨型计算机系统结构》等，发表学术论文百篇以上。他获得「CCF终身成就奖」的理由是：
胡守仁教授是我国第一代计算机体系结构的科技工作者，长期从事高性能计算机系统的研究工作，作为负责人之一完成了151—Ⅳ百万次大型计算机和我国首台亿次巨型计算机「银河Ⅰ」的研制，为我国高性能计算机事业做出了卓越贡献。
1984年，银河机获国防科技成果奖特等奖。
关于胡守仁教授的研究经历，百度百科有一段动人的描述：胡教授的时间从来是以分秒计算的。40 多年来，他焚舟破釜，殚诚毕虑，在我国计算机科研领域奋勇开拓并取得卓越成就。1951 年，这位浙江大学电机系毕业的高材生，在西子湖畔被老师和同学送上了隆隆北去的火车，一个星期后抵达吉林通化，从此穿上军装，开始了在国防科研领域的艰难跋涉。1958 年是胡守仁人生的一次转折。他到海上实习, 目睹了我国海军装备的落后状况。那时，人民海军处在创建阶段,我们从苏联引进的鱼雷快艇，仅靠一个机械式的三角杆作计算器，这种古老陈旧的计算方法根本无法适应实战、夜战、近战的需要。部队的同志说，鱼雷快艇高速行驶，颠簸厉害，指挥员用拉杆计算目标参数很不准确，在夜间几乎不能指挥作战。胡守仁的心被强烈地震撼了, 他暗暗地萌发了自己研制鱼雷快艇指挥仪的念头。此时, 中央军委决定研制我国自己的计算机，并把这一任务交给了胡守仁所在的「哈军工」。学校成立了电子数字计算机研制组，胡守仁被任命为该项目的主要负责人。胡守仁说，当时他连计算机的一般概念都不知道，起步十分艰难。为了实现零的突破，他和战友们边学习，边讨论，边研究，边实践。怀着对祖国的赤子之心，他们像打仗的战士安营扎寨，吃住都在实验室，工作不分昼夜，实在累了就睡一下，爬起来又接着干。经过半年多的日夜奋战, 中国第一台计算机终于问世了!砥兵砺伍，众志成城。此后，胡守仁在计算机领域一发不可收: 1959 年他负责筹办我国高等院校第一个计算机专业，开始了我国最早的计算机教学；1962 年，他主持研制出了我国第一台教学计算机；1968 年他主持研制出了我国第一台车载靶场———数据录取和处理计算机；1970 年他参加了我国第一台百万次———“远望一号”测量船中心计算机的攻关，并作为计算机系副主任兼任“718”研究室主任和该任务的技术总体组组长，第一次提出了变结构的思想，大大提高了计算机的运算速度和可靠性；1976 年以后，他相继参加了我国第一台亿次巨型计算机“银河Ⅰ”、第一台数字仿真机“银河仿真Ⅰ”的研制，两次担任技术总体组组长……这一个个“中国第一”，像串珠一般，写照着胡守仁为使我国计算机事业能在世界上占有一席之地而奋斗不息的壮丽人生。
2
张景中
1936年出生于河南汝南县，本科毕业于北京大学数学力学系，历任中国科学技术大学数学系讲师与副教授、中国科学院研究员，1993年担任博士生导师，1995年当选中国科学院院士，1996年初创办了广州大学（原广州师范学院）计算机教育软件研究所并担任所长、教授，主要从事机器证明、教育数学、距离几何及动力系统研究。他获得「CCF终身成就奖」的理由是：
张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题，创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。长期致力于科普工作并做出了突出贡献。
他在几何定理可读机器证明、教育数学、距离几何及动力系统、学科教育信息技术学科领域以及数学科普做出了突出的贡献。主要成果包括：
- 计算机自动推理：（1）提出以面积方法为基础的消点法，实现了几何定理可读证明的自动生成，使计算能够给出容易理解和检验的推理演算或证明过程，被国际同行誉为「是自动推理领域三十年来最重要的进展，是计算机处理几何问题道路上的里程碑」；（2）提出用近似计算获取准确值的理论和基本方法；（3）建立了复系数多项式的完全判别系统；（4）提出了几何定理可读证明自动生成的点几何方法。
- 度量几何与几何不等式：（1）给出初等图形在欧氏空间实现的充要条件；（2）发现并证明了有限质点组的基本的不等式；（3）证明了高维单形上Bernstein多项式凸性定理的逆定理；（4）解决了古典的单位圆规基本作图问题。
- 动力系统与迭代：（1）给出逐段单调连续函数迭代根存在充要条件；（2）给出单调连续函数生成的迭代半群的唯一性准则；（3）给出费根堡函数方程连续解构造方法。
- 教育数学：提出教育数学的基本观点和理论，致力于通过把数学变得更容易而改革数学教育。建立有章可循的几何解题方法和相应的公理体系、提出不用极限概念的微积分学基本理论与方法。
- 教育信息技术：提出学科智能教育平台的概念和基本理论方法，并将数学机械化的思想方法和成果用于教育软件研发，创作了《Z Z智能教育平台》，获香港国际发明博览会金奖。
张景中教授坚持产学研结合的发展道路。2002年，他在广州大学的支持下创立了广州景中教育软件有限公司并担任公司董事长。消息链接：
https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA
