2006年度 佐々木研究室 卒業論文要旨
- シークエント計算を用いた自動証明システム
- 2001MM010 橋本 慧
- 述語論理における健全性定理
- 2003MM042 加藤 亮
- ブール関数の簡単化
- 2003MM043 加藤 良太
- 日常生活におけるゲーム理論
- 2003MM044 勝野 幾子
- 計算機上のタブローシステム
- 2003MM066 村井 琢
- 判断推理の解法
- 2003MM068 村木 伸將
- ラムダ計算と自然演繹法
- 2003MM085 大石 公博
- 正規な様相論理の完全性
- 2003MM087 岡本 太郎
- 自然演繹の体系ＳＮＫの完全性
- 2003MM101 鈴木 貴晶
- 整合性のジレンマとレーブの定理
- 2003MM113 梅田 覚志
- 直観主義論理LJのcut除去定理の証明
- 2003MM124 山崎 恭裕