(2024 / 1 / 11)
期末考终于结束了！然而有喜有忧……😭
最重要的消息：我成功入选 BICMR 的寒校了！ 某一天在数学分析习题课上看到了 BICMR 公众号发的推文，抱着试试的心态提交了材料。说是材料，实际上就是一张只有军训成绩的成绩单 (78 分，绩点 2.7) 外加一点自我陈述，从参加人数来看明显扩招了。
空间解析几何 65.7 分 (绩点 1.3)。
线性代数基本都不会。（希望不要挂，真的）
看了一点 HoTT 引论，最大的收获是 Agda
怎么玩，感觉挺优雅的，可能不比 Lean 差 (我觉得
Lean 的语法有点丑)，Agda 编辑器推荐用
Emacs，但我不会。
算是核心内容了，开始学习函数式编程，这次用的是
Idris2，相比暑假硬啃 Haskell
而言，本次学习已是一场愉快的体验。塔林科技大学的课
是真的好。希望寒假能学完。
今天去了学人书店，购书如次：
还去了东师和南岭。
(好困，暂且到此为止)