講義関係

プレ特研２００５

特別研究１-２００４

抽象化の技法２００２

集合と論理２００７

集合と論理２００３

論理とプログラム２００７年

代数学幾何学A２００３

集合と論理２００１

論理とプログラム２００１

集合と論理

代数・幾何B 2000

代数学・幾何学B２００３

線形空間

科学計算基礎

９９年度科学計算基礎

論理学（基礎演習）：京都大学・科学哲学科学史 現代文化学共通

抽象化の技法2000年

抽象化の技法（1999年）

基礎演習（論理学）２０００（京大文学部）