杂篇
- 图遍历和搜索算法 (2026-05-17)
- 块状链表的长度 (2026-04-14)
- git merge 的（伪）形式化定义 (2025-11-05)
- 匿名递归与不动点组合子 (2025-09-02)
- 指示变量法 (2025-03-26)
- Cochran 定理的证明 (2025-02-28)
- C 声明 (2024-10-01)
题解
抽象代数
- 群论 1：集合乘法和群论基础 (2026-05-22)
- 群论 2：群作用 (2026-05-23)
- 群论 3：Sylow 定理 (2026-05-24)