11.5
上一次以正式的形式写日记还是 10.20，今天考完了大雾期中考试（可惜考得不怎么样），这个时间点某种程度上可以作为一个分界点，具有某种无法言说的意义，所以决定重整一下自己的状态。
时间都去哪了
首先回忆一下 10.20 以来自己到底干了啥。虽然没有正式地写日记，但好在还是以草稿的形式记录了一些当日的思考，可以用作回忆的材料。
10.19 是 SEP 的 QLink 答辩，后续两天都很放松，在闲暇间都在思考游戏引擎的架构的思路和一些常见设计结构的取舍。不过后者没有形成形式化的笔记，前者留下了一篇并未完结的 Match Quest Record。思考对象的主要来源就是 QLink 项目中自己采用过的设计，进行了一些反思和改进，主要参考的信息来源就是万能的 DS 老师，也就是说并没有进行系统的学习，不过这种东西真有的系统的结构吗？从印象上来看应该就是各种碎片。
接下来是神圣的鸭科夫时间！太好玩了！太好玩了！太好玩了！
持续时间大概为一周多，大概在 10.28 开始尝试重新启动数理逻辑学习，看了第三章的一部分，因为没有建立十分直观的形象思维而感到十分难受。这种情况大概从紧致性定理开始出现，然后随着后续理论在先前的基础上不断建立，这种“不形象”被进一步放大。于是感悟到：要达到对论述的符号语言建立清晰的形象与直观才能算是理解。
于是开始思考命题逻辑紧致性定理的形象理解。这一段思考被记录在了 逻辑紧致性定理的拓扑学解释 中，持续时间大概到 30 号。
从 10.31 日至 11.4 日这五天是以 “复习大物期中” 的名义度过的。为什么突然开始复习（实际上是预习）大物期中呢？因为深刻吸取了上学期大雾期末一个晚上复习（实际上是预习）结果期末考试怒砍 61 分的惨烈结果。考试的内容为整个静电学，涉及的教材内容是大学物理教程第四版下册的第十一和第十二章。然鹅，实际上这五天有 70% 的空余时间都在部落冲突 / 王者荣耀，甚至还给香香打了一个小铜标（长沙是真的卷，改回闵行了），打了一会巅峰赛打到了 1400 多，现在战力大概是 6000 上下，离金标 8500 还有一定距离。此外，学了一会发现静电学还是挺有意思的，此外觉得教材静电学不是很严谨，于是尝试严谨化，相关内容记载在 静电学的严谨刻画。
另外，这段时间内非系统性地学了很多乱七八糟的数学芝士，并深刻地意识到
- 数学知识是广博且深刻的，想在短时间内掌握大量数学知识（指系统性地学习）是不现实的，而我缺的恰恰就是时间，所以只能选择性地进行系统性学习，其余部分只能按照初步理解将就着用，To-Learn Knowledge List。毕竟，如果全系统性学的话和数学系的学生有什么区别？一切终究还是要回归 CS 的吧。什么时候才能学计网呢？
- 一切基本概念的数学定义都是为了刻画某种直觉。比如发现不理解开覆盖 / 滤子为什么要这么定义，不要问 DS 开覆盖的形象直观的理解是什么，而是应该问开覆盖的数学定义是为了刻画一种什么数学直觉以及为什么这个定义很好地刻画了这种直觉。理解了这一点是理解这个概念数学定义的核心。
时间将要去哪
近期的计划：
尝试减少游戏时间。- 很想系统性地学拓扑学（点集拓扑），但是又不想使数理逻辑的计划延期。或许可以采用一种折中的方案：综合看书与求助于 DeepSeek 老师，选择一本参考书但是不从头到尾看而是选择性的查阅，通过 DeepSeek 老师进行初步理解，然后如果需要深度理解就看书（看书看不懂就问 DeepSeek 老师细节）。比起全求助于 DeepSeek 老师而言能够学到的深度肯定更进一步。另外书上的内容通常是存在一定的拓展学习空间的，可以利用 DeepSeek 老师轻易地做到这一点。
- 尽快结束数理逻辑，暂定一周。之前的学习计划都只规定要要学玩完哪些东西，却没有指定学习效果。现在指明学习效果为：对一切所学内容建立直观形象的理解并组织所学内容成一套框架。不过 “直观性 / 形象性” 也是有程度之分的，如果是十分宽泛的直观性（如对定理证明过程整体的一个比喻，另外吐槽一下 DeepSeek 和古人很擅长给出各种八竿子打不着关系的比喻）显然是不够的，应当限定直观性的细粒度为对定理严谨证明过程的每一步。对于概念而言，直观性的细粒度应当先限定为概念严谨定义中的所有原子描述。
- 近期学校事宜包括：
- SEP debug-lab，预计最多两三个小时。
- 大物实验选课和上课。写到这我才发现我的大物实验已经错过选课时间了，不过好在在一些偏僻的时间段中选到了整套最简单的实验（参考学科营实验体验）。
- 日常的概统、离散数学作业，前者抄就完了，后者是小学生题目。
- 体测（不晚于 11.16）、机能测试（不晚于 11.7）