唐稚松

唐稚松(5張)

1925年8月7日（農曆），唐稚松出生於湖南長沙。

1940年—1944年，先後在湖南長沙明德中學初中部和省立第一中學高中部學習。

1945年—1950年，在國立西南聯合大學及清華大學哲學系本科學習。

1950年—1952年，在清華大學研究生院學習，專業為數理邏輯。

1952年08月—1956年10月，擔任中國人民大學數學教研室講師。

1956年10月—1962年10月，擔任中國科學院數學研究所邏輯室助理研究員。

1962年10月—1985年03月，擔任中國科學院計算技術研究所助理研究員、副研究員和研究員 ^[4]  。

1978年，在國際信息處理聯合會（IFIP）專家組會議上，介紹了XYZ系統的概念及設計思想。

1980年，晉升為中國科學院計算所及軟件研究所研究員，並任第一批博士生導師。

1983年，在國際信息處理聯合會巴黎大會上提出了世界上第一個可執行時序邏輯語言XYZ/E。

1985年03月，擔任中國科學院軟件研究所研究員。

1991年，當選為中國科學院學部委員（院士） ^[5-6]  。

2008年7月21日3時31分，在北京因病醫治無效逝世，享年83歲 ^[7]  。

唐稚松於20世紀60年代中從事自動機理論研究，證明計算機轉移命令的許多結構性性質，如轉移命令可用循環代替，它比Bohm－Jacopi定理早一年。20世紀70年代中從事結構程序設計與結構化語言的研究，推動了中國國內這方面工作的開展。20世紀80年代初開始從事時序邏輯語言XYZ/E及以它為基礎的軟件工程工具與環境系統XYZ系統的研究，將時序邏輯理論與軟件工程技術有機結合起來，以提高軟件開發自動化的水平，從而提高其生產率。其中時序邏輯語言XYZ/E是世界上第一個可執行的時序邏輯語言 ^[2]  。

早在1965年，唐稚松在《數學學報》發表了一篇關於計算機指令系統性質的論文，提出轉移指令可用循環替代。這一重要結果比中國國外同行的類似結果早發表一年。二十世紀七十年代中期，他分析總結了國際上結構程序設計研究方面的大量資料，完成了長篇論文“結構程序設計與結構程序語言”。在此基礎上，他設計了一個廣譜的結構程序語言，取名為系列化語言族，簡稱XYZ系統 ^[7]  。

截至2008年7月，唐稚松在中國國內外發表學術論文逾百篇，並著有詩詞作品集《桃蹊詩存》（桃蹊是他的筆名） ^[7]  。

1979年，唐稚松應邀訪問了美國斯坦福大學。截至2008年7月，應邀先後到歐美和日本等國的30多所大學、科研機構講學和訪問 ^[7]  。

唐稚松培養了大批優秀的計算機理論和軟件方面的人才。他經常教導學生，作為科研人員，首先應具備科學的人生觀與世界觀，科學研究是探索真知，來不得半點虛假與投機取巧 ^[7]  。

唐稚松覺得，現在的科技界，在學術評價等方面，“人情味”還太重，“科學性”還講得不夠。在這樣的風氣下，同行評議也容易流於形式 ^[8]  。

1980年，唐稚松成為來自中國的第一位國際信息處理聯合會（IFIP）專家組成員；還先後擔任《計算機學報》《軟件學報》《自然科學進展》《Journal of Symbolic Computation》等雜誌的編委；中國軟件行業協會顧問；中國中文信息學會常務理事；中國自然辯證法研究會理事；武漢大學、重慶大學、中南工業大學名譽教授；中國科學技術大學、西北大學、貴州大學等校兼職教授；計算機科學國家重點實驗室名譽主任 ^[7]  。

唐稚松因生父唐子誠貧病早逝，他自幼過繼給寡伯母朱純軒為子。其祖父唐成之以藏中醫書聞名湖南，是清末民初在長沙最早創辦新型學校的人士之一 ^[7]  。

唐稚松先生是中國計算機科學和軟件工程研究的先驅和開拓者之一，他為中國科學事業的振興兢兢業業奮鬥近六十載，貢獻了畢生精力。先生是中國計算機科學和軟件領域的主要學術帶頭人，在結構程序設計理論、程序語言、形式文法、漢字信息處理、軟件工程等多個方面均有卓越建樹 ^[7]  。（中國科學院軟件研究所評）

唐稚松先生一生始終面向國家重大需求開展科學研究，先生求真務實，以前瞻性的眼光不斷開拓創新，身先示範並培養了大批計算機科學和軟件理論方面的優秀人才，為研究所的發展、為中國計算機科學技術的進步做出了突出的貢獻。先生嚴謹治學的科學精神和愛國奉獻的高尚品德，值得大家不斷學習和傳承 ^[9]  。（2015年9月16日中國科學院院士林惠民在主持唐稚松先生學術思想研討會時指出）

1995年，由斯坦福大學Z. Manna教授提議，國際學術界為慶祝唐稚松先生70壽辰在北京召開了學術研討會，會議論文集由World Scientific出版社出版 ^[7]  。

2015年9月16日，唐稚松先生學術思想研討會在中國科學院軟件研究所舉行，研討會由中國科學院院士林惠民主持，中國科學院院士陸汝鈐、董韞美，唐稚松生前好友、同事、學生及工作過單位的代表60餘人參加了活動 ^[9]  。