【査読付】Interval arithmetic with fixed rounding mode
本論文では丸めモードを固定した浮動小数点演算を用いて,区間演算をシミュレートする方法を数種類提案し,その実行結果について比較を示している.担当:5章における数値実験を担当,本文は共著者が書いたため担当部分の抽出は不可著者:S. M. Rump, 荻田武史, 森倉悠介, 大石進一
Nonlinear Theory and its Applications, IEICE