#笔记
计算概论期末复习笔记（Bird Meertens 形式开始的部分）
主要包含使用 Bird Meertens Formalism 导出高效程序与进行自动并行化。
这是本课程的最后一个部分，同时可能是在上半学期和下半学期前部的铺垫下真正想讲的东西。其中函数式编程的想法提供了无副作用的函数和高阶函数的例子，从而能够被我们讨论；定理证明器则允许我们验证推导的正确性。…
Hash 与基于哈希的 table 实现
阅读 Rust 标准库的 Hash 与 RawTable 相关代码。
【范畴论】练习：定义验证与泛性质使用
选做一些 Mac Lane 书上的习题（到 Ⅲ. Universals and Limits 的 1. Universal Arrows）。
【量子信息】基本原理与基本结论
量子信息的一些系统学习。从量子状态定义到量子密集编码、量子隐形传态、纠缠的量化。
光滑流形上的微分与微分形式
关于 ∂/∂x, df, dx, d, df/dx 等记号本质上/在一般的流形上是什么（并没有到层论视角）。