昨日，中國計算機學會（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終身成就獎」的獲獎者也是人中龍鳳。1926年出生，浙江江山人，1949年畢業于浙江大學電機系，1952年到哈爾濱軍事工程學院工作，歷任助教、教研室主任、系副主任，1958年開始涉足計算機領域，40年來一直從事計算機的教學與研究，主持了多臺計算機系統的研究與開發。后來，他又擔任國防科技大學教授、計算機研究所副所長，中國計算機學會理事。共獲國家級獎勵3項，部委級獎勵10 多項，出版專著4 部，編有《計算機概論》，合編有《巨型計算機系統結構》等，發表學術論文百篇以上。胡守仁教授是我國第一代計算機體系結構的科技工作者，長期從事高性能計算機系統的研究工作，作為負責人之一完成了151—Ⅳ百萬次大型計算機和我國首臺億次巨型計算機「銀河Ⅰ」的研制，為我國高性能計算機事業做出了卓越貢獻。
1984年，銀河機獲國防科技成果獎特等獎。
關于胡守仁教授的研究經歷，百度百科有一段動人的描述：胡教授的時間從來是以分秒計算的。40 多年來，他焚舟破釜，殫誠畢慮，在我國計算機科研領域奮勇開拓并取得卓越成就。1951 年，這位浙江大學電機系畢業的高材生，在西子湖畔被老師和同學送上了隆隆北去的火車，一個星期后抵達吉林通化，從此穿上軍裝，開始了在國防科研領域的艱難跋涉。1958 年是胡守仁人生的一次轉折。他到海上實習, 目睹了我國海軍裝備的落后狀況。那時，人民海軍處在創建階段,我們從蘇聯引進的魚雷快艇，僅靠一個機械式的三角桿作計算器，這種古老陳舊的計算方法根本無法適應實戰、夜戰、近戰的需要。部隊的同志說，魚雷快艇高速行駛，顛簸厲害，指揮員用拉桿計算目標參數很不準確，在夜間幾乎不能指揮作戰。胡守仁的心被強烈地震撼了, 他暗暗地萌發了自己研制魚雷快艇指揮儀的念頭。此時, 中央軍委決定研制我國自己的計算機，并把這一任務交給了胡守仁所在的「哈軍工」。學校成立了電子數字計算機研制組，胡守仁被任命為該項目的主要負責人。胡守仁說，當時他連計算機的一般概念都不知道，起步十分艱難。為了實現零的突破，他和戰友們邊學習，邊討論，邊研究，邊實踐。懷著對祖國的赤子之心，他們像打仗的戰士安營扎寨，吃住都在實驗室，工作不分晝夜，實在累了就睡一下，爬起來又接著干。經過半年多的日夜奮戰, 中國第一臺計算機終于問世了!砥兵礪伍，眾志成城。此后，胡守仁在計算機領域一發不可收: 1959 年他負責籌辦我國高等院校第一個計算機專業，開始了我國最早的計算機教學；1962 年，他主持研制出了我國第一臺教學計算機；1968 年他主持研制出了我國第一臺車載靶場———數據錄取和處理計算機；1970 年他參加了我國第一臺百萬次———“遠望一號”測量船中心計算機的攻關，并作為計算機系副主任兼任“718”研究室主任和該任務的技術總體組組長，第一次提出了變結構的思想，大大提高了計算機的運算速度和可靠性；1976 年以后，他相繼參加了我國第一臺億次巨型計算機“銀河Ⅰ”、第一臺數字仿真機“銀河仿真Ⅰ”的研制，兩次擔任技術總體組組長……這一個個“中國第一”，像串珠一般，寫照著胡守仁為使我國計算機事業能在世界上占有一席之地而奮斗不息的壯麗人生。1936年出生于河南汝南縣，本科畢業于北京大學數學力學系，歷任中國科學技術大學數學系講師與副教授、中國科學院研究員，1993年擔任博士生導師，1995年當選中國科學院院士，1996年初創辦了廣州大學（原廣州師范學院）計算機教育軟件研究所并擔任所長、教授，主要從事機器證明、教育數學、距離幾何及動力系統研究。張景中教授提出了定理機器證明的數值并行方法，解決了初等圖形在歐氏空間嵌入等問題，創建了幾何定理可讀證明自動生成的原理和方法，推動了機器定理證明智能化技術的發展。長期致力于科普工作并做出了突出貢獻。
他在幾何定理可讀機器證明、教育數學、距離幾何及動力系統、學科教育信息技術學科領域以及數學科普做出了突出的貢獻。主要成果包括：
- 計算機自動推理：（1）提出以面積方法為基礎的消點法，實現了幾何定理可讀證明的自動生成，使計算能夠給出容易理解和檢驗的推理演算或證明過程，被國際同行譽為「是自動推理領域三十年來最重要的進展，是計算機處理幾何問題道路上的里程碑」；（2）提出用近似計算獲取準確值的理論和基本方法；（3）建立了復系數多項式的完全判別系統；（4）提出了幾何定理可讀證明自動生成的點幾何方法。
- 度量幾何與幾何不等式：（1）給出初等圖形在歐氏空間實現的充要條件；（2）發現并證明了有限質點組的基本的不等式；（3）證明了高維單形上Bernstein多項式凸性定理的逆定理；（4）解決了古典的單位圓規基本作圖問題。
- 動力系統與迭代：（1）給出逐段單調連續函數迭代根存在充要條件；（2）給出單調連續函數生成的迭代半群的唯一性準則；（3）給出費根堡函數方程連續解構造方法。
- 教育數學：提出教育數學的基本觀點和理論，致力于通過把數學變得更容易而改革數學教育。建立有章可循的幾何解題方法和相應的公理體系、提出不用極限概念的微積分學基本理論與方法。
- 教育信息技術：提出學科智能教育平臺的概念和基本理論方法，并將數學機械化的思想方法和成果用于教育軟件研發，創作了《Z+Z智能教育平臺》，獲香港國際發明博覽會金獎。
張景中教授堅持產學研結合的發展道路。2002年，他在廣州大學的支持下創立了廣州景中教育軟件有限公司并擔任公司董事長。https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA
雷峰網版權文章，未經授權禁止轉載。詳情見轉載須知。
