山本 野人

J-GLOBALへ         更新日: 17/09/08 02:53
 
アバター
研究者氏名
山本 野人
 
ヤマモト ノビト
所属
電気通信大学
部署
大学院情報理工学研究科、情報理工学域情報・ネットワーク工学専攻、Ⅰ類 (情報系)
職名
教授
学位
工学修士(京都大学), 博士(理学)(九州大学)
科研費研究者番号
30210545

プロフィール

主として精度保証付き計算法の研究に従事している。特に、偏微分方程式の解の数値的検証法および固有値の精度保証法の研究が中心である。

研究分野

 
 

経歴

 
2006年4月
   
 
電気通信大学 教授
 

学歴

 
1975年4月
 - 
1978年3月
静岡県立藤枝東高等学校  
 
 
 - 
1984年3月
京都大学 理学部 
 
 
 - 
1986年3月
京都大学 工学研究科 数理専攻
 
 
 - 
1987年12月
京都大学 工学研究科 数理専攻
 

委員歴

 
2005年10月
 - 
2007年9月
日本数学会  応用数学分科会委員
 
2010年3月
 - 
2012年2月
日本応用数理学会  評議員
 
2011年3月
 - 
2013年2月
日本数学会  評議員
 
2015年3月
 - 
2017年2月
日本応用数理学会  理事
 

論文

 
K. Matsue, T. Hiwaki, N. Yamamoto
Journal of Computational and Applied Mathematics   319(C) 385-412   2017年3月   [査読有り]
T. Kinoshita, Y. Watanabe, N. Yamamoto, M.T. Nakao
Japan Journal of Industrial and Applied Mathematics   33(3) 629-636   2016年10月   [査読有り]
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年7月   [査読有り]
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年1月   [査読有り]
This paper presents three computer-assisted procedures for verifying the invertibility of second-order linear elliptic operators and for computing a bound on the norm of its inverse. One of these procedures is an improvement of a theorem by Nakao ...
Validated Computation of Global Solutions to ODEs
M.Harikae, N.Yamamoto
Nonlinear Theory and its Applications, IEICE   4(1) 88-96   2013年1月   [査読有り]

Misc

 
中尾充宏氏の業績 ー 偏微分方程式の精度保証付き数値計算 ー
山本野人
数学   65(2) 200-207   2013年4月

書籍等出版物

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

講演・口頭発表等

 
Numerical verification methods for limit cycles in dynamical systems [招待有り]
Nobito Yamamoto and Tomohiro Hiwaki
International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)   2014年3月16日   
Numerical verification methods for limit cycles in dynamical systems [招待有り]
Nobito Yamamoto, Tomohiro Hiwaki
The International Workshop on Numerical Verification and its Applications 2014   2014年3月15日   Shin'ichi Oishi
Poincar ́e map is a general tool to treat limit cycles in dynamical systems. In or- der to prove existence of a limit cycle by validated computation, Zgliczyn ́ski ver- ified existence of a fixed point of a Poincar ́e map using a fixed point theor...
LyapunovTracing による常微分方程式の精度保証法について
樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要
日本応用数理学会2013年度年会   2013年9月10日   
リミットサイクルの吸引域に含まれる領域の精度保証法による同定
樋脇知広、山本野人
2012 年度日本数学会秋季総合分科会   2012年9月21日   
Saddle-saddle connection の精度保証付き数値検証
松江要、山本野人
日本応用数理学会 2012 年度年会   2012年8月31日   

競争的資金等の研究課題

 
精度保証法によるLyapunov関数構成法の研究
研究期間: 2015年4月 - 2018年3月    代表者: 山本 野人
力学系の不動点もしくは周期軌道近傍での解の挙動解析のために、Lyapunov関数を精度保証の技法を用いて構成する方法について研究する。