寒假之前的记录

(2024 / 1 / 11)

期末考终于结束了！然而有喜有忧……😭

数学

• 最重要的消息：我成功入选 BICMR 的寒校了！ 某一天在数学分析习题课上看到了 BICMR 公众号发的推文，抱着试试的心态提交了材料。说是材料，实际上就是一张只有军训成绩的成绩单 (78 分，绩点 2.7) 外加一点自我陈述，从参加人数来看明显扩招了。

• 空间解析几何 65.7 分 (绩点 1.3)。

• 线性代数基本都不会。（希望不要挂，真的）

• 看了一点 HoTT 引论，最大的收获是 Agda 怎么玩，感觉挺优雅的，可能不比 Lean 差 (我觉得 Lean 的语法有点丑)，Agda 编辑器推荐用 Emacs，但我不会。

计算机

算是核心内容了，开始学习函数式编程，这次用的是 Idris2，相比暑假硬啃 Haskell 而言，本次学习已是一场愉快的体验。塔林科技大学的课 是真的好。希望寒假能学完。

其他

今天去了学人书店，购书如次：

• 涅朵奇卡 · 涅茨瓦诺娃. 于大卫译. 山东文艺出版社.
• 李贺诗歌笺注. 中华书局
• 毛诗草木鸟兽虫鱼疏广要. 中华书局

还去了东师和南岭。

(好困，暂且到此为止)