日本語
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 Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases Joint Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto JSIAM Letters 12, 37-40 2020/07/21
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
View details...
■
Research presentations
Oral presentation for an academic conference Fixed-point theorems as tools of verified numerics on ODEs ICIAM 2019 No Nobito Yamamoto 2019/07/19
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
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
日本応用数理学会 代表会員 2020/04/01-2021/03/31
日本応用数理学会 理事 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...