様相論理の基本的な事項について日本語でまとめたノートを こちらのページに掲載しています。
研究集会に用いたスライドのうち一部を こちらのページに掲載しています。
研究活動に関連する雑多な記事です。
研究活動で主に使っているウェブサイトです。
研究で用いている道具のうち、とくに愛着のあるものを掲載しています。