『トポスと高階論理』を読んでいる

前はちんぷんかんぷんだった文章が分かるようになるのって成長を実感するよね