再撞

現在看 allegories 那一堆 operators & laws，又開始覺得在撞牆了 XD。而且這次戰線還拉長為兩章 XD。難怪 relational derivation 沒辦法推廣 XD。

逄愛君老師講話的調調和 scm 老師有點像耶，是交大特有的氣質還是只是我想太多？XD

--
再撐一下就到 optimisation problems 了！