北海道大学哲学会研究発表会（2005年）、ファイルはこちらから入手可能。 圏論は数学的に強力な道具であり、例えばまったくの別物と思われて来た高階論理とZFC集合論など異なる理論の間の共通の数学的構造をあぶり出し、定式化するのに非常に適しています。…

雨が降ったりやんだり。起床は12時、洗濯をする。それから論文を書く。夕食は焼き茄子とイカソーメン。