題目

賽局 paper 報一報，我就找到我的專題題目了 XD。目前大概得多看兩篇 papers 才能繼續往下。

另一方面繼續讀 Martin-Löf 的 lecture notes，之後或許再看 Nordström et al. 的《Programming in Martin-Löf's Type Theory》。從來沒真的看過 wellorderings、transfinite induction、或 ordinal numbers，看了幾句解釋，突然覺得和 accessibility 有關係？

--
神祕的東西 XD。