The University of Electro-Communications · Graduate School of Information Science and Technology · 教授

Research keywords固有値問題・Eigenvalue problems・numerical analysis・PDEs・Validated numerics・精度保証付き計算・偏微分方程式・数値解析

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Inclusion method of optimal constant with quadratic convergence for H 0 1 -projection error estimates and its applications Takehiko Kinoshita; Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao Journal of Computational and Applied Mathematics, Elsevier BV, 417巻, 掲載ページ 114521-114521, 出版日 2023年01月 研究論文（学術雑誌） DOI URL2023 · 論文
• Numerical verification method on complex ODEs for existence of global solutions within finite domains Koki Nitta; Nobito Yamamoto ラスト(シニア)オーサー, JSIAM Letters, The Japan Society for Industrial and Applied Mathematics, 15巻, 掲載ページ 69-72, 出版日 2023年08月, 査読付 研究論文（学術雑誌） URL DOI URL 共同研究・競争的資金等URL2023 · 論文
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions Koki Nitta; Nobito Yamamoto Japan Journal of Industrial and Applied Mathematics volume, Springer, 39巻, 2号, 掲載ページ 467-513, 出版日 2022年05月, 査読付 研究論文（学術雑誌）, 英語 URL DOI URL2022 · 論文
• On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases Koki Nitta; Toshiki Sasaki; Nobito Yamamoto JSIAM Letters, 14巻, 掲載ページ 33-36, 出版日 2022年03月16日, 査読付 研究論文（学術雑誌）, 英語2022 · 論文

• 非線形現象解明に向けた計算機援用解析学の構築 中尾 充宏; 栄 伸一郎; 田端 正久; 長藤 かおり; 村重 淳; 山本 野人; 渡部 善隆; 大石 進一 日本学術振興会, 科学研究費助成事業, 基盤研究(S), 非線形偏微分方程式に対する解の数値的検証法の開発とその適用を中心として研究を進め、特に、これまでほとんど研究例を見ない非線形発展方程式に対し、十分有効な数値的検証原理を見出すことに成功した。また、従来から蓄積してきた楕円型方程式の解に対する解の検証方式に新たな知見を加え、その拡張・改良を行うとともに、流体方程式をはじめ理論解析が困難な実際問題に適用して数値的証明を行い、その有効性を実証した。, 20224001 研究期間 2008年 - 2011年2022 · 共同研究・競争的資金等の研究課題
• 現象解析のツールとしての精度保証付き計算法の開発 山本 野人 研究代表者 研究期間 2021年04月01日 - 2023年03月31日2021 · 共同研究・競争的資金等の研究課題
• 精度保証による力学系解析ツールの開発 山本野人 研究代表者, 精度保証法の技術に基づき、力学系の解析のためのツールを開発して応用に資する。 研究期間 2018年04月01日 - 2021年03月31日2018 · 共同研究・競争的資金等の研究課題
• 精度保証法によるLyapunov関数構成法の研究 山本 野人 研究代表者, 力学系の不動点もしくは周期軌道近傍での解の挙動解析のために、Lyapunov関数を精度保証の技法を用いて構成する方法について研究する。 研究期間 2015年04月01日 - 2018年03月01日2015 · 共同研究・競争的資金等の研究課題

• Official profile