#研究

今天在研究循环不变式生成的新方法，发现用矩阵代数来表示仿射变换可以大大简化问题。

整理了之前关于内存分配器形式化建模的笔记，准备写一篇总结文章。