日本語

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年度年会  ０/ ０  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 ＥＣ研究科入試委員会  委員  2007/04-2008/03  View details...