氏　　名	タ　イ　ト　ル	修　了
田中 義朗	常微分方程式の解の検証付き数値計算法	1992/3
原 雅文	楕円型方程式の解の数値的検証における簡易法について	1995/3
田中 得登	一般化固有値問題の精度保証付き計算とその応用	1998/3
西川 一郎	楕円型逆固有値問題の解に対する精度保証付き計算	1999/3
吉田 哲基	多重および近接固有値をもつ楕円型固有値問題に対する精度保証付き数値計算	2001/3
橋本 弘治	鞍点型問題の数値解法と精度保証 （島根大学）	2002/3
阿部 良平	線形特異摂動問題の有限要素解に対する構成的a priori 誤差評価	2003/3
尾方 晋太郎	楕円型作用素の可逆性の数値的検証法について	2003/3
大森 健一	自由境界問題の解に対する数値的検証法	2004/3