#笔记
高等代数Ⅰ期末复习笔记
往年题选做和可能有用的知识扩充 & 考后总结。
计算概论期末复习笔记(Bird Meertens 形式开始的部分)
使用 Bird Meertens Formalism 导出高效程序与进行自动并行化。
Hash 与基于哈希的 table 实现
阅读 Rust 标准库的 Hash 与 RawTable 相关代码。
范畴论练习(一):定义验证与泛性质使用
选做一些 Mac Lane 书上的习题(到 Ⅲ. Universals and Limits 的 1. Universal Arrows)。
量子计算(一):基本原理与基本结论
量子计算的一些系统学习。从量子状态定义到量子密集编码、量子隐形传态、纠缠的量化。