Summary of spring term in the second college

学业

这学期按照培养方案按部就班地学习课程

毛泽东思想和中国特色社会主义，马院 fwz 老师的，老师在寒假就发了课程作业，是个很敬业的老头，经常凌晨在微信群发消息，上课感觉比之前的思政课有趣一些。作业有课程十问、读书报告、课程总结三个部分。课程十问主要是介绍自己和简历，之前一直维护着简历，还算比较轻松；读书报告看了《邓小平时代》，问了一下父母对那个年代的记忆，感叹没有那个年代的改革开放，老一辈可能没法活下来，某种意义上小平同志也是我的恩人；课程总结就结合上课讲的内容阐释了一下。

习近平新时代中国特色社会主义，也是 fwz 老师的，由于是同一个老师，后八周好多课内容跟之前相似。作业是思考题、读书报告、课程总结，读书报告阅读了《习近平的七年知青岁月》，总书记的人生也不是完美的，他在前途未卜时没有消极应对，而是磨砺内心，这种面对逆境的人生态度值得我们学习。

fwz 老师不延期作业截止时间，结果自己申请提交成绩缓录。不过想来他一学期要上毛概、习概、中国式现代化，每门课有两个班次，课程过于繁重，期末批作业合计要看两三千篇文章（按照他的说法他会一篇一篇地看并批注）。毛概成绩是 7 月 3 日凌晨四点提交的，习概是 7 月 4 日下午四点提交的，实在是辛苦了。

基础物理学(3)，选的 pyk，一学期照着赵凯华的《电磁学》和《热学》讲，而且也有很多有趣的内容没有涉及，总之一学期下来不怎么花时间。平时挑出课件问题或者是写自己思考都可以加分，就连课程建议也能加分，但期末比较忙也不想写这些没有意义的东西，差不多是微积分 cjl 老师的翻版了。

期末期间由于赶习概论文时间比较紧迫，没怎么复习，期末考试考得一般。不过这也是本科最后一门物理课了，想来除了物理当中的一些思想，之后也不会做和物理相关的事情，无论多好的白月光都会在现实世界的冲击下消散……

离散数学(2)，软院 cl 和 lsx 老师合开的计算机基础课，前四分之三是图论，后四分之一是代数结构，图论知识还是蛮有趣的，知乎上相关问题也挺有意思的，很多技巧比较烧脑，从图变换层面有极长回路、路径扩散、对偶转化，从方法论层面有数学归纳法、反证法、重合法，从算法层面介绍了 Dijkstra、Warshall、Ford、匈牙利等一些经典算法，还讲了旅行商问题的近似解法，和算法分析课中的部分内容重合。群论讲了判定群的口诀“凤姐咬你”（封闭、结合律、幺元、逆元），然后简要介绍了置换群、左右陪集、正规子群，但没有抽象代数那么深入。

平时作业比较难，好多题不能直接想出来，只好参考祖传答案。还有一些上机作业，主要是基本算法的实现，也不难。期末考试不难，解答题基本都能做，填空题有些不太确定，不过分值不大。总之，这门课强化了一些计算机基础知识，很多问题也可以用图论的方式去建模，方便计算机离散处理。

操作系统，软院 wlj 开设的核心专业课，课堂没那么吸引人，到后面出勤率只有 \(50\%\)。授课内容基本按照谌卫军《操作系统》一书，有进程调度、死锁、存储管理、I/O 设备管理、文件系统这些内容。学完这些显然我造不了一个操作系统，不过让我对电脑进程调度有进一步的认识，一个很显著的改观是我尽可能减少了同时打开的进程，之前实在是不懂事亏待了自己的电脑。

这门课还穿插软院经典私货——Petri 网，具体来说就是用两种状态类型描述系统资源的调度情况，可以形式化为一种自动机，还可以证明着色 Petri 网和 Petri 网表达能力是等价的。不过除了理论漂亮之外没啥可用之处，用来绘制着色 Petri 网的软件只支持 Windows，最新版还是 \(2013\) 年的，这个领域可以说被全世界淘汰了。。

期末考试听学长说只用看谌卫军《操作系统》这本书就问题不大，结果今年大改，完全没涉及这本书上哪怕任何一句话，还好平时有几节课去听了，每道 \(18\) 分的三道大题都磕磕绊绊地求解出来了，最后拿了 \(89\) 分。考试之后是大作业，在教学操作系统 xv6-riscv 上实现新的文件系统，组队 \(4\) 人，我负责哈希表用来检索文件和 md5 信息摘要算法。 期末展示前学习了用 \(\LaTeX\) 编写 thu 主题的 beamer，整体答辩效果不错，助教直接给我们整个组满分。

形式语言与自动机，之前是 lgm 老师开设课程，今年由 gy 老师第一次接替授课，相比之前增加手写实现正则表达式的大作业。实验倒是让我深刻理解正则表达式的运行流程，这可是数据清洗的重要技术。不过对每种情况逐一构建非确定自动机是真的会写吐，还要考虑各种边界情况，有 de 不完的 bug，最后隐藏样例评测也没能全过，可想而知 regex.h 库和 python 的 re 库都是相当有水平的，不是我能驾驭的，我还是安安心心调包吧……

和离散数学 (2) 一样，平时作业也有好多不太能独立解答，参考了许多资料。期末考试不是很理想，大题考了 AC 自动机、PDA 构造、带约束图灵机，不是很会。这门课主要教会了我如何去形式化一些“自然语言”，以及看 Turing 如何秀翻理论计算机领域，要说用处的话估计就是会一些正则表达式的编写规则吧。

算法分析与设计基础，软院 wb 老师的，整体内容非常丰富，的确能学到很多东西，对应《算法导论》基础知识、排序与次序统计量、动态规划、贪心算法、摊还分析、字符串匹配、NP 完全性、近似算法、多线程算法，老师人很好，讲课也清晰。既有数学层面的分析，也有很多算法实验，每年都有经典作业——seam-curving。这门课平时作业任务量是真的重，感觉不像是一门两学分的课。不过《算法导论》这本书是写得好，通俗易懂，零基础也能理解。

• 主定理的证明非常严谨
• 之前不太能理解动规和贪心，这本书从抽象的角度分析了这两种高级技术背后的逻辑，前者是重叠子问题和最优子结构，后者则是拟阵这一数学结构。
• NP 完全问题从规约的角度展示了 \(7\) 个经典的 NP 完全问题
• 多线程的调度突然让我回忆起 Transformer 中 \(d=1024\) 的用意，矩阵加速运算需要二分，当有无限多的资源时，两个 \(n\times n\) 的矩阵乘法能优化到 \(\Theta(\log n)\) 的时间复杂度

二年级男生手球，体育部 lyb 老师的，老师年事已高，腿部还受了伤，不能像之前那样跟我们一起打手球比赛了。这学期难点是引体向上，从第十二周起，每隔一天在紫荆东侧单杠处练习，两只手的虎口全都磨破了，有段时间敲键盘特别痛。破茧成蝶，出了血结疤之后，结合腹部力量推动重心上移法，引体向上终于能稳定输出。十五周考核做了 \(14\) 个，对我来说很满意了。手球专项给分也不差，最后拿到自己满意的成绩。

实习

商汤公司，NLP 见习算法实习生（语言模型设计方向），去工业界看看，的确大开眼界。很难想象能在企业做科研，而且使用的是世界最前沿的技术。

• 工作地点在中关村，骑车三四十分钟，不过打车可以企业报销，一般选择打车过去，公司能从窗户向外看到北京大学的博雅塔，每周去三到四天（一般是周末和平常一两天的晚上）

• 公司资源非常丰富，只要是从研究的角度出发，基本想有什么就有什么

• 公司的算力是海量的，对我而言，可以随时调用 \(2^7\) 张 A100 并行训练几百亿参数语言模型

• 发布会之旅

  • 4 月 8 日：到达上海商汤科技人工智能计算中心，也是商汤科技算力之源，旁边就是特斯拉工厂

  • 4 月 9 日：接连几天在计算中心调参刷分，发布会展示的八个项目当中有两个项目和我们组相关

  • 4 月 10 日：发布会现场演示我们训练好的语言模型，还跟许多投资人交流一些技术细节，当晚打车到外滩，遇到好多热情的上海人帮我们拍照，直到凌晨两点才找到企业能预定的酒店

  • 4 月 11 日：发布会很成功，股价大涨，mentor 带着我们组在上海外滩附近坐游轮，吃了好几顿正宗上海菜，期间在出租车上听荷塘雨课堂，晚上飞回北京返校

科研

这学期主要是把之前软件学院 SSRT 的项目结题，报名参加今年的挑战杯，由于没什么亮点，就按照一些既有的压缩算法汇报展示，今年校科协提交材料特别早，导致很多内容特别仓促，最后“挑战杯”拿了三等奖。

社工

校科协，“挑战杯“展览现场工作人员，在各个展区到处转，软院的展区实在是比较冷清，lfh 的特奖项目是一个软体机器爪，很有意思。今年行健书院的挑战杯项目质量特别高，遇到了高中陪我一块学物理竞赛的 qyy 学长，他们做了一个轮椅。

总览全场，我至少找到三个项目在整体框架上雷同，不过应该是各书院和原院系重合的原因。在展览过程中，我在公司老板的老板还来了，他是自动化系的三字班学长，人称“鼎爷”（CEO 也这样叫他），跟他聊了一会儿科创经历，不过他一个月之后从公司离职了，想必他有自己的想法。

软院科协负责 ReadMe 项目，开学期间写了一个征集推送，号召软院的同学多投稿，分享学习经验，接着熟悉了一下 mkdocs 框架，往仓库里更新了一些投稿内容。

志愿

答疑坊，本学期继续在答疑坊工作，进入答疑坊队委，协助管理答疑坊。原本每两周去一次，由于周二其余队委都没空，改到每周二晚上都在答疑坊值班。

“温故而知新”，我在给别人讲授的时候也对知识有更新的理解，比如克罗内可内积、几何平均矩阵、刚体转动动能合成方法、世界线与狭义相对论、oop 工程细节 debug、配置 vscode 编译环境等等，每次走出答疑坊，相信和各位来答疑的同学一样，我也收获不少。

这学期学生发展中心也积极组织和各位基础学科授课教师开展座谈会

• 微积分教学组那帮老师尤其是 wxf 语出惊人，对教育界指点江山，不过目前来看高中和大学之间教育的脱节一时半会儿也不太好解决
• 线性代数教学组老师都很好的，许多线代中文教材的编者出席，他们对整个线性代数课程的设计颇有研究
• 大学物理教学组比较抽象，在问卷“希望了解什么情况”一栏里面填写的“任何情况”。物理是一门实验科学，有个物理老师利用详实的“签到组”和“非签到组”实验数据，最后论证出“物理课的学习还是需要依靠自身”的结论，懂了，学得不好跟老师无关……