数理環境環境論コース（数理情報環境論教育研究分野）の修士論文／博士論文（2012年度）

ビジュアルプログラミング環境を用いたシステム検証の教育について
一変数多項式における近似GCDアルゴリズムの性能評価と解析
常微分方程式の分岐理論とその応用
カルマンフィルタと平滑化における初期化問題
多重比較法におけるサンプルサイズが異なる場合の修正Williams法について
数学的主張の証明不可能性の証明―集合論のブール値モデルによる論法の仕組み―
有向集合上のマルチンゲール
多重比較における多重帰無仮説に関する誘導関係を考慮した自然なアルゴリズムの構築
Finite-to-one mapping theorem for Assouad-Nagata dimension