一日、タイプ理論研究会のレジュメ準備。 なかなか大変だ。近藤氏のブログが可述的定義／非可述的定義の歴史を整理してくれており、参考になった。 【リンク】Zig-zag Theoryなどについては，Tiles本に分かりやすい解説があることに，後で気づいた． 【リン…