云南大学信息学院承办“CCF-TCS专委会走进云南大学”活动

2025年4月28日上午，云南大学信息学院与中国计算机学会理论计算机科学专委会(CCF-TCS)共同承办了“CCF-TCS专委会走进云南大学”活动。CCF-TCS专委主任、电子科技大学计算机科学与工程学院副院长肖鸣宇教授，CCF-TCS专委副主任、新基石研究员、南京大学计算机学院尹一通教授，CCF-TCS专委副主任、香港城市大学工程学院副院长李闽溟教授，CCF-TCS专委常务委员、华中科技大学何琨教授，以及云南大学信息学院、软件学院、数学与统计学院近300名师生参加了此次活动。

聚焦前沿理论，启迪创新思维

CCF-TCS专委主任肖鸣宇教授和CCF-TCS专委副主任尹一通教授作理论计算机前沿成果专题报告。

肖鸣宇教授的报告题目为《分数聚合问题与算法》。报告伊始，肖鸣宇教授从贴近生活的实例切入，以学生GPA计算、学术同行评审等多个现实场景为例，将具象化的实际问题巧妙抽象提炼为分数聚合问题，并对加权平均这一传统解决方式进行系统回顾。紧接着，肖鸣宇教授深入分析传统加权方式的局限性，犀利指出权重设置公平性的关键问题，引发在场师生对既有方法的深刻思考。最后，他着重介绍团队最新研究成果，针对分数聚合问题中的权重公平性难题，提出创新性的解决方案与算法，为该领域的研究提供了全新视角与方向，让听众在领略前沿学术魅力的同时，也对分数聚合问题有了更深入、全面的认知。

尹一通教授的报告题目为《计算理论之美》。他以计算机科学先驱阿兰·图灵（Alan Turing）的经典问题“什么是计算？”为切入点，深入浅出地解析图灵机的数学模型，点明其对现代计算机科学发展的奠基意义。紧接着，他通过鲜活案例，生动阐释 “存在不可被计算的问题”，清晰展现数学与计算领域的边界与局限。报告中，尹教授聚焦计算复杂性理论的核心——P与NP的关系，巧妙引入《超级马里奥》、《塞尔达传说》等大众熟知的经典游戏，将复杂的NP完全问题研究融入趣味化的情境，诙谐的讲解引发全场阵阵欢笑。最后，尹一通教授总结道：“计算机科学不仅是研究机器的学科，更是探索问题本质与解决之道的科学。”他以饱含期许的话语，鼓励青年学者勇攀理论计算机科学高峰，为学科发展注入新活力。

在学术报告之后的座谈交流环节，现场气氛热烈，学术氛围浓厚。面对师生们提出的科研问题，两位嘉宾不仅细致解答，还结合自身丰富的科研经验，给出了切实可行的建议。

搭建学术交流平台，深化交流合作

本次“CCF-TCS专委会走进云南大学”活动成功搭建起CCF-TCS 专委会与云南大学的深度交流桥梁。双方今后将持续深入合作，以计算机科学的前沿技术为引擎，助力“数字云南”建设与“3815”战略目标实现，共同探索学科发展新路径，携手推动理论计算机科学的发展。