日本語
The University of Electro-Communications 
Graduate School of Informatics and Engineering, School of Informatics and Engineering 
Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering) 

Professor 
NOBITO YAMAMOTO 

Fax.0424-43-5349  
 

Academic background
静岡県立藤枝東高等学校  1978/03/31  Graduated 
Kyoto University  Faculty of Science  1984/03  Graduated 
Kyoto University  Graduate School, Division of Engineering  数理専攻  Master's program  1986/03  Completed 
Kyoto University  Graduate School, Division of Engineering  数理専攻  Doctoral program  1987/12  Withdrew before program completion 

Academic degrees
工学修士  Kyoto University  1986/03 
博士(理学)  Kyushu University  1993/12 

Current research areas
Foundations of mathematics/Applied mathematics 

Current research subjects
numerical verification of solutions to partial differential equations  numerical verification guarateed accuracy 
Validated computation for ODEs  validated computation 

Published books
Book, dictionary  第2版 現代数理科学事典  山本野人  丸善出版  2009 
Book  精度保証付き数値計算---コンピュータによる無限への挑戦---  中尾 充宏, 山本 野人  日本評論社  1998/06 
View details...

Published papers
Paper  Yes  On the construction of Lyapunov functions with computer assistance  Joint  K. Matsue, T. Hiwaki, N. Yamamoto  Journal of Computational and Applied Mathematics  319/ C, 385-412  2017/03/01  10.1016/j.cam.2017.01.002 
Paper  Yes  Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains  Joint  T. Kinoshita, Y. Watanabe, N. Yamamoto, M.T. Nakao  Japan Journal of Industrial and Applied Mathematics  33/ 3, 629-636  2016/10/24  10.1007/s13160-016-0223-y 
Paper  Yes  Some remarks on numerical verification of closed orbits in dynamical systems  Joint  T. Hiwaki, N. Yamamoto  Nonlinear Theory and its Applications, IEICE  E-6N/ 3, 397-403  2015/07/01 
Paper  Yes  Some considerations of the invertibility verifications for linear elliptic operators  Joint  Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto  Japan Journal of Industrial and Applied Mathematics  32/ 1, 19-31  2015/01/09 
Paper  Yes  Validated Computation of Global Solutions to ODEs  M.Harikae, N.Yamamoto  Nonlinear Theory and its Applications, IEICE  4/ 1, 88-96  2013/01 
View details...

Research presentations
Oral presentation for an academic conference  LyapunovTracing による常微分方程式の精度保証法について  日本応用数理学会2013年度年会  0/ 0  No  樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要  2013/09/10 
Oral presentation for an academic conference  リミットサイクルの吸引域に含まれる領域の精度保証法による同定  2012 年度日本数学会秋季総合分科会  0/ 0  No  樋脇知広、山本野人  2012/09/21 
Oral presentation for an academic conference  Saddle-saddle connection の精度保証付き数値検証  日本応用数理学会 2012 年度年会  0/ 0  No  松江要、山本野人  2012/08/31 
Oral presentation for an academic conference  Interval Multiple-Precision Arithmetic with center-radius form  SCAN2010, 14th GAMM-IMACS, International Symposium on Scientific Comput- ing, Computer Arithmetic and Validated Numerics,  0/ 0  No  N. Yamamoto, N. Matsuda  2010/09/27 
Oral presentation for an academic conference  常微分方程式の数値解に関する精度保証の技法について  日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会,日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会  *  No  小森喬、山本野人  2008/03 
View details...

Memberships of academic societies
日本応用数理学会  1996-Present 
日本数学会  1987-Present 
View details...

Involvement in conference and research meetings
International Workshop on Applied Mathematics and Computational Science  大会長  2007/09 
NOLTA2006  オーガナイザー  2006/09 
2005 International Conference on Scientific Computation and Differential Equations  オーガナイザー  2005/05 
View details...

Committee or council involvement
日本応用数理学会  理事  2015/03/01-2017/02/28 
日本数学会  a member of the council  2011/03-2013/02 
日本応用数理学会  a member of the council  2010/03-2012/02 
日本数学会  応用数学分科会委員  2005/10-2007/09 
View details...

Committee activity in the University
EC研究科入試委員会  委員  2007/04-2008/03 
View details...