English

電気通信大学  大学院情報理工学研究科、情報理工学域  情報･ネットワーク工学専攻、Ⅰ類 （情報系）

教授  山本　野人  ヤマモト　ノビト  NOBITO　YAMAMOTO  Fax.0424-43-5349

■ 学歴 静岡県立藤枝東高等学校  1978/03/31  卒業  京都大学  理学部  1984/03  卒業  京都大学  工学研究科  数理専攻  修士  1986/03  修了  京都大学  工学研究科  数理専攻  博士  1987/12  中退    ■ 学位 工学修士  京都大学  1986/03  博士(理学)  九州大学  1993/12    ■ 現在の専門分野 数学基礎・応用数学    ■ 現在の研究課題 偏微分方程式の解の数値的検証  数値的検証 精度保証  常微分方程式の精度保証付き計算法  精度保証付き計算    ■ 著書 著書（辞書・辞典）  第2版　現代数理科学事典  山本野人  丸善出版  2009  著書  精度保証付き数値計算---コンピュータによる無限への挑戦---  中尾 充宏, 山本 野人  日本評論社  1998/06  詳細表示...   ■ 論文 一般論文  有  On the construction of Lyapunov functions with computer assistance  共著  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  一般論文  有  Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains  共著  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  一般論文  有  Some remarks on numerical verification of closed orbits in dynamical systems  共著  T. Hiwaki, N. Yamamoto  Nonlinear Theory and its Applications, IEICE  E-6N/ 3, 397-403  2015/07/01  一般論文  有  Some considerations of the invertibility verifications for linear elliptic operators  共著  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  一般論文  有  Validated Computation of Global Solutions to ODEs  M.Harikae, N.Yamamoto  Nonlinear Theory and its Applications, IEICE  4/ 1, 88-96  2013/01  詳細表示...   ■ 研究発表 学会口頭発表  LyapunovTracing による常微分方程式の精度保証法について  日本応用数理学会2013年度年会  ０/ ０  無  樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要  2013/09/10  学会口頭発表  リミットサイクルの吸引域に含まれる領域の精度保証法による同定  2012 年度日本数学会秋季総合分科会  0/ 0  無  樋脇知広、山本野人  2012/09/21  学会口頭発表  Saddle-saddle connection の精度保証付き数値検証  日本応用数理学会 2012 年度年会  0/ 0  無  松江要、山本野人  2012/08/31  学会口頭発表  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  無  N. Yamamoto, N. Matsuda  2010/09/27  学会口頭発表  常微分方程式の数値解に関する精度保証の技法について  日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会,日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会  *  無  小森喬、山本野人  2008/03  詳細表示...   ■ 所属学協会 日本応用数理学会  1996-現在  日本数学会  1987-現在  詳細表示...   ■ 会議・研究会等 International Workshop on Applied Mathematics and Computational Science  大会長  2007/09  NOLTA2006  オーガナイザー  2006/09  2005 International Conference on Scientific Computation and Differential Equations  オーガナイザー  2005/05  詳細表示...   ■ 委員会・審議会等 日本応用数理学会  理事  2015/03/01-2017/02/28  日本数学会  評議員  2011/03-2013/02  日本応用数理学会  評議員  2010/03-2012/02  日本数学会  応用数学分科会委員  2005/10-2007/09  詳細表示...   ■ 学内委員会等 ＥＣ研究科入試委員会  委員  2007/04-2008/03  詳細表示...