2010年度 佐々木(克)研究室 卒業論文要旨

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