16 posts in total

---

2024

10-13

Bomblab 手记

09-09

机器学习（2024Fall）课程笔记

06-09

程序设计实习（实验班）期末复习笔记

2023

11-28

高数 A (I) 3/4 期复习

11-21

数学基础辅差

11-15

计算概论 A 课程笔记：Agda

11-12

线性代数 A (I) 课程笔记

11-06

高数 A (I) 期中复习

11-03

一些高数积分笔记

10-22

计算概论 A 课程笔记：范畴论与 Monad 部分