Others

記事

様相論理のノート

様相論理の基本的な事項について日本語でまとめたノートを こちらのページに掲載しています。

その他

研究活動に関連する雑多な記事です。

リンク集

研究活動で主に使っているリンクを掲載しています。

デスク道具

研究で用いている道具のうち、主要なものを掲載しています。