東京都立大学 · システムデザイン研究科/システムデザイン学部 · 准教授

研究キーワード精度保証付き数値計算・2足歩行制御・Newton法・不動点定理・全解探索アルゴリズム

研究分野情報科学・複合領域・計算機科学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• “精度保証付き数値計算を用いた常微分方程式方程式の全解探索アルゴリズム”, 電子情報通信学会論文誌A, Vol.J86-A, No.6, 20032003 · 研究業績 · _other
• 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法”, 電子情報通信学会論文誌A, Vol.J82-A, No.1, pp.11-20, 1999.11999 · 研究業績 · _other
• “A Numerical Methodof Proving Existence of Solutions for Nonlinear Ordinary Differential Equations Using IntervalNewton Method,” Proc. 1998 International Symposium on Nonlinear Theory and its Applications(NOLTA'98 Symposium), 3, pp.987-990, 1998.91998 · 研究業績 · _other
• “A Method of Provingthe Existence of Simple Turning Points of Two-Point Boundary Value Problems Based on the Numerical Computation with Guaranteed Accuracy,” IEICE Trans.Fundamentals, Vol.E81-A, No.9, pp.1892-1897, 1998.91998 · 研究業績 · _other

• 公式プロフィール
• KAKEN
• CiNii