时间：2025年11月22日周六上午10:10-12:00
地点：鼓楼校区，新教203
每人演讲不超过6分钟 + 问答
| 报告人 | 题目 | 下载 |
|---|---|---|
| 王祯 | C++中的面向对象多态实现 | [摘要] [Slides] |
| 顾明宇 | 从“简单命令解析状态机”入手：浅析 goto 语句面对复杂控制流时的可维护性代价 | [摘要] [Slides] |
| 杨飞扬 | 突破 C 语言原生数值限制的高精度运算算法研究 | [摘要] [Slides] |
| 周俊辉 | Python 类型提示与函数式编程的类型范式同源性研究 | [论文] [Slides] |
| 许家旗 | 基于求逆运算符的 Church Numerals 复数域扩展 | [摘要] [Slides] |
| 阮贝宁 | 拉斯维加斯算法和蒙特卡洛算法 | [摘要] [Slides] |
| 黄圣棋 | λ-表达式的正规形式是唯一的 | [摘要] [Slides] |
| 胡世远 | Brainfuck 语言的实用化转变 | [摘要] [Slides] |
| 张罗亮 | 圆周率计算背景下的 C++ 与 Haskell 语言比较 | [论文] [Slides] |
| 曹芮嘉 | WebAssembly 在提升 Web 应用性能中的优势 | [摘要] [Slides] |
| 唐宇恩 | C 语言常见宏陷阱：原因剖析和预防准则 | [摘要] [Slides] |
| 李林 | 浅谈 C++ 的异常处理机制及其性能分析 | [摘要] [Slides] |
| 翟悦凯 | 基于大语言模型混合策略的代码作者混淆方法 | [摘要] [Slides] |
| 冯梓轩 | 基于 Coq 的欧几里得算法的正确性验证 | [摘要] [Slides] |