Rchr
J-GLOBAL ID：200901074224653230   Update date: Jan. 30, 2024

NOBITO YAMAMOTO

ヤマモト ノビト | NOBITO YAMAMOTO
Affiliation and department：
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)"

About 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)"


Job title： Professor
Research field  (2)： Applied mathematics and statistics ,  Basic mathematics
Research keywords  (8)： Eigenvalue problems ,  PDEs ,  numerical analysis ,  Validated numerics ,  固有値問題 ,  偏微分方程式 ,  数値解析 ,  精度保証付き計算
Research theme for competitive and other funds  (19)：
  • 2021 - 2023 現象解析のツールとしての精度保証付き計算法の開発
  • 2018 - 2021 精度保証による力学系解析ツールの開発
  • 2015 - 2018 精度保証法によるLyapunov関数構成法の研究
  • 2008 - 2011 Development of computer assisted analysis for complicated nonlinear phenomena
  • 2005 - 2009 Establishment of Verified Numerical Computation
Show all
Papers (59)：
  • Koki Nitta, Nobito Yamamoto. Numerical verification method on complex ODEs for existence of global solutions within finite domains. JSIAM Letters. 2023. 15. 69-72
  • Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications. Journal of Computational and Applied Mathematics. 2023. 417. 114521-114521
  • Simulation and Verified Numerics. Journal of the Japan society for simulation technology. 2022. 41. 3. 176-182
  • Koki Nitta, Nobito Yamamoto. A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions. Japan Journal of Industrial and Applied Mathematics volume. 2022. 39. 2. 467-513
  • Koki Nitta, Toshiki Sasaki, Nobito Yamamoto. On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases. JSIAM Letters. 2022. 14. 33-36
ｍore...
MISC (21)：
  • 山本野人. 中尾充宏氏の業績 ー 偏微分方程式の精度保証付き数値計算 ー. 数学. 2013. 65. 2. 200-207
  • Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim. Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems (vol 43, pg 388, 2010). JOURNAL OF SCIENTIFIC COMPUTING. 2010. 44. 1. 107-107
  • Yamamoto Nobito, Matsuda Nozomu. On symbolic computation in numerical verification for ODEs (Numerical Analysis : Theory, Methods and Applications). RIMS Kokyuroku. 2009. 1638. 159-168
  • Hajime Igarashi, Nobito Yamamoto. Effect of preconditioning in edge-based finite-element method. IEEE TRANSACTIONS ON MAGNETICS. 2008. 44. 6. 942-945
  • YAMAMOTO Nobito. Validated Computation of Bessel functions. Proc. NOLTA2005. 2005
ｍore...
Books (2)：
  • 第2版 現代数理科学事典
    丸善出版 2009
  • 精度保証付き数値計算---コンピュータによる無限への挑戦---
    日本評論社 1998
Lectures and oral presentations  (46)：
  • 保存量を持つ常微分方程式 系の精度保証付き計算につい て
    (日本応用数理学会2022年度年会 2022)
  • 離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について
    (日本応用数理学会第17回 研究部会連合発表会 2021)
  • 非双曲型平衡点近傍での Lyapunov 関数の精度保証法による構成について
    (2020 年度応用数学合同研究集会 2020)
  • 離散力学系における不動点近傍での安定多様体の捕捉について
    (日本応用数理学会 2020年度 年会 2020)
  • Fixed-point theorems as tools of verified numerics on ODEs
    (ICIAM 2019 2019)
ｍore...
Education (4)：
  • - 1987 Kyoto University Graduate School, Division of Engineering 数理専攻
  • - 1986 Kyoto University Graduate School, Division of Engineering 数理専攻
  • - 1984 Kyoto University Faculty of Science
  • 1975 - 1978 静岡県立藤枝東高等学校
Professional career (2)：
  • 工学修士 (京都大学)
  • 博士(理学) (九州大学)
Work history (1)：
  • 2006/04/01 - 電気通信大学 教授
Committee career (8)：
  • 2021/04/01 - 2022/03/31 日本応用数理学会 代表会員
  • 2020/04/01 - 2021/03/31 日本応用数理学会 代表会員
  • 2015/03/01 - 2017/02/28 日本応用数理学会 理事
  • 2011/03 - 2013/02 a member of the council
  • 2011/03 - 2013/02 日本数学会 評議員
Show all
Association Membership(s) (2)：
日本数学会 ,  日本応用数理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM