Tokyo Metropolitan University · Graduate School of System Design / Faculty of System Design · 准教授

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

Research fields情報科学・Complex systems・計算機科学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• “精度保証付き数値計算を用いた常微分方程式方程式の全解探索アルゴリズム”, 電子情報通信学会論文誌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

• Official profile
• KAKEN
• CiNii