前路漫漫——2023 年末回顾

2023 终于是过去了，今年的表达欲，似乎全部被“繁忙”的课程压制了，但还是在每年的生日和年末总结一下每一个半年吧。

2023 年的下半年，正式成为了北京大学的学生，虽已不是首次相见，但半个月的不是那么严酷的军训和冒着雨参加的开学典礼还是给了一些仪式感。认识了新的同学，也开启了新的学期，迎接新的课程。

我与人类

和快乐的预科相比，本学期的课程真正提供了不少的压力，压力的背后也有很多快乐的瞬间，无论是睡前和舍友们说的各种怪话，还是和同学一起聚餐、出游，又或者是我自己一时兴起进行的 city walk，都是大学生活里最棒的调味料。我想我足够幸运，能碰到一群有趣、可爱的同学们。

同时，我也足够的幸运，能够获得一个人的陪伴，很多时候，一瞬间的痛苦总是能将人淹没，但是一些简单的言语和自己留给自己的一点点想象空间总是能简单地将其治愈，也许这就是一种爱的魔法吧，总是能让你轻拍身上的泥土，然后再次看向前方，说一句：“没关系，还有未来”。

或许，在这些文字另一面的你缺少他人的陪伴，但我想我们也可以爱自己，给自己一个拥抱，给自己一点力量，其实一切都没有那么大不了。就像吴青峰在《近未来》中写的：

像盲目的季节来来回回
不管黑夜怎么长，白昼总会到来
就像没有路的森林冲破了天
终于了解，生命必须有裂缝，阳光才照得进来

在静园五院自我介绍的展板上，我写下了吴青峰曾经说过的“温柔地推翻这个世界”，我想保持温柔和敢于斗争正是我对自己的一种期许吧。

我与知识

从小我便是一个充满着好奇心的人，对知识的探索好像可以一直给予我快乐，我常常觉得自己什么都想学，想学计算机，想学数学，想学文学，想学哲学，想学心理，想学艺术……但是这一个学期却也仅仅能完成培养方案，至于探索好像全部被游戏和水群的时间占据了，希望能警示一下自己，下学期时间安排能更合理一点。以下是一点小小的课程测评（与其说是测评，更像是我学习的感受吧）：

我高中时的物理并不好（或者说，没怎么上过课刷过题），但我仍然想要窥探一点点物理知识，于是我没有选择“水课”，而是选修了力学。感谢邢英杰老师，他的物理课总能提纲挈领地抓住要点和难点，在最后的几节课上，他对我们说，虽然我们可能这辈子可能都不会再碰物理题了，但是希望我们脑子里能够有科学的思考和物理的图像。虽然由于各种做题的失误，我最终获得了 84 的好成绩，但还是很感激邢老师，也算是在物理方面进行了一点浅尝辄止的学习，了结了一些高中没怎么学物理的遗憾吧。

至于数学分析和高等代数两门数学基础课，我也只能说是勉强完成任务。数学美吗？挺美的，但是我有点提不起劲（或者说我对于通过刷题来增加做题正确率较为排斥，也不觉得这样能带来真正的提升），至于更为高深的数学我也不知道如何下手。至于课程本身的内容，刘培东老师的课堂的确风趣，最后补充的内容对于有相关基础的我来说不算很难，但是很有趣；至于 tqc 老师基本就是按自己的理解把书上的东西重新推一遍，如果看书能看懂的话大部分课可以选择倍速播放（大概）。

最重要的，便是计算概论（实验班），尽管有很多同学对这门课颇有微词，但我态度鲜明的表示我非常喜欢这门课程。像这门课程一样能让你在课堂上学习到东西的计算机课程也许并不多，这门课便是其中之一。这门课算是一个对 FP 也就是 functional programming，函数式编程的初探，前半部分由张伟老师讲授，由于我本身已经学过一些，所以大部分时候都是在看电脑，通过听课来达成一个复习的效果。后面有关 functor, applicative functor 和 monad 的部分，需要认真倾听，并且很重要的是在听课时要多想。所以建议大家先提前预习，熟悉概念后，就不会出现听课时因为概念模糊而要多绕几个弯的问题，这样就能跟上老师的节奏。通过对 Kleisli 范畴的一些脑内民科式的推演，我逐渐能理解为什么这些函数是我们熟知的计算机的“计算”，当这一切谜团被逐渐拨开，看到一些美丽的结构，这种感觉很奇妙和快乐。后半部分则有关 PL 领域的一个重要应用：形式化证明和程序演算。这些内容其实和数学有着紧密的联系，对于我来说，也有着一种美感，胡振江教授的课堂虽然不允许使用计算机，但是跟着听下来并不是显得那么无聊，在下课的时候同学们以及老师和同学都会讨论一些问题，这样的课堂环境可以说是相当理想了。这门课程也激发了我对 PL 这一领域的兴趣，也许我会继续深入这个方向，但也只是也许，我打算在接下来的一年更深入地了解一点，然后再做决定。

我时常在想，这些东西是永恒的吗？
如果是，它们栖身何处，以⾄可以被⼈类发现并表达

我与世界

也许在之前，有过类似的想法，也许也是受到某位前辈的影响，我的脑海中常常闪现：“我想要成为一名计算机科学家”。我也知道这只是一个不自量力的想法，但也许我也可以为了这个目标努力一下？

也许，OI 的题目只是不太适合我，也许我也没有那么愚笨，也许我也可以有自己的成果，我想这是我最天真的梦。

但是梦总要有的，万一实现了呢？

我想，在 2023 年我已经摸索出了一条适合自己活下去的道路，在生活的潮流中，我已经可以做一个稳定的礁石，我的坚韧和自信似乎已经所向披靡，所以我愿意接受更大的挑战，2024 前路漫漫，我的愿望便是以冲锋的姿态去尝试，去看这个世界能否容下我每一个小小的梦。

唱着我的幻想 唱着我的荒唐