山本野人 (YAMAMOTO NOBITO) - マイポータル

基本情報

所属: 電気通信大学大学院情報理工学研究科、情報理工学域情報･ネットワーク工学専攻、Ⅰ類（情報系）教授

学位: 工学修士(京都大学)
博士(理学)(九州大学)

研究者番号: 30210545
J-GLOBAL ID: 200901074224653230
researchmap会員ID: 5000015302

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

研究キーワード

研究分野

経歴

2006年4月

電気通信大学, 教授

学歴

委員歴

2021年4月 - 2022年3月

日本応用数理学会, 代表会員
2020年4月 - 2021年3月

日本応用数理学会, 代表会員
2015年3月 - 2017年2月

日本応用数理学会, 理事
2011年3月 - 2013年2月

a member of the council
2011年3月 - 2013年2月

日本数学会, 評議員
2010年3月 - 2012年2月

a member of the council
2010年3月 - 2012年2月

日本応用数理学会, 評議員
2005年10月 - 2007年9月

日本数学会, 応用数学分科会委員

論文

Numerical verification method on complex ODEs for existence of global solutions within finite domains

Koki Nitta, Nobito Yamamoto

JSIAM Letters 15 69-72 2023年8月査読有り最終著者
Inclusion method of optimal constant with quadratic convergence for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e2144" altimg="si2.svg"><mml:msubsup><mml:mrow><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup></mml:math>-projection error estimates and its applications

Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Journal of Computational and Applied Mathematics 417 114521-114521 2023年1月
シミュレーションと精度保証

山本野人

シミュレーション 41(3) 176-182 2022年9月査読有り招待有り筆頭著者
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 39(2) 467-513 2022年5月査読有り
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年3月16日査読有り
Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))

Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto

Journal of Computational and Applied Mathematics 384 2021年3月1日
Errata to ‘‘On the construction of Lyapunov functions with computer assistance’’

Kaname Matsue a, Tomohiro Hiwaki b, Nobito Yamamoto

Journal of Computational and Applied Mathematics 384 113175 2021年3月1日査読有り
Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases

Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto

JSIAM Letters 12 37-40 2020年7月21日査読有り
On the construction of Lyapunov functions with computer assistance

Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 319(C) 385-412 2017年8月査読有り
Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains

Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS 33(3) 629-636 2016年12月査読有り
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月1日査読有り
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年査読有り
Validated Computation of Global Solutions to ODEs

M.Harikae, N.Yamamoto

Nonlinear Theory and its Applications, IEICE 4(1) 88-96 2013年1月査読有り
力学系における閉軌道の存在領域の精度保証法による同定

樋脇知広, 山本野人

日本応用数理学会論文誌 22(4) 269-276 2012年12月査読有り
常微分方程式の解の精度保証法

山本野人

シミュレーション 31(3) 149-153 2012年9月
On the basic operations of interval multiple-precision arithmetic with center-radius form

N.Matsuda, N.Yamamoto

Nonlinear Theory and Its Applications, IEICE 2(1) 54-67 2011年1月査読有り
A THEOREM FOR NUMERICAL VERIFICATION ON LOCAL UNIQUENESS OF SOLUTIONS TO FIXED-POINT EQUATIONS

Nobito Yamamoto, Mitsuhiro T. Nakao, Yoshitaka Watanabe

NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION 32(11) 1190-1204 2011年査読有り
Erratum: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (J Sci Comput (10.1007/s10915-009-9303-3))

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim

Journal of Scientific Computing 44(1) 107 2010年7月査読有り
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim

JOURNAL OF SCIENTIFIC COMPUTING 43(3) 388-401 2010年6月査読有り
精度保証付き多倍長演算の方法と構成

山本野人, 松田望

計測と制御 49(5) 297-302 2010年査読有り

もっとみる

MISC

中尾充宏氏の業績ー偏微分方程式の精度保証付き数値計算ー

山本野人

数学 65(2) 200-207 2013年4月
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems (vol 43, pg 388, 2010)

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim

JOURNAL OF SCIENTIFIC COMPUTING 44(1) 107-107 2010年7月
常微分方程式の精度保証における数式処理について (数値解析における理論・手法・応用)

山本野人, 松田望

数理解析研究所講究録 1638 159-168 2009年4月
Effect of preconditioning in edge-based finite-element method

Hajime Igarashi, Nobito Yamamoto

IEEE TRANSACTIONS ON MAGNETICS 44(6) 942-945 2008年6月
Validated Computation of Bessel functions

YAMAMOTO Nobito

Proc. NOLTA2005 2005年
楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)

渡部善隆, 山本野人, 中尾充宏

数理解析研究所講究録 1198 239-244 2001年4月
Numerical verifications for eigenvalues of second-order elliptic operators

MT Nakao, N Yamamoto, K Nagatou

JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS 16(3) 307-320 1999年10月
An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness

K Nagatou, N Yamamoto, MT Nakao

NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION 20(5-6) 543-565 1999年
一般化固有値問題の精度保証付きプログラム

渡部善隆, 山本野人, 中尾充宏

九州大学大型計算機センター広報 31(2) 51-60 1998年6月
Navier-Stokes 方程式の解の数値的検証法について(数値計算アルゴリズムの研究)

渡部善隆, 山本野人, 中尾充宏

数理解析研究所講究録 1040 100-105 1998年4月
実対称行列の正定値性判定プログラム

渡部善隆, 山本野人, 中尾充宏

九州大学大型計算機センター広報 31(1) 1-10 1998年3月
A priori 誤差評価定数の計算機による数値評価について(科学技術における数値計算の理論と応用II)

中尾充宏, 山本野人

数理解析研究所講究録 990 224-234 1997年4月
楕円型作用素の固有値問題の精度保証とその応用

山本野人, 長藤かおり, 中尾充宏

計算機科学研究報告 14 53-60 1997年
精度保証つき数値計算の現状と動向

中尾充宏, 山本野人

計算工学講演会論文集 1(1) 135-138 1996年5月29日
Stokes方程式の有限要素解に対するa priori 誤差評価(科学技術における数値計算の理論と応用)

中尾充宏, 山本野人, 渡部善隆

数理解析研究所講究録 944 41-49 1996年4月
楕円型方程式の解の数値的検証法へのKrawczyk法の適用(数値計算における品質保証とその応用 : 感度解析から証明まで) 

山本野人, 中尾充宏

数理解析研究所講究録 928 8-13 1995年11月
非線形楕円型問題に対する有限要素解の最大値ノルムによる精度保証(数値計算アルゴリズムの現状と展望II)

中尾充宏, 山本野人

数理解析研究所講究録 915 130-135 1995年6月
非凸領域における楕円型方程式の解の数値的検証法(数値計算アルゴリズムの現状と展望)

山本野人, 中尾充宏

数理解析研究所講究録 880 127-133 1994年7月
高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)

山本野人, 中尾充宏

数理解析研究所講究録 831 149-157 1993年4月
微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)

渡部善隆, 山本野人, 中尾充宏

数理解析研究所講究録 831 141-148 1993年4月

もっとみる

書籍等出版物

第2版現代数理科学事典

山本野人

丸善出版 2009年
精度保証付き数値計算---コンピュータによる無限への挑戦---

中尾充宏, 山本野人

日本評論社 1998年6月

講演・口頭発表等

精度保証法による保存系 ODE の扱いについて

山本野人

第50回数値解析シンポジウム 2024年6月14日
保存量を持つ常微分方程式系の精度保証付き計算について

山本野人, 新田光輝

日本応用数理学会2022年度年会 2022年9月8日
離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について

皆本啓吾, 新田光輝, 山本野人

日本応用数理学会第17回研究部会連合発表会 2021年3月5日日本応用数理学会
非双曲型平衡点近傍での Lyapunov 関数の精度保証法による構成について

新田光輝, 山本野人

2020 年度応用数学合同研究集会 2020年12月20日日本数学会
離散力学系における不動点近傍での安定多様体の捕捉について

山本野人, 皆本啓吾, 新田光輝

日本応用数理学会 2020年度年会 2020年9月8日日本応用数理学会
Fixed-point theorems as tools of verified numerics on ODEs

Nobito Yamamoto

ICIAM 2019 2019年7月19日招待有り
Numerical verification methods for limit cycles in dynamical systems

Nobito Yamamoto, 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 招待有り
LyapunovTracing による常微分方程式の精度保証法について

樋脇知広, 渡辺真伊智, 山本野人, 松江要

日本応用数理学会2013年度年会 2013年9月10日
リミットサイクルの吸引域に含まれる領域の精度保証法による同定

樋脇知広, 山本野人

2012 年度日本数学会秋季総合分科会 2012年9月21日
Saddle-saddle connection の精度保証付き数値検証

松江要, 山本野人

日本応用数理学会 2012 年度年会 2012年8月31日
Validated Computation of Global Solutions to ODEs,

N. Yamamoto, M. Harikae

the Japan-German Workshop on Computer-Assisted proofs and Verification Methods, 2011年9月18日招待有り
Interval Multiple-Precision Arithmetic with center-radius form

N. Yamamoto, N. Matsuda

SCAN2010, 14th GAMM-IMACS, International Symposium on Scientific Comput- ing, Computer Arithmetic and Validated Numerics, 2010年9月27日
常微分方程式の精度保証付き計算の技法と利用法

山本野人

ちばＮ体2010 2010年3月天体力学Ｎ体力学研究会
Numerical verification on existence of periodic solutions to ODEs''

K.Shioda, N.Yamamoto

International Workshop on Numerical verification and its App 2008年3月
常微分方程式の数値解に関する精度保証の技法について

小森喬, 山本野人

日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会,日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会 2008年3月
A numerical verification method for ODEs based on the Nakao Theory

N.Yamamoto, T.Komori

DMHF2007,DMHF2007 2007年10月
高次補間に基づく常微分方程式の精度保証法について

小森喬, 山本野人

日本数学会2007年度秋期総合分科会,日本数学会2007年度秋期総合分科会 2007年9月
A theorem for numerical verification of local uniquness

Nobito Yamamoto

ICIAM 07, Zurich,Switzerland 2007年7月
高次補間に基づく常微分方程式の精度保証法について

山本野人, 小森喬

第36回数値解析シンポジウム,第36回数値解析シンポジウム 2007年6月

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

現象解析のツールとしての精度保証付き計算法の開発

2021年4月 - 2023年3月

山本野人
精度保証による力学系解析ツールの開発

2018年4月 - 2021年3月

山本野人
精度保証法によるLyapunov関数構成法の研究

2015年4月 - 2018年3月

山本野人
非線形現象解明に向けた計算機援用解析学の構築

日本学術振興会科学研究費助成事業基盤研究(S) 2008年 - 2011年

中尾充宏, 栄伸一郎, 田端正久, 長藤かおり, 村重淳, 山本野人, 渡部善隆, 大石進一
精度保証付き数値計算学の確立

日本学術振興会科学研究費助成事業特別推進研究 2005年 - 2009年

大石進一, 中尾充宏, 西田孝明, 柴田良弘, 山本野人, 渡部善隆, 渡部善隆, 西田孝明, 柴田良弘, 山本野人, 中尾充宏
巨大領域のための有限要素法と領域分割計算ならびに関連事項

日本学術振興会科学研究費助成事業基盤研究(B) 2002年 - 2004年

牛島照夫, 竹田辰興, 加古孝, 山本野人, 田端正久, 藤間昌一, 小山大介
遅い流れの熱対流問題を解く実用的計算コードの作成

日本学術振興会科学研究費助成事業基盤研究(B) 1999年 - 2001年

田端正久, 福本康秀, 本多了, 中尾充宏, 鈴木厚, 山本野人
精度保証付き計算法の開発と実用化

日本学術振興会科学研究費助成事業基盤研究(C) 1997年 - 2000年

山本野人, 大塚寛, 中尾充宏
最適制御問題と最良近似問題の研究

日本学術振興会科学研究費助成事業基盤研究(C) 1996年 - 1996年

川崎英文, 田中靖子, 笛田薫, 山本野人, 中尾充宏, 柳川尭
偏微分方程式の精度保証付き計算のための総合的手法の開発

日本学術振興会科学研究費助成事業奨励研究(A) 1995年 - 1995年

山本野人
最適化と最良近似

日本学術振興会科学研究費助成事業一般研究(C) 1995年 - 1995年

川崎英文, 笛田薫, 山本野人, 中尾充宏
関数方程式の解に対する精度保証付き数値計算法

日本学術振興会科学研究費助成事業一般研究(C) 1994年 - 1994年

中尾充宏, 山本野人, 大塚寛, 川崎英文, 小西貞則, 田中俊一
偏微分方程式の解の数値的検証法

日本学術振興会科学研究費助成事業奨励研究(A) 1993年 - 1993年

山本野人
非線形最適化の基礎理論とその応用

日本学術振興会科学研究費助成事業一般研究(C) 1993年 - 1993年

川崎英文, 山本野人, 末吉豊, 横田佳之, 坂内悦子, 中尾充宏
微分方程式に対する精度保証付き数値計算法

日本学術振興会科学研究費助成事業一般研究(C) 1992年 - 1992年

中尾充宏, 大塚寛, 山本野人, 川崎英文, 田中俊一, 古川長太
確率測度の無限次元級数解析と距離解析

日本学術振興会科学研究費助成事業一般研究(C) 1992年 - 1992年

佐藤坦, 田中輝雄, 中尾充宏, 山本野人, 川崎英文, 柳川尭
計算科学と複雑システム

日本学術振興会科学研究費助成事業一般研究(B) 1990年 - 1991年

田中俊一, 大塚寛, 川崎英文, 中尾充宏, 柳川尭, 古川長太, 山本野人, 河原康雄
関数方程式に対する自己検証的数値計算法

日本学術振興会科学研究費助成事業一般研究(C) 1990年 - 1990年

中尾充宏, 大塚寛, 川崎英文, 山本野人, 河原康雄, 藤野精一
フックス型微分方程式の代数幾何、微分幾何及び位相幾何的研究

日本学術振興会科学研究費助成事業一般研究(C) 1989年 - 1989年

吉田正章, 山本野人, 佐々木武, 茂手木公彦, 塩浜勝博, 山崎正

山本野人

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

論文

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧