2008/05/20

不會證

我覺得一直以來我的證明能力都很差,只會用基本的規則或手法,稍微高階的技巧就使不上手,像 ΛR . C = Λ(R . C) . C(其中 C 是 coreflexive)這種看起來沒什麼問題的式子都證不出來。不過也只能先擱著,今天得把十題 CPU pipeline 的作業寫完,之後有時間再說 XD。

--
是要動用傳說中的 tabulation?

Labels:

<< 回到主頁