2010年度 佐々木(克)研究室 卒業論文要旨
- 自然演繹法による述語論理
- 2006MI004 安藤 裕司
- シークエント計算による基礎数学
- 2007MI011 新井 雅川
- 群の構造
- 2007MI029 半谷 茂樹
- 数式に対する考え方
- 2007MI094 片山 晃平
- 実証明におけるcutの役割
- 2007MI110 古久根 全孝
- 角の三等分の作図不可能性
- 2007MI114 小西 未紗
- 論理パズルと真理値表
- 2007MI126 松宮 加奈子
- 実証明とシークエント
- 2007MI131 松浦 聖史
- 和文数訳による文構造の理解
- 2007MI227 鈴木 孝明
- 日本とフィンランドにおける数学教育
- 2007MI248 坪井 大知