昨日，中國計算機學(xué)會（CCF）發(fā)布2021年「CCF終身成就獎」評選結(jié)果公告，國防科技大學(xué)胡守仁教授、廣州大學(xué)張景中教授入選！「CCF終身成就獎」始設(shè)于2010年，授予70歲以上的在計算機科學(xué)、技術(shù)和工程領(lǐng)域取得重大突破，有卓著成就與巨大貢獻的資深中國計算機科技工作者，由CCF理事長會議推薦候選人，每年評選一次，每次不超過2人。從2010年至今，「CCF終身成就獎」的獲得者均是推動中國計算機事業(yè)發(fā)展的著名科學(xué)家，他們的名單如下：- 2010年：張效祥院士，上世紀50年代末主持研制成功我國第一臺大型通用電子計算機——104機；夏培肅院士，1960年支持研制成功我國第一臺自行設(shè)計的通用電子數(shù)字計算機——107機；
- 2011年：徐家福教授，我國最早的兩位計算機軟件博士生導(dǎo)師之一，在國內(nèi)自行研制的J-501機上研制出中國第一個ALGOL編譯系統(tǒng)；楊芙清院士，中國軟件領(lǐng)域奠基人之一，支持研制了中國第一臺百萬次集成電路計算機150機操作系統(tǒng)；
- 2012年：金怡濂院士，上世紀70年代主持研制了國內(nèi)首臺雙處理器架構(gòu)的大型計算機，80年代中期領(lǐng)導(dǎo)開展我國第一臺10億次巨型機的研制；汪成為院士，我國863計劃與國防973計劃的重要成員與杰出貢獻者；
- 2013年：陳俊亮院士，有線600/1200波特及無線600波特數(shù)據(jù)傳輸設(shè)備的主要研制者之一，研制出我國第一臺「DS-2000程控數(shù)字市話交換機」；董韞美院士，上世紀60年代中期主持研制出國內(nèi)最早的實用高級程序語言BCY；
- 2014年：陸汝鈐院士，我國知識工程和基于知識的軟件工程領(lǐng)域奠基性者，設(shè)計并主持研制了知識工程語言TUILI和大型專家系統(tǒng)開發(fā)環(huán)境「天馬」，首次把異構(gòu)型DAI和機器辯論引進人工智能領(lǐng)域，發(fā)表了國際上第一篇異構(gòu)型分布式人工智能文章；張鈸院士，將數(shù)學(xué)方法引入人工智能，提出基于統(tǒng)計推斷的啟發(fā)式搜索、基于拓撲的空間規(guī)劃、基于關(guān)系矩陣的時間規(guī)劃，以及基于規(guī)劃的神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)等新方法；
- 2015年：倪光南院士，參與研制我國自行設(shè)計的第一臺電子管計算機（119機），提出并實現(xiàn)在漢字輸入中應(yīng)用聯(lián)想功能，主持開發(fā)的聯(lián)想式漢字系統(tǒng)較好地解決了漢字處理中許多技術(shù)問題；周興銘院士，主持研制了我國第一臺全數(shù)字實時仿真計算機“銀河-仿1”和我國第一臺面向科學(xué)/工程計算的10億次級“銀河-II”并行巨型計算機系統(tǒng)；
- 2016年：沈緒榜院士，中國芯片計算機的開拓者和倡導(dǎo)者，上世紀70年代成功研制出大規(guī)模集成電路16位微計算機，實現(xiàn)了中國芯片計算機的歷史性突破；唐唐澤圣教授，中國計算機圖形學(xué)及相關(guān)領(lǐng)域的開創(chuàng)者、引領(lǐng)者，上世紀80年代率先在國內(nèi)開展計算機圖形學(xué)及CAD技術(shù)和科學(xué)計算可視化的研究；
- 2017年：胡啟恒院士，中國在模式識別與人工智能領(lǐng)域最早的探索者之一，中國互聯(lián)網(wǎng)早期發(fā)展的重要推手；李伯虎院士，我國計算機仿真技術(shù)和制造業(yè)信息化的開拓者之一，參與研制了我國首臺航天用M2大型模擬機、領(lǐng)導(dǎo)研制了M6混合機的自動尋優(yōu)機；
- 2018年：何新貴院士，上世紀70年代在國產(chǎn)計算機上成功研制出多個FORTRAN編譯系統(tǒng)，在編譯、數(shù)據(jù)庫、模糊邏輯、最優(yōu)化處理和軍用軟件等領(lǐng)域做出了突出貢獻；周巢塵院士，我國分布式程序設(shè)計理論研究的先驅(qū)者和開拓者之一，上世紀90年代提出的時段演算理論開創(chuàng)了實時系統(tǒng)形式設(shè)計的新途徑；
- 2019年：沈昌祥院士，為發(fā)展我國的信息安全和可信計算技術(shù)做出了系統(tǒng)性和創(chuàng)造性的重大貢獻；魏道政教授，我國計算機電路測試和容錯計算領(lǐng)域的開拓者之一，他提出的主路徑敏化法是70年代電子測試技術(shù)領(lǐng)域具有里程碑意義的成果，在計算機電路測試領(lǐng)域做出了系統(tǒng)性和創(chuàng)造性的重大貢獻；
- 2020年：陳國良院士，在并行計算的理論研究、工程應(yīng)用和教學(xué)等方面做出了卓越貢獻，創(chuàng)建了中國第一個國家高性能計算中心；孫永強教授，我國第一代計算機軟件科研工作者，20世紀60年代領(lǐng)導(dǎo)實現(xiàn)了國內(nèi)首批高級程序語言編譯器——911編譯程序系統(tǒng)
由此可見，2021年「CCF終身成就獎」的獲獎?wù)咭彩侨酥旋堷P。1926年出生，浙江江山人，1949年畢業(yè)于浙江大學(xué)電機系，1952年到哈爾濱軍事工程學(xué)院工作，歷任助教、教研室主任、系副主任，1958年開始涉足計算機領(lǐng)域，40年來一直從事計算機的教學(xué)與研究，主持了多臺計算機系統(tǒng)的研究與開發(fā)。后來，他又擔任國防科技大學(xué)教授、計算機研究所副所長，中國計算機學(xué)會理事。共獲國家級獎勵3項，部委級獎勵10 多項，出版專著4 部，編有《計算機概論》，合編有《巨型計算機系統(tǒng)結(jié)構(gòu)》等，發(fā)表學(xué)術(shù)論文百篇以上。胡守仁教授是我國第一代計算機體系結(jié)構(gòu)的科技工作者，長期從事高性能計算機系統(tǒng)的研究工作，作為負責人之一完成了151—Ⅳ百萬次大型計算機和我國首臺億次巨型計算機「銀河Ⅰ」的研制，為我國高性能計算機事業(yè)做出了卓越貢獻。
1984年，銀河機獲國防科技成果獎特等獎。
關(guān)于胡守仁教授的研究經(jīng)歷，百度百科有一段動人的描述：胡教授的時間從來是以分秒計算的。40 多年來，他焚舟破釜，殫誠畢慮，在我國計算機科研領(lǐng)域奮勇開拓并取得卓越成就。1951 年，這位浙江大學(xué)電機系畢業(yè)的高材生，在西子湖畔被老師和同學(xué)送上了隆隆北去的火車，一個星期后抵達吉林通化，從此穿上軍裝，開始了在國防科研領(lǐng)域的艱難跋涉。1958 年是胡守仁人生的一次轉(zhuǎn)折。他到海上實習(xí), 目睹了我國海軍裝備的落后狀況。那時，人民海軍處在創(chuàng)建階段,我們從蘇聯(lián)引進的魚雷快艇，僅靠一個機械式的三角桿作計算器，這種古老陳舊的計算方法根本無法適應(yīng)實戰(zhàn)、夜戰(zhàn)、近戰(zhàn)的需要。部隊的同志說，魚雷快艇高速行駛，顛簸厲害，指揮員用拉桿計算目標參數(shù)很不準確，在夜間幾乎不能指揮作戰(zhàn)。胡守仁的心被強烈地震撼了, 他暗暗地萌發(fā)了自己研制魚雷快艇指揮儀的念頭。此時, 中央軍委決定研制我國自己的計算機，并把這一任務(wù)交給了胡守仁所在的「哈軍工」。學(xué)校成立了電子數(shù)字計算機研制組，胡守仁被任命為該項目的主要負責人。胡守仁說，當時他連計算機的一般概念都不知道，起步十分艱難。為了實現(xiàn)零的突破，他和戰(zhàn)友們邊學(xué)習(xí)，邊討論，邊研究，邊實踐。懷著對祖國的赤子之心，他們像打仗的戰(zhàn)士安營扎寨，吃住都在實驗室，工作不分晝夜，實在累了就睡一下，爬起來又接著干。經(jīng)過半年多的日夜奮戰(zhàn), 中國第一臺計算機終于問世了!砥兵礪伍，眾志成城。此后，胡守仁在計算機領(lǐng)域一發(fā)不可收: 1959 年他負責籌辦我國高等院校第一個計算機專業(yè)，開始了我國最早的計算機教學(xué)；1962 年，他主持研制出了我國第一臺教學(xué)計算機；1968 年他主持研制出了我國第一臺車載靶場———數(shù)據(jù)錄取和處理計算機；1970 年他參加了我國第一臺百萬次———“遠望一號”測量船中心計算機的攻關(guān)，并作為計算機系副主任兼任“718”研究室主任和該任務(wù)的技術(shù)總體組組長，第一次提出了變結(jié)構(gòu)的思想，大大提高了計算機的運算速度和可靠性；1976 年以后，他相繼參加了我國第一臺億次巨型計算機“銀河Ⅰ”、第一臺數(shù)字仿真機“銀河仿真Ⅰ”的研制，兩次擔任技術(shù)總體組組長……這一個個“中國第一”，像串珠一般，寫照著胡守仁為使我國計算機事業(yè)能在世界上占有一席之地而奮斗不息的壯麗人生。1936年出生于河南汝南縣，本科畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，歷任中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)系講師與副教授、中國科學(xué)院研究員，1993年擔任博士生導(dǎo)師，1995年當選中國科學(xué)院院士，1996年初創(chuàng)辦了廣州大學(xué)（原廣州師范學(xué)院）計算機教育軟件研究所并擔任所長、教授，主要從事機器證明、教育數(shù)學(xué)、距離幾何及動力系統(tǒng)研究。張景中教授提出了定理機器證明的數(shù)值并行方法，解決了初等圖形在歐氏空間嵌入等問題，創(chuàng)建了幾何定理可讀證明自動生成的原理和方法，推動了機器定理證明智能化技術(shù)的發(fā)展。長期致力于科普工作并做出了突出貢獻。
他在幾何定理可讀機器證明、教育數(shù)學(xué)、距離幾何及動力系統(tǒng)、學(xué)科教育信息技術(shù)學(xué)科領(lǐng)域以及數(shù)學(xué)科普做出了突出的貢獻。主要成果包括：
- 計算機自動推理：（1）提出以面積方法為基礎(chǔ)的消點法，實現(xiàn)了幾何定理可讀證明的自動生成，使計算能夠給出容易理解和檢驗的推理演算或證明過程，被國際同行譽為「是自動推理領(lǐng)域三十年來最重要的進展，是計算機處理幾何問題道路上的里程碑」；（2）提出用近似計算獲取準確值的理論和基本方法；（3）建立了復(fù)系數(shù)多項式的完全判別系統(tǒng)；（4）提出了幾何定理可讀證明自動生成的點幾何方法。
- 度量幾何與幾何不等式：（1）給出初等圖形在歐氏空間實現(xiàn)的充要條件；（2）發(fā)現(xiàn)并證明了有限質(zhì)點組的基本的不等式；（3）證明了高維單形上Bernstein多項式凸性定理的逆定理；（4）解決了古典的單位圓規(guī)基本作圖問題。
- 動力系統(tǒng)與迭代：（1）給出逐段單調(diào)連續(xù)函數(shù)迭代根存在充要條件；（2）給出單調(diào)連續(xù)函數(shù)生成的迭代半群的唯一性準則；（3）給出費根堡函數(shù)方程連續(xù)解構(gòu)造方法。
- 教育數(shù)學(xué)：提出教育數(shù)學(xué)的基本觀點和理論，致力于通過把數(shù)學(xué)變得更容易而改革數(shù)學(xué)教育。建立有章可循的幾何解題方法和相應(yīng)的公理體系、提出不用極限概念的微積分學(xué)基本理論與方法。
- 教育信息技術(shù)：提出學(xué)科智能教育平臺的概念和基本理論方法，并將數(shù)學(xué)機械化的思想方法和成果用于教育軟件研發(fā)，創(chuàng)作了《Z+Z智能教育平臺》，獲香港國際發(fā)明博覽會金獎。
張景中教授堅持產(chǎn)學(xué)研結(jié)合的發(fā)展道路。2002年，他在廣州大學(xué)的支持下創(chuàng)立了廣州景中教育軟件有限公司并擔任公司董事長。https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA
雷峰網(wǎng)版權(quán)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
