2025年10月22日晚，第四届全国计算机科学技术名词审定委员会在哈尔滨正式成立理论计算机科学、软件工程、人工智能、计算机交叉学科4个分委员会，并召开各分委员会第一次工作会议。

全国计算机名词委主任委员梅宏院士，全国科技名词委事务中心副主任张晖、审定四处处长刘金婷，全国计算机名词委副主任委员、清华大学李国良教授出席会议。理论计算机科学审定分委会主任委员詹乃军教授、软件工程审定分委员会主任委员李宣东教授、人工智能审定分委员会顾问梁吉业教授、计算机交叉学科审定分委会主任孙晓明研究员，以及徐晓飞教授、徐宝文教授、于剑教授、黄萱菁教授等70余位专家出席了会议。成立仪式由全国计算机名词委副主任委员李国良主持。

理论计算机科学分委会合影

软件工程分委会合影

人工智能分委会合影

计算机交叉学科分委会合影

梅宏院士在致辞中肯定了名词委工作的重要性，分享了对名词审定的认识与理解。他表示今天的成立会之后全国计算机名词委下设的12个分委员会就全部成立了，希望后续各位委员以严谨求实的精神开展工作，与各方共同努力完成好这项任务。

梅宏院士致辞

会上全国科技名词委事务中心审定业务四处副编审余前帆宣读了理论计算机科学、软件工程、人工智能、计算机交叉学科4个分委会的委员名单，梅宏院士和詹乃军主任为理论计算机科学分委会所有委员颁发聘书，梅宏院士和李宣东主任为软件工程分委会所有委员颁发聘书，梅宏院士和梁吉业顾问为人工智能分委会所有委员颁发聘书，梅宏院士和孙晓明主任为计算机交叉学科分委会所有委员颁发聘书。

理论计算机科学分委会颁发聘书

软件工程分委会颁发聘书

人工智能分委会颁发聘书

计算机交叉学科分委会颁发聘书

张晖副主任介绍了国家名词审定工作的历史渊源和全国科技名词委的总体工作概况。刘金婷处长介绍了名词审定工作原则及方法。李国良教授介绍了全国计算机名词委的概况及总体工作规划。

张晖副主任介绍科技名词审定工作

刘金婷处长介绍审定原则及方法

李国良介绍全国计算机科技名词委审定工作

在工作会议中，理论计算机科学分委员会主任詹乃军研究员介绍了理论计算机科学分委员会在全国计算机科学技术名词审定委员会中的独特定位和分委员会的总体工作设想及工作计划，然后线上和线下参会委员就工作计划进行了广泛深入的讨论。与会委员主要讨论了理论计算机科学的二级目录如何确定的问题，基本上形成了以下共识：1. “数据结构”二级目录合并进入“算法设计与分析”二级目录，不再作为一个单独的二级目录；2. 新增“形式化方法”二级目录，佩特里网不再作为一个二级目录，而是作为“形式化方法”的一部分；3. “程序理论”二级目录需要跟系统软件分委会就一些可能交叉重叠的名词进行讨论；4. “形式化方法”二级目录需要跟人工智能分委会会就一些可能交叉重叠的名词进行讨论。最后，与会委员建议后续尽快讨论确定二级目录，并确定每个二级目录的责任专家和秘书，然后开始名词的收集整理工作。

理论计算机科学分委会工作会议

软件工程分委员会主任李宣东教授介绍了软件工程分委员会的总体工作设想及工作计划。围绕分委员会分工以及软件工程名词二级目录设置，与会的徐晓飞教授表示二级目录设置初稿中存在若干二级目录涵盖过多条目的情况，如何进行拆分和细化值得讨论；此外，如何与软件工程SWEBOK进行对照关联也值得考虑。徐宝文教授强调要明确软件工程名词二级目录设置的原则，形成共识非常关键。尹建伟教授、毛新军教授、王千祥教授、彭鑫教授等其他与会专家也对该问题发表了各自的见解和意见。最后，李宣东教授总结了第一次工作会议内容，表示软件工程名词规范化是一项重要的基础性工作，责任重大。软件工程名词的编写与审定工作将在前三届的基础上，对现在涌现的新概念进行适量扩充，并按照名词委的统一时间安排，完成第四版名词的确定与释义，促进科技交流与知识传播。

软件工程分委会工作会议

人工智能分委会集中讨论了分委会工作计划，顾问委员会委员和审定委员会委员通过线上线下联合会议，讨论分析了第三版《计算机科学技术名词》人工智能部分存在的问题，大家一致认为，近年来人工智能大爆发，出现了许多新理论、新方法、新技术，第三版名词体系不能适应新的发展形势，第四版应该作大量补充和修订。经过认真讨论，形成第四版人工智能部分的二级目录，为后续收词工作做好充分准备，张晖主任、刘金婷处长参加了分组讨论，并回答了相关问题。

人工智能分委会工作会议

计算机交叉学科分委员会主任孙晓明研究员介绍了交叉学科分委员会在全国计算机科学技术名词审定委员会中的独特定位，秘书长吴俊杰研究员介绍了分委员会的总体工作设想及工作计划，全体参会委员进行了自我介绍。针对交叉学科名词的多学科特点，与会委员提出生物信息学中同时含生物和信息的名词是否收录、如何收录等问题，全国科技名词委事务中心审定四处处长刘金婷对这类组合名词的收录问题予以了现场答疑。最后，针对交叉学科分委员会涵盖领域多的特点，会议讨论了后续工作组织，一致同意分别请量子计算、生物信息学、计算经济学、计算机教育、计算机应用（含计算艺术、计算法学、数字农业、智能汽车、智慧交通、数字医学、数字金融等计算+行业分会方向）五个方向的副主任召集本方向委员进一步分组讨论，细化收词、释义工作。本项工作对于促进计算机交叉学科方向发展具有非常重要的意义。

计算机交叉学科分委会工作会议

附  

第四届全国计算机科学技术名词审定委员会理论计算机科学审定分委员会委员名单

主任委员：詹乃军

副主任委员：傅育熙 金芝 李宣东 李健

委员（按姓名拼音排序）：

冯元 胡斌 胡振江 季铮锋 李昂生 李国强 刘万伟 刘志明 马晓星 裘宗燕 孙猛 孙晓明 王捍贫 王戟 夏壁灿 肖鸣宇 许进

秘书长：吴志林

秘 书：安杰 陈明帅 陈振邦 李绿周 张家琳

第四届全国计算机科学技术名词编写委员会理论计算机科学编写分委员会委员名单

主 编：詹乃军

副主编：孙晓明 王戟 肖鸣宇

编 委（按姓名拼音排序）：

蔡少伟 陈立前 曹钦翔 曹永知 邓玉欣 伏虎 胡斌 李国强 刘万伟 马晓星 裘宗燕 孙猛 王捍贫 汪宇霆 熊英飞 尹一通 张民

秘书长：吴志林

秘 书：陈明帅 陈振邦 李绿周 张家琳 安杰

第四届全国计算机科学技术名词审定委员会软件工程审定分委员会委员名单

顾 问：梅宏 吕建 王怀民 徐晓飞 赵文耘 金芝 徐宝文 王戟

主任委员：李宣东

副主任委员：马晓星 王忠杰 彭鑫 李戈 王千祥

委员（按姓名拼音排序）：

白晓颖 贲可荣 范菁 江贺 李青山 毛晓光 毛新军 王林章 王尚广 魏峻 文俊浩 夏鑫 谢冰 许畅 玄跻峰 尹建伟 应时 张洪宇 张莉 周明辉

秘书长：刘辉

秘 书：邢颖 王璐

第四届全国计算机科学技术名词编写委员会软件工程编写分委员会委员名单

主 编：李宣东

副主编：毛新军 张莉 刘譞哲 邓水光

编 委（按姓名拼音排序）：

邵栋 陈碧欢 陈振邦 董威 董震 高翠芸 刘烨庞 吕智慧 裴丹 石琳 孙艳春 涂志莹 王涛 王伟 王新宇 王莹洁 谢晓园 熊英飞 薛霄 郑子彬 朱少民  

秘书长：马于涛

秘 书：王璐 邢颖

第四届全国计算机科学技术名词审定委员会人工智能审定分委员会委员名单

顾 问：谭铁牛 查红彬 梁吉业 于剑 俞凯 侯增广 孙富春 黄萱菁 周国栋

主任委员：陈熙霖

副主任委员：王亮 景丽萍 魏建国 屠长河 万小军

委员（按姓名拼音排序）：

白翔 蔡毅 曹云波 陈露 陈竹敏 程明明 段楠 方斌 耿新 李宇峰 李泽超 林宙辰 刘家瑛 刘瑞 鲁继文 秦洪德 石川 史雪松 田永鸿 王东 王井东 王瑀屏 吴飞 徐凯 虞晶怡 岳祥虎 张晓雷 张仰森 朱策 庄福振

秘书长：毋立芳

秘 书：庄福振 岳祥虎 王瑀屏 王中卿

第四届全国计算机科学技术名词审定委员会计算机交叉学科审定分委员会委员名单

顾 问： 邓小铁 高琳 黄岚 张莉

主任委员：孙晓明

副主任委员：陈学斌 李绿周 毛新军 祁琦 张法

委员（按姓名拼音排序）：

曹志刚 陈卫卫 管仁初 李浥东 李颖 林喜芬 刘正阳 栾家 毛明志 施建宇 斯白露 孙鹏 王晗 王子贺 卫志华 吴伟 尹璋琦 于合龙 张博宇 张彤 赵欢

秘书长：吴俊杰

秘 书：劳玲玲 石惟旭

第四届全国计算机科学技术名词编写委员会计算机交叉学科编写分委员会委员名单

主 编：孙晓明

副主编：陈学斌 李绿周 毛新军 祁琦 张法 吴俊杰

编 委（按姓名拼音排序）：

白艳 陈建鑫 陈洲 程超 程大伟 崔学峰 付绍静 黄栋 李博 李维安 刘佐珠 蒲亦非 强晓刚 任申元 孙涵 谭火彬 王立坤 王鑫 魏彦杰 张海峰 张昕然 张昱 章文 郑盛根

秘 书：薛诗川 王易之