7 posts in total

---

2024

09-09

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

2023

11-28

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

11-15

计算概论 A 课程笔记：Agda

11-12

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

11-06

高数 A (I) 期中复习

11-03

一些高数积分笔记

10-22

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