胡守仁、張景中獲2021年「CCF終身成就獎(jiǎng)」！他們?yōu)橹袊?guó)計(jì)算機(jī)事業(yè)的發(fā)展做出了卓越貢獻(xiàn)

本文作者：我在思考中

2022-01-27 16:29

導(dǎo)語(yǔ)：向前輩致敬！

作者 | 西西

編輯 | 陳彩嫻

昨日，中國(guó)計(jì)算機(jī)學(xué)會(huì)（CCF）發(fā)布2021年「CCF終身成就獎(jiǎng)」評(píng)選結(jié)果公告，國(guó)防科技大學(xué)胡守仁教授、廣州大學(xué)張景中教授入選！

「CCF終身成就獎(jiǎng)」始設(shè)于2010年，授予70歲以上的在計(jì)算機(jī)科學(xué)、技術(shù)和工程領(lǐng)域取得重大突破，有卓著成就與巨大貢獻(xiàn)的資深中國(guó)計(jì)算機(jī)科技工作者，由CCF理事長(zhǎng)會(huì)議推薦候選人，每年評(píng)選一次，每次不超過(guò)2人。

從2010年至今，「CCF終身成就獎(jiǎng)」的獲得者均是推動(dòng)中國(guó)計(jì)算機(jī)事業(yè)發(fā)展的著名科學(xué)家，他們的名單如下：

2010年：張效祥院士，上世紀(jì)50年代末主持研制成功我國(guó)第一臺(tái)大型通用電子計(jì)算機(jī)——104機(jī)；夏培肅院士，1960年支持研制成功我國(guó)第一臺(tái)自行設(shè)計(jì)的通用電子數(shù)字計(jì)算機(jī)——107機(jī)；
2011年：徐家福教授，我國(guó)最早的兩位計(jì)算機(jī)軟件博士生導(dǎo)師之一，在國(guó)內(nèi)自行研制的J-501機(jī)上研制出中國(guó)第一個(gè)ALGOL編譯系統(tǒng)；楊芙清院士，中國(guó)軟件領(lǐng)域奠基人之一，支持研制了中國(guó)第一臺(tái)百萬(wàn)次集成電路計(jì)算機(jī)150機(jī)操作系統(tǒng)；
2012年：金怡濂院士，上世紀(jì)70年代主持研制了國(guó)內(nèi)首臺(tái)雙處理器架構(gòu)的大型計(jì)算機(jī)，80年代中期領(lǐng)導(dǎo)開(kāi)展我國(guó)第一臺(tái)10億次巨型機(jī)的研制；汪成為院士，我國(guó)863計(jì)劃與國(guó)防973計(jì)劃的重要成員與杰出貢獻(xiàn)者；
2013年：陳俊亮院士，有線600/1200波特及無(wú)線600波特?cái)?shù)據(jù)傳輸設(shè)備的主要研制者之一，研制出我國(guó)第一臺(tái)「DS-2000程控?cái)?shù)字市話交換機(jī)」；董韞美院士，上世紀(jì)60年代中期主持研制出國(guó)內(nèi)最早的實(shí)用高級(jí)程序語(yǔ)言BCY；
2014年：陸汝鈐院士，我國(guó)知識(shí)工程和基于知識(shí)的軟件工程領(lǐng)域奠基性者，設(shè)計(jì)并主持研制了知識(shí)工程語(yǔ)言TUILI和大型專家系統(tǒng)開(kāi)發(fā)環(huán)境「天馬」，首次把異構(gòu)型DAI和機(jī)器辯論引進(jìn)人工智能領(lǐng)域，發(fā)表了國(guó)際上第一篇異構(gòu)型分布式人工智能文章；張鈸院士，將數(shù)學(xué)方法引入人工智能，提出基于統(tǒng)計(jì)推斷的啟發(fā)式搜索、基于拓?fù)涞目臻g規(guī)劃、基于關(guān)系矩陣的時(shí)間規(guī)劃，以及基于規(guī)劃的神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)等新方法；
2015年：倪光南院士，參與研制我國(guó)自行設(shè)計(jì)的第一臺(tái)電子管計(jì)算機(jī)（119機(jī)），提出并實(shí)現(xiàn)在漢字輸入中應(yīng)用聯(lián)想功能，主持開(kāi)發(fā)的聯(lián)想式漢字系統(tǒng)較好地解決了漢字處理中許多技術(shù)問(wèn)題；周興銘院士，主持研制了我國(guó)第一臺(tái)全數(shù)字實(shí)時(shí)仿真計(jì)算機(jī)“銀河-仿1”和我國(guó)第一臺(tái)面向科學(xué)/工程計(jì)算的10億次級(jí)“銀河-II”并行巨型計(jì)算機(jī)系統(tǒng)；
2016年：沈緒榜院士，中國(guó)芯片計(jì)算機(jī)的開(kāi)拓者和倡導(dǎo)者，上世紀(jì)70年代成功研制出大規(guī)模集成電路16位微計(jì)算機(jī)，實(shí)現(xiàn)了中國(guó)芯片計(jì)算機(jī)的歷史性突破；唐唐澤圣教授，中國(guó)計(jì)算機(jī)圖形學(xué)及相關(guān)領(lǐng)域的開(kāi)創(chuàng)者、引領(lǐng)者，上世紀(jì)80年代率先在國(guó)內(nèi)開(kāi)展計(jì)算機(jī)圖形學(xué)及CAD技術(shù)和科學(xué)計(jì)算可視化的研究；
2017年：胡啟恒院士，中國(guó)在模式識(shí)別與人工智能領(lǐng)域最早的探索者之一，中國(guó)互聯(lián)網(wǎng)早期發(fā)展的重要推手；李伯虎院士，我國(guó)計(jì)算機(jī)仿真技術(shù)和制造業(yè)信息化的開(kāi)拓者之一，參與研制了我國(guó)首臺(tái)航天用M2大型模擬機(jī)、領(lǐng)導(dǎo)研制了M6混合機(jī)的自動(dòng)尋優(yōu)機(jī)；
2018年：何新貴院士，上世紀(jì)70年代在國(guó)產(chǎn)計(jì)算機(jī)上成功研制出多個(gè)FORTRAN編譯系統(tǒng)，在編譯、數(shù)據(jù)庫(kù)、模糊邏輯、最優(yōu)化處理和軍用軟件等領(lǐng)域做出了突出貢獻(xiàn)；周巢塵院士，我國(guó)分布式程序設(shè)計(jì)理論研究的先驅(qū)者和開(kāi)拓者之一，上世紀(jì)90年代提出的時(shí)段演算理論開(kāi)創(chuàng)了實(shí)時(shí)系統(tǒng)形式設(shè)計(jì)的新途徑；
2019年：沈昌祥院士，為發(fā)展我國(guó)的信息安全和可信計(jì)算技術(shù)做出了系統(tǒng)性和創(chuàng)造性的重大貢獻(xiàn)；魏道政教授，我國(guó)計(jì)算機(jī)電路測(cè)試和容錯(cuò)計(jì)算領(lǐng)域的開(kāi)拓者之一，他提出的主路徑敏化法是70年代電子測(cè)試技術(shù)領(lǐng)域具有里程碑意義的成果，在計(jì)算機(jī)電路測(cè)試領(lǐng)域做出了系統(tǒng)性和創(chuàng)造性的重大貢獻(xiàn)；
2020年：陳國(guó)良院士，在并行計(jì)算的理論研究、工程應(yīng)用和教學(xué)等方面做出了卓越貢獻(xiàn)，創(chuàng)建了中國(guó)第一個(gè)國(guó)家高性能計(jì)算中心；孫永強(qiáng)教授，我國(guó)第一代計(jì)算機(jī)軟件科研工作者，20世紀(jì)60年代領(lǐng)導(dǎo)實(shí)現(xiàn)了國(guó)內(nèi)首批高級(jí)程序語(yǔ)言編譯器——911編譯程序系統(tǒng)

由此可見(jiàn)，2021年「CCF終身成就獎(jiǎng)」的獲獎(jiǎng)?wù)咭彩侨酥旋堷P。

胡守仁

1926年出生，浙江江山人，1949年畢業(yè)于浙江大學(xué)電機(jī)系，1952年到哈爾濱軍事工程學(xué)院工作，歷任助教、教研室主任、系副主任，1958年開(kāi)始涉足計(jì)算機(jī)領(lǐng)域，40年來(lái)一直從事計(jì)算機(jī)的教學(xué)與研究，主持了多臺(tái)計(jì)算機(jī)系統(tǒng)的研究與開(kāi)發(fā)。

后來(lái)，他又擔(dān)任國(guó)防科技大學(xué)教授、計(jì)算機(jī)研究所副所長(zhǎng)，中國(guó)計(jì)算機(jī)學(xué)會(huì)理事。共獲國(guó)家級(jí)獎(jiǎng)勵(lì)3項(xiàng)，部委級(jí)獎(jiǎng)勵(lì)10 多項(xiàng)，出版專著4 部，編有《計(jì)算機(jī)概論》，合編有《巨型計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)》等，發(fā)表學(xué)術(shù)論文百篇以上。

他獲得「CCF終身成就獎(jiǎng)」的理由是：

胡守仁教授是我國(guó)第一代計(jì)算機(jī)體系結(jié)構(gòu)的科技工作者，長(zhǎng)期從事高性能計(jì)算機(jī)系統(tǒng)的研究工作，作為負(fù)責(zé)人之一完成了151—Ⅳ百萬(wàn)次大型計(jì)算機(jī)和我國(guó)首臺(tái)億次巨型計(jì)算機(jī)「銀河Ⅰ」的研制，為我國(guó)高性能計(jì)算機(jī)事業(yè)做出了卓越貢獻(xiàn)。

1984年，銀河機(jī)獲國(guó)防科技成果獎(jiǎng)特等獎(jiǎng)。

關(guān)于胡守仁教授的研究經(jīng)歷，百度百科有一段動(dòng)人的描述：

胡教授的時(shí)間從來(lái)是以分秒計(jì)算的。40 多年來(lái)，他焚舟破釜，殫誠(chéng)畢慮，在我國(guó)計(jì)算機(jī)科研領(lǐng)域奮勇開(kāi)拓并取得卓越成就。1951 年，這位浙江大學(xué)電機(jī)系畢業(yè)的高材生，在西子湖畔被老師和同學(xué)送上了隆隆北去的火車，一個(gè)星期后抵達(dá)吉林通化，從此穿上軍裝，開(kāi)始了在國(guó)防科研領(lǐng)域的艱難跋涉。

1958 年是胡守仁人生的一次轉(zhuǎn)折。他到海上實(shí)習(xí), 目睹了我國(guó)海軍裝備的落后狀況。那時(shí)，人民海軍處在創(chuàng)建階段,我們從蘇聯(lián)引進(jìn)的魚雷快艇，僅靠一個(gè)機(jī)械式的三角桿作計(jì)算器，這種古老陳舊的計(jì)算方法根本無(wú)法適應(yīng)實(shí)戰(zhàn)、夜戰(zhàn)、近戰(zhàn)的需要。部隊(duì)的同志說(shuō)，魚雷快艇高速行駛，顛簸厲害，指揮員用拉桿計(jì)算目標(biāo)參數(shù)很不準(zhǔn)確，在夜間幾乎不能指揮作戰(zhàn)。胡守仁的心被強(qiáng)烈地震撼了, 他暗暗地萌發(fā)了自己研制魚雷快艇指揮儀的念頭。

此時(shí), 中央軍委決定研制我國(guó)自己的計(jì)算機(jī)，并把這一任務(wù)交給了胡守仁所在的「哈軍工」。學(xué)校成立了電子數(shù)字計(jì)算機(jī)研制組，胡守仁被任命為該項(xiàng)目的主要負(fù)責(zé)人。胡守仁說(shuō)，當(dāng)時(shí)他連計(jì)算機(jī)的一般概念都不知道，起步十分艱難。為了實(shí)現(xiàn)零的突破，他和戰(zhàn)友們邊學(xué)習(xí)，邊討論，邊研究，邊實(shí)踐。懷著對(duì)祖國(guó)的赤子之心，他們像打仗的戰(zhàn)士安營(yíng)扎寨，吃住都在實(shí)驗(yàn)室，工作不分晝夜，實(shí)在累了就睡一下，爬起來(lái)又接著干。經(jīng)過(guò)半年多的日夜奮戰(zhàn), 中國(guó)第一臺(tái)計(jì)算機(jī)終于問(wèn)世了!

砥兵礪伍，眾志成城。此后，胡守仁在計(jì)算機(jī)領(lǐng)域一發(fā)不可收: 1959 年他負(fù)責(zé)籌辦我國(guó)高等院校第一個(gè)計(jì)算機(jī)專業(yè)，開(kāi)始了我國(guó)最早的計(jì)算機(jī)教學(xué)；1962 年，他主持研制出了我國(guó)第一臺(tái)教學(xué)計(jì)算機(jī)；1968 年他主持研制出了我國(guó)第一臺(tái)車載靶場(chǎng)———數(shù)據(jù)錄取和處理計(jì)算機(jī)；1970 年他參加了我國(guó)第一臺(tái)百萬(wàn)次———“遠(yuǎn)望一號(hào)”測(cè)量船中心計(jì)算機(jī)的攻關(guān)，并作為計(jì)算機(jī)系副主任兼任“718”研究室主任和該任務(wù)的技術(shù)總體組組長(zhǎng)，第一次提出了變結(jié)構(gòu)的思想，大大提高了計(jì)算機(jī)的運(yùn)算速度和可靠性；1976 年以后，他相繼參加了我國(guó)第一臺(tái)億次巨型計(jì)算機(jī)“銀河Ⅰ”、第一臺(tái)數(shù)字仿真機(jī)“銀河仿真Ⅰ”的研制，兩次擔(dān)任技術(shù)總體組組長(zhǎng)……這一個(gè)個(gè)“中國(guó)第一”，像串珠一般，寫照著胡守仁為使我國(guó)計(jì)算機(jī)事業(yè)能在世界上占有一席之地而奮斗不息的壯麗人生。

張景中

1936年出生于河南汝南縣，本科畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，歷任中國(guó)科學(xué)技術(shù)大學(xué)數(shù)學(xué)系講師與副教授、中國(guó)科學(xué)院研究員，1993年擔(dān)任博士生導(dǎo)師，1995年當(dāng)選中國(guó)科學(xué)院院士，1996年初創(chuàng)辦了廣州大學(xué)（原廣州師范學(xué)院）計(jì)算機(jī)教育軟件研究所并擔(dān)任所長(zhǎng)、教授，主要從事機(jī)器證明、教育數(shù)學(xué)、距離幾何及動(dòng)力系統(tǒng)研究。

他獲得「CCF終身成就獎(jiǎng)」的理由是：

張景中教授提出了定理機(jī)器證明的數(shù)值并行方法，解決了初等圖形在歐氏空間嵌入等問(wèn)題，創(chuàng)建了幾何定理可讀證明自動(dòng)生成的原理和方法，推動(dòng)了機(jī)器定理證明智能化技術(shù)的發(fā)展。長(zhǎng)期致力于科普工作并做出了突出貢獻(xiàn)。

他在幾何定理可讀機(jī)器證明、教育數(shù)學(xué)、距離幾何及動(dòng)力系統(tǒng)、學(xué)科教育信息技術(shù)學(xué)科領(lǐng)域以及數(shù)學(xué)科普做出了突出的貢獻(xiàn)。主要成果包括：

計(jì)算機(jī)自動(dòng)推理：（1）提出以面積方法為基礎(chǔ)的消點(diǎn)法，實(shí)現(xiàn)了幾何定理可讀證明的自動(dòng)生成，使計(jì)算能夠給出容易理解和檢驗(yàn)的推理演算或證明過(guò)程，被國(guó)際同行譽(yù)為「是自動(dòng)推理領(lǐng)域三十年來(lái)最重要的進(jìn)展，是計(jì)算機(jī)處理幾何問(wèn)題道路上的里程碑」；（2）提出用近似計(jì)算獲取準(zhǔn)確值的理論和基本方法；（3）建立了復(fù)系數(shù)多項(xiàng)式的完全判別系統(tǒng)；（4）提出了幾何定理可讀證明自動(dòng)生成的點(diǎn)幾何方法。
度量幾何與幾何不等式：（1）給出初等圖形在歐氏空間實(shí)現(xiàn)的充要條件；（2）發(fā)現(xiàn)并證明了有限質(zhì)點(diǎn)組的基本的不等式；（3）證明了高維單形上Bernstein多項(xiàng)式凸性定理的逆定理；（4）解決了古典的單位圓規(guī)基本作圖問(wèn)題。
動(dòng)力系統(tǒng)與迭代：（1）給出逐段單調(diào)連續(xù)函數(shù)迭代根存在充要條件；（2）給出單調(diào)連續(xù)函數(shù)生成的迭代半群的唯一性準(zhǔn)則；（3）給出費(fèi)根堡函數(shù)方程連續(xù)解構(gòu)造方法。
教育數(shù)學(xué)：提出教育數(shù)學(xué)的基本觀點(diǎn)和理論，致力于通過(guò)把數(shù)學(xué)變得更容易而改革數(shù)學(xué)教育。建立有章可循的幾何解題方法和相應(yīng)的公理體系、提出不用極限概念的微積分學(xué)基本理論與方法。
教育信息技術(shù)：提出學(xué)科智能教育平臺(tái)的概念和基本理論方法，并將數(shù)學(xué)機(jī)械化的思想方法和成果用于教育軟件研發(fā)，創(chuàng)作了《Z+Z智能教育平臺(tái)》，獲香港國(guó)際發(fā)明博覽會(huì)金獎(jiǎng)。

張景中教授堅(jiān)持產(chǎn)學(xué)研結(jié)合的發(fā)展道路。2002年，他在廣州大學(xué)的支持下創(chuàng)立了廣州景中教育軟件有限公司并擔(dān)任公司董事長(zhǎng)。

消息鏈接：

https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA