Foundations

是不是搞 foundations 特別容易陷入低潮啊？一下子覺得把一個概念刻畫得正式又美麗，一下子又覺得根本沒做什麼事…

--
不過現在的情況是和 pi-calculus 搭不上線…

---

根據過去的經驗，現在最好的應對態度就是靜下心來，慢慢地從還能掌握的地方開始重看一遍。

--
明天強颱要來的樣子…

---

我還是覺得整套 pi-calculus 弄得很亂 XD。

--
優雅程度跟 AoP 差了一截 XD。

---

嗯，果然走馬看花是不行的。仔細看一遍就發現一些不該漏掉的細節，得以矯正原先一些明顯不合理的推測。

--
這樣好像比較搭得上線了 XD。