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

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

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

软件工程分委会合影

人工智能分委会合影

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

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

梅宏院士致辞

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

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

软件工程分委会颁发聘书

人工智能分委会颁发聘书

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

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

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

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

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

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

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

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

软件工程分委会工作会议

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

人工智能分委会工作会议

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

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

点击“阅读原文”，加入CCF。

点我访问原文链接