NOBITO YAMAMOTO

J-GLOBAL         Last updated: Jul 9, 2019 at 04:05
 
Avatar
Name
NOBITO YAMAMOTO
Affiliation
The University of Electro-Communications
Section
Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)"
Job title
Professor
Research funding number
30210545

Profile

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

Research Areas

 
 

Academic & Professional Experience

 
Apr 2006
   
 
教授, 電気通信大学
 

Education

 
Apr 1975
 - 
Mar 1978
静岡県立藤枝東高等学校
 
 
 - 
Mar 1984
Faculty of Science, Kyoto University
 
 
 - 
Mar 1986
数理専攻, Graduate School, Division of Engineering, Kyoto University
 
 
 - 
Dec 1987
数理専攻, Graduate School, Division of Engineering, Kyoto University
 

Committee Memberships

 
Mar 2010
 - 
Feb 2012
a member of the council
 
Mar 2011
 - 
Feb 2013
a member of the council
 

Published Papers

 
K. Matsue, T. Hiwaki, N. Yamamoto
Journal of Computational and Applied Mathematics   319(C) 385-412   Mar 2017   [Refereed]
T. Kinoshita, Y. Watanabe, N. Yamamoto, M.T. Nakao
Japan Journal of Industrial and Applied Mathematics   33(3) 629-636   Oct 2016   [Refereed]
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   Jul 2015   [Refereed]
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   Jan 2015   [Refereed]
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   Jan 2013   [Refereed]

Misc

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

Books etc

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

Conference Activities & Talks

 
Numerical verification methods for limit cycles in dynamical systems [Invited]
Nobito Yamamoto and Tomohiro Hiwaki
International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)   16 Mar 2014   
Numerical verification methods for limit cycles in dynamical systems [Invited]
Nobito Yamamoto, Tomohiro Hiwaki
The International Workshop on Numerical Verification and its Applications 2014   15 Mar 2014   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年度年会   10 Sep 2013   
リミットサイクルの吸引域に含まれる領域の精度保証法による同定
樋脇知広、山本野人
2012 年度日本数学会秋季総合分科会   21 Sep 2012   
Saddle-saddle connection の精度保証付き数値検証
松江要、山本野人
日本応用数理学会 2012 年度年会   31 Aug 2012   

Research Grants & Projects

 
精度保証による力学系解析ツールの開発
Project Year: Apr 2018 - Mar 2021    Investigator(s): YAMAMOTO, Nobito
精度保証法の技術に基づき、力学系の解析のためのツールを開発して応用に資する。
精度保証法によるLyapunov関数構成法の研究
Project Year: Apr 2015 - Mar 2018    Investigator(s): 山本 野人
力学系の不動点もしくは周期軌道近傍での解の挙動解析のために、Lyapunov関数を精度保証の技法を用いて構成する方法について研究する。