2013年度佐々木克巳研究室 修士論文要旨

整数の性質を証明するアルゴリズム
M2010MM046 安江彰悟
領域「図形」における証明の構想の数理的考察
M2012MM005 原田直樹
推論を適切に選択するための数理的手法
M2012MM007 堀場康行
個別の事例を対象としたモデル検査
M2012MM023 長谷康宏