CCF@U第1246场：CCF理论计算机科学(CCF-TCS)专委会走进云南大学
为分享交流理论计算机科学的最新进展，拓宽学术视野，2025年4月28日上午，由中国计算机学会（CCF）主办，云南大学信息学院与CCF理论计算机科学(CCF-TCS)专委会共同承办了“CCF-TCS专委会走进云南大学”活动。云南大学信息学院，软件学院，数学与统计学院近300名师生参加了此次活动。
出席本次活动的专家代表包括，CCF理事、CCF-TCS专委主任、电子科技大学计算机科学与工程学院副院长肖鸣宇教授；CCF-TCS专委副主任、新基石研究员、南京大学计算机学院尹一通教授；CCF-TCS专委副主任、香港城市大学工程学院副院长李闽溟教授；CCF-TCS专委常务委员、华中科技大学何琨教授等。
活动开幕式由信息学院副院长王津教授主持。信息学院院长张学杰教授与CCF-TCS专委主任肖鸣宇教授先后致辞。张学杰教授以深厚的专业素养，深入阐释理论计算机科学作为计算机学科核心根基的重要地位，点明其在信息技术创新发展进程中无可替代的关键支撑作用，让在场师生对学科发展的重要性有了更深刻的认知。
肖鸣宇教授着眼未来，在致辞中首先对云南大学信息学院的邀请表达诚挚谢意，随后着重勾勒合作蓝图。他表示，CCF-TCS 专委会将充分整合优势资源，全力搭建与云南大学常态化、深层次的交流合作平台，通过持续深化双方在理论计算机科学领域的协作，助力该学科在云南的发展。
开幕式之后，大会进入学术报告阶段，CCF-TCS专委主任肖鸣宇教授和CCF-TCS专委副主任尹一通教授作理论计算机前沿成果专题报告。
肖鸣宇教授的报告题目为《分数聚合问题与算法》。报告伊始，肖鸣宇教授从贴近生活的实例切入，以学生GPA计算、学术同行评审等多个现实场景为例，将具象化的实际问题巧妙抽象提炼为分数聚合问题，并对加权平均这一传统解决方式进行系统回顾。紧接着，肖鸣宇教授深入分析传统加权方式的局限性，犀利指出权重设置公平性的关键问题，引发在场师生对既有方法的深刻思考。最后，他着重介绍团队最新研究成果，针对分数聚合问题中的权重公平性难题，提出创新性的解决方案与算法，为该领域的研究提供了全新视角与方向，让听众在领略前沿学术魅力的同时，也对分数聚合问题有了更深入、全面的认知。
尹一通教授的报告题目为《计算理论之美》。他以计算机科学先驱阿兰·图灵（Alan Turing）的经典问题“什么是计算？”为切入点，深入浅出地解析图灵机的数学模型，点明其对现代计算机科学发展的奠基意义。紧接着，他通过鲜活案例，生动阐释 “存在不可被计算的问题”，清晰展现数学与计算领域的边界与局限。报告中，尹教授聚焦计算复杂性理论的核心——P与NP的关系，巧妙引入《超级马里奥》、《塞尔达传说》等大众熟知的经典游戏，将复杂的NP完全问题研究融入趣味化的情境，诙谐的讲解引发全场阵阵欢笑。最后，尹一通教授总结道：“计算机科学不仅是研究机器的学科，更是探索问题本质与解决之道的科学。”他以饱含期许的话语，鼓励青年学者勇攀理论计算机科学高峰，为学科发展注入新活力。
在学术报告之后的座谈交流环节，现场气氛热烈，与会师生围绕理论计算机科学前沿议题，与肖鸣宇教授、尹一通教授展开深度探讨，浓厚的学术氛围弥漫全场。面对师生们提出的疑问，两位嘉宾不仅细致解答，还结合自身丰富的研究经验，针对不同研究方向提出切实可行的建议。同时，参会师生也积极表态，将充分发挥自身优势与创新活力，深度参与学术研究、实践探索等工作，为CCF-TCS的发展贡献智慧与力量。
本次“CCF-TCS专委会走进云南大学”活动意义深远，不仅为云南大学师生搭建起与行业顶尖学者深度对话的优质平台，更在跨校学术交流、人才联合培养等方面开拓了全新思路，创造了宝贵契机。未来，中国计算机学会理论计算机科学专委会与云南大学将形成双向赋能的良性互动，以理论计算机科学的蓬勃发展为引擎，在助力“数字云南”建设与“3815”战略目标实现的同时，共同探索学科发展新路径，携手推动理论计算机科学的发展。
京公网安备 11010802032778号