その他
過去の講義ノート
- クリティカルシンキングの理論と実践（pdf）
- 数学の哲学（zip、中身は講義スライドのpdf）
- パズルで学ぶ論理学（pdf）
- 数学的構造主義の哲学（pdf）
- 集合論の用語（pdf）
- TeXの使い方（pdf）
- LibreOffice Writerの使い方（pdf）
- ルビーで始めるプログラミング（pdf）
研究会などのために作成した資料
- 米田埋め込みと米田の補題（pdf）、Cate研、10月20日。
- イデアル完備化は左随伴である（pdf）、Cate研、2011年10月6日。
- ハイティング代数（pdf）、Cate研、2011年2月28日。