『最近の型理論： 宇宙と世界、そして銀河 - 檜山正幸のキマイラ飼育記 (はてなBlog)』2026/1/17 1:25:00 https://m-hiyama.hatenablog.com/entry/2023/04/21/160238
『最近の型理論： 型理論の構文論と意味論 - 檜山正幸のキマイラ飼育記 (はてなBlog)』2026/1/17 1:25:00 https://m-hiyama.hatenablog.com/entry/2023/04/27/192715