唐稚松 《当代英才·唐氏楷模》科技界之十六

唐稚松（1925年8月7日—2008年7月21日），湖南长沙人，中国计算机科学和软件工程研究的先驱和开拓者之一，中国科学院学部委员，中国科学院软件研究所研究员。

人物生平

 1940年—1944年，先后在湖南长沙明德中学初中部和省立第一中学高中部学习；1945年—1950年，在国立西南联合大学及清华大学哲学系本科学习；1950年—1952年，在清华大学研究生院学习，专业为数理逻辑；1952年从清华大学哲学系研究生毕业后到中国人民大学数学教研室工作；1956年至1962年担任中国科学院数学研究所逻辑室助理研究员；1962年至1985年先后担任中国科学院计算技术研究所助理研究员、副研究员和研究员；1978年，在国际信息处理联合会（IFIP）专家组会议上，介绍了XYZ系统的概念及设计思想；1980年晋升为研究员，并任第一批博士生导师。

1983年，在国际信息处理联合会巴黎大会上提出了世界上第一个可执行时序逻辑语言XYZ/E；1985年担任中国科学院软件研究所研究员；1991年当选为中国科学院学部委员（院士）；1996年获得何梁何利基金科学与技术进步奖；2008年7月21日在北京逝世，享年83岁。

 主要成就 

 唐稚松于20世纪60年代中从事自动机理论研究，证明计算机转移命令的许多结构性性质，如转移命令可用循环代替，它比Bohm－Jacopi定理早一年。20世纪70年代中从事结构程序设计与结构化语言的研究，推动了中国国内这方面工作的开展。20世纪80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究，将时序逻辑理论与软件工程技术有机结合起来，以提高软件开发自动化的水平，从而提高其生产率。其中时序逻辑语言XYZ/E是世界上第一个可执行的时序逻辑语言。

早在1965年，唐稚松在《数学学报》发表了一篇关于计算机指令系统性质的论文，提出转移指令可用循环替代。这一重要结果比中国国外同行的类似结果早发表一年。二十世纪七十年代中期，他分析总结了国际上结构程序设计研究方面的大量资料，完成了长篇论文“结构程序设计与结构程序语言”。在此基础上，他设计了一个广谱的结构程序语言，取名为系列化语言族，简称XYZ系统。

学术论著

截至2008年7月，唐稚松在中国国内外发表学术论文逾百篇，并著有诗词作品集《桃蹊诗存》（桃蹊是他的笔名）；1955与朱秀玲合编《数学讲义》；1959年5月与胡世华、何成武翻译《算法论 上下》；1977年7月编著《结构程序设计与结构程序语言》；1985年8月编著《计算机软件开发方法、工具和环境》；1999年2月编著《时序逻辑程序设计与软件工程 上 时序逻辑语言》；2002年3月编著《时序逻辑程序设计与软件工程 下 软件工程方法与工具》。

学术交流

1979年，唐稚松应邀访问了美国斯坦福大学。截至2008年7月，应邀先后到欧美和日本等国的30多所大学、科研机构讲学和访问。

获得奖项

1989年时序逻辑的软件工程环境理论和系统方面的研究，国家自然科学奖一等奖；2003年《时序逻辑程序设计与软件工程》上、下册，国家图书奖正式奖；2003年《时序逻辑程序设计与软件工程》上、下册，全国优秀科技图书奖一等奖。

荣誉表彰

1996年何梁何利基金科学与技术进步奖；1991年中国科学院学部委员（院士）。

社会任职 

1980年，唐稚松成为来自中国的第一位国际信息处理联合会（IFIP）专家组成员；还先后担任《计算机学报》、《软件学报》、《自然科学进展》、《Journal of Symbolic Computation》等杂志的编委；中国软件行业协会顾问；中国中文信息学会常务理事；中国自然辩证法研究会理事；武汉大学、重庆大学、中南工业大学名誉教授；中国科学技术大学、西北大学、贵州大学等校兼职教授；计算机科学国家重点实验室名誉主任。

人物评价 

唐稚松先生是中国计算机科学和软件工程研究的先驱和开拓者之一，他为中国科学事业的振兴兢兢业业奋斗近六十载，贡献了毕生精力。先生是中国计算机科学和软件领域的主要学术带头人，在结构程序设计理论、程序语言、形式文法、汉字信息处理、软件工程等多个方面均有卓越建树。（中国科学院软件研究所评）

唐稚松先生一生始终面向国家重大需求开展科学研究，先生求真务实，以前瞻性的眼光不断开拓创新，身先示范并培养了大批计算机科学和软件理论方面的优秀人才，为研究所的发展、为中国计算机科学技术的进步做出了突出的贡献。先生严谨治学的科学精神和爱国奉献的高尚品德，值得大家不断学习和传承。（2015年9月16日中国科学院院士林惠民在主持唐稚松先生学术思想研讨会时指出）

后世纪念 

1995年，由斯坦福大学Z. Manna教授提议，国际学术界为庆祝唐稚松先生70寿辰在北京召开了学术研讨会，会议论文集由World Scientific出版社出版。

2015年9月16日，唐稚松先生学术思想研讨会在中国科学院软件研究所举行，研讨会由中国科学院院士林惠民主持，中国科学院院士陆汝钤、董韫美，唐稚松生前好友、同事、学生及工作过单位的代表60余人参加了活动。

 

 

 

 

华夏唐族文化交流中心办公室

二零二二年四月九日