卒業論文
| 黒崎 俊行 | 区間演算による多項式の値域の評価 | PS | |
| 菊池 智行 | Affine Arithmeticを利用した非線形方程式の解の非存在領域の除去 | PS | |
| 塩田 孝一 | Affine Arithmeticの丸め誤差について | PS | |
| 宮島 信也 | Affine Arithmeticにおける除算の改良について | PS |
卒業論文
| 金谷 卓充 | 平均値形式を用いた解の非存在領域の除去法 | PS | |
| 川上 修 | Affine Arithmeticを利用した全解探索 | PS | |
| 小泉 健 | Java言語による精度保証付き数値計算 | PS | |
| 桜井 幹夫 | C++による常微分方程式の全解探索アルゴリズムの構築について | PS | |
| 白井 健一 | Affine Arithmeticにおける除算について | PS | |
| 長友 泰崇 | ベキ級数演算を用いた常微分方程式の長時間積分 | PS | |
| 波多野 伸哉 | 線形計画法を用いた全解探索法 | PS | |
| 深谷 光統 | 区間演算による多項式の値域の評価 | PS | |
| 渡部 啓 | Krawczykの方法における区間幅の最適性について | PS |
卒業論文
| 長島 雄一郎 | Affine Arithmeticの除算の実現 | PS |