YAMAMOTO Nobito 山本野人

… Alternative Names

山本野人ヤマモトノビト

Less

Researcher Number	30210545
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2016 – 2023: 電気通信大学, 大学院情報理工学研究科, 教授 2012 – 2015: 電気通信大学, 情報理工学(系)研究科, 教授 2011: 電気通信大学, 大学院・情報理工学研究科, 教授 2006 – 2011: The University of Electro-Communications, Department of Electro-Communications, Professor 2010: 電気通信大学, 情報理工学研究科, 教授 … More 1999 – 2005: 電気通信大学, 電気通信学部, 助教授 1998: 九州大学, 大学院数理学研究科, 講師 1995 – 1997: 九州大学, 大学院・数理学研究科, 講師 1994: 九州大学, 大学院数理学研究科, 講師 1992 – 1993: 九州大学, 理学部, 助手 1989 – 1990: 九州大学, 理学部, 助手 Less
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Basic Section 12040:Applied mathematics and statistics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 解析学 / General mathematics (including Probability theory/Statistical mathematics) / Engineering / Science and Engineering
Keywords	Principal Investigator 精度保証 / 力学系 / 常微分方程式 / 精度保証法 / 数値解析 / 数値的検証法 / 微分方程式 / 精度保証付き数値計算 / 偏微分方程式 / Lyapunov関数 … More / Lyapunov 関数 / 多倍長演算 / 発展方程式 / 区間解析 / 精度保証付き計算法 / 現象解析 / 構造保存型数値解法 / 保存量 / 精度保証付き数値計算法 / 複素力学系 / 非双曲型平衡点 / ホモクリニック軌道 / 写像度 / chaos / non-linear system / ODE / dynamical system / numerical verification method / 精度補償 / カオス / 非線形 / numerical verification of local uniqueness / integral equations / self-validated computation / singular integral / 固有値 / 局所一意性 / 初期値問題 / 関数方程式 / 局所一意性の精度保証 / 積分方程式 / 精度保証付き計算 / DE変換公式 / free boundary / nonlimear analysis / spectrum method / verifind computation / 精密保証 / 自由境界 / 非線形解析 / スペクトル法 / eigenvalue problem / Newton method / numerical analysis / numerical verification / computation with guaranteed accuracy / 誤差解析 / Navier-Stokes方程式 / 丸め誤差 / 誤差評価 / 有限要素法 / 固有値問題 / Newton法 / 多倍長 / 計算ライブラリ / 自動プログラミング / プログラム自動生成 / 中尾理論 / Taylor Model / 数値数学 / 誤差 / 有理数演算 / conformal scalar curvature equation / 楕円型方程式 … More Except Principal Investigator 有限要素法 / 数値的検証法 / 変分問題 / 計算機援用証明 / 精度保証付き数値計算法 / 数値解析 / 精度保証付き計算 / 精度保証付き数値計算 / 誤差評価 / 楕円型境界値問題 / Upwinding technique and method of characteristic curve / Multi layer neural network / Error estimation constants in FEM / Vocal generation problems / Conformal mapping of wing / 2D exterior reduced wave problems / Fundamental solution method / International exchange researchers / 有限要素流体計算 / 無限領域向有限要素法 / ニューラルネットワーク変分同化法 / 円外帰着波動ノイマン境界条件問題 / 無限領域ヘルムホルツ問題 / 水の波散乱シミュレータ / ニュラルネットワーク / レーリー・ベナール方程式の有限要素スキーム / 2流体問題質量保存有限要素スキーム / 三次元ヘルムホルツ問題の仮想領域法・有限要素近似 / 音声生成問題有限要素数値シミュレーション / 基本解近似解法誤差評価 / ディリクレ境界条件円外帰着波動問題 / 風上近似・特性曲線近似による流れ問題有限要素数値解法 / 逆問題の多層ニューラルネットワーク解法 / 音声発声の有限要素解析 / 二次元外部帰着波動問題の有限要素-基本解近似結合解法 / 円外帰着波動問題基本解近似解法の誤差評価 / 風上技法と特性曲線法 / 多層ニューラルネットワーク / 誤差評価定数の上界決定 / 音声生成声問題 / 翼の等角写像 / 二次元外部帰着波動問題 / 基本解近似解法 / 国際研究者交流 / Accuracy guaranteed computation / Error estimation constant / Heat convection problems / Temperature dependent viscosity / Melting glass convection / Earth's mantle convection / Parallel computation / Finite element method / 数値シミュレーション / 精度保証付き固有値問題 / 硝子溶融問題 / ナヴィエ・ストークス方程式 / 地球マントル対流問題 / 渦輪 / マントル対流 / クリロフ部分空間法 / 部分領域分割 / 安定化有限要素法 / 渦輪の速度 / 硝子溶解問題 / 一様可解性 / 熱対流問題 / 誤差評価定数 / 温度依存粘性 / 溶融硝子対流 / 地球マントル対流 / 並列計算 / Nonstandard Analysis / Concurrency / Axiomatic Set Theory / Formal Methods / Complex Systems / 述語論理 / 並行プロセス / 超準解析 / 並行性 / 公理的集合論 / 形式的方法 / 複雑システム / 非線形現象 / 解の事後誤差評価 / 解の数値的検証 / アルゴリズム / 情報数理 / 非線形方程式 / 数値計算 / 統計的推測理論 / 多次元離散型データ解析 / 微値的検証法 / 微分不可能計画 / 不等式相条件 / 包絡線 / 動節点 / 最適性条件 / 最良近似 / 双曲型偏微分方程式 / 折れ線近似 / 微分不可能最適化 / 楕円型偏微分方程式 / スプライン関数 / ルジャンドル条件 / 非線形楕円型方程式 / 最良近似問題 / 最適制御問題 / 非線形計画法 / 放物型初期境界値問題 / カメロン・マルチン空間 / 確率移動 / 徑比不等式 / 大域密度定理 / O-1法則 / ループ群上のウイーナー測度 / 作用群 / 測度の連続性 / 精度保証付き計算法 / 結び目 / 非負曲率完備多様体 / Eisenstein series / 等角幾何 / Siegel modular / orbifold / モノドロミイ群 / GauβーManin接続 Less

現象解析のツールとしての精度保証付き計算法の開発Principal Investigator
- Principal Investigator
  
  山本野人
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  The University of Electro-Communications
Development of analyzing tools of dynamical systems based on verified numericsPrincipal Investigator
- Principal Investigator
  
  Yamamoto Nobito
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  The University of Electro-Communications
Constructing Lyapunov functions by verified numericsPrincipal Investigator
- Principal Investigator
  
  Yamamoto Nobito
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  The University of Electro-Communications
Library for Validated Computation of Differential EquationsPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
Validate Computation Library on Time Evolution EquationsPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
Development of computer assisted analysis for complicated nonlinear phenomena
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Sasebo National College of Technology
  Kyushu University
Development of numerical verification methods on evolution equationsPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
Establishment of Verified Numerical Computation
- Principal Investigator
  
  OISHI Shin'ichi
- Project Period (FY)
  2005 – 2009
- Research Category
  
  Grant-in-Aid for Specially Promoted Research
- Review Section
  
  Science and Engineering
  Engineering
- Research Institution
  Waseda University
Numerical Verification Methods for Dynamical Systems described by ODEsPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
Self-validated computation of singular integral and integral equationsPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Ccmmunications
Finite Element Methods for Huge Domain and Domain Decomposition Methods with Related Topics
- Principal Investigator
  
  USHIJIMA Teruo
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
Nonlinear Analysis by Numerical Verification MethodsPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
Construction of a Practical Computation Code for Heat Convection Problems with Slow Flow
- Principal Investigator
  
  TABATA Masahisa
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KYUSHU UNIVERSITY
Development of practical methods for rigorous calculation with guaranteed accuracyPrincipal Investigator
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  1997 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
  Kyushu University
最適制御問題と最良近似問題の研究
- Principal Investigator
  
  川崎英文
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
最適化と最良近似
- Principal Investigator
  
  川崎英文
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
偏微分方程式の精度保証付き計算のための総合的手法の開発Principal Investigator
- Principal Investigator
  
  山本野人
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
関数方程式の解に対する精度保証付き数値計算法
- Principal Investigator
  
  中尾充宏
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
非線形最適化の基礎理論とその応用
- Principal Investigator
  
  川崎英文
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
偏微分方程式の解の数値的検証法Principal Investigator
- Principal Investigator
  
  山本野人
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
確率測度の無限次元級数解析と距離解析
- Principal Investigator
  
  佐藤坦
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Kyushu University
微分方程式に対する精度保証付き数値計算法
- Principal Investigator
  
  中尾充宏
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
関数方程式に対する自己検証的数値計算法
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Computing Science and Complex systems
- Principal Investigator
  
  TANAKA Syunichi
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
フックス型微分方程式の代数幾何、微分幾何及び位相幾何的研究
- Principal Investigator
  
  吉田正章
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Kyushu University

[Book] 「精度保証の手法」、現代数理科学事典第2 版IX 章第6節2009
- Author(s)
  山本野人
- Publisher
  丸善
- Data Source
  KAKENHI-PROJECT-21540115
[Book] 第2版現代数理科学事典2009
- Author(s)
  広中平祐編・山本野人, ほか著
- Total Pages
  1080
- Publisher
  丸善出版
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] Numerical verification method on complex ODEs for existence of global solutions within finite domains2023
- Author(s)
  Koki Nitta, Nobito Yamamoto
- Journal Title
  
  JSIAM Letters
  
  Volume: 15 Issue: 0 Pages: 69-72
- DOI
  10.14495/jsiaml.15.69
- ISSN
  1883-0609, 1883-0617
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K03348
[Journal Article] On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases2022
- Author(s)
  Koki Nitta, Toshiki Sasaki, Nobito Yamamoto
- Journal Title
  
  JSIAM Letters
  
  Volume: 14 Pages: 33-36
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03410
[Journal Article] シミュレーションと精度保証2022
- Author(s)
  山本野人
- Journal Title
  
  シミュレーション
  
  Volume: 41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03348
[Journal Article] A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions2022
- Author(s)
  Koki Nitta, Nobito Yamamoto, Kaname Matsue
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 電子版のため示されていない Issue: 2 Pages: 467-513
- DOI
  10.1007/s13160-022-00502-5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03410, KAKENHI-PROJECT-23K20813
[Journal Article] Errata to ‘‘On the construction of Lyapunov functions with computer assistance’’2021
- Author(s)
  Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 384 Pages: 113175-113175
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03410
[Journal Article] Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases2020
- Author(s)
  Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto
- Journal Title
  
  JSIAM Letters
  
  Volume: 12 Pages: 37-40
- NAID
  130007879242
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03410
[Journal Article] On the construction of Lyapunov functions with computer assistance2017
- Author(s)
  K. Matsue, T. Hiwaki, N. Yamamoto
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 319C Pages: 385-412
- DOI
  10.1016/j.cam.2017.01.002
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K04991
[Journal Article] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 33 Issue: 3 Pages: 629-636
- DOI
  10.1007/s13160-016-0223-y
- NAID
  210000183342
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K04991
[Journal Article] Some remarks on numerical verification of closed orbits in dynamical systems2015
- Author(s)
  T.Hiwaki, N.Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: vol.6 no.3
- NAID
  130005085582
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04991
[Journal Article] Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces2014
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 52 Issue: 1 Pages: 975-992
- DOI
  10.1007/s13160-014-0160-6
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
[Journal Article] Validated computation of global solutions to ODEs2013
- Author(s)
  Masato Harikae, Nobito Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications
  
  Volume: vol.4, No.1 Pages: 88-96
- NAID
  130003375414
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540115
[Journal Article] Validated Computation of Global Solutions to ODEs2013
- Author(s)
  M. Harikae, N. Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: Vol.4, No.1 Pages: 88-96
- NAID
  130003375414
- URL
  http://dx.doi.org/10.1587/nolta.4.88
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] Validated Computation of Global Solutions to ODEs2013
- Author(s)
  M.Harikae, N.Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications , IEICE
  
  Volume: 4 Pages: 88-96
- NAID
  130003375414
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540115
[Journal Article] 力学系における閉軌道の存在領域の精度保証法による同定2012
- Author(s)
  樋脇知広・山本野人
- Journal Title
  
  日本応用数理学会論文誌
  
  Volume: Vol.22, No.4 Pages: 269-276
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] 力学系における閉軌道の存在領域の精度保証法による同定2012
- Author(s)
  樋脇知広・山本野人
- Journal Title
  
  日本応用数理学会論文誌
  
  Volume: 22巻4号
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540115
[Journal Article] On the basic operations of interval multiple-precision arithmetic with center-radius form2011
- Author(s)
  N.Matsuda, N.Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications
  
  Volume: 2 Pages: 54-67
- NAID
  130000903442
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] On the basic operations of interval multiple-precision arithmeticwith center-radius form2011
- Author(s)
  N. Matsuda, N. Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: 2, No.1 Pages: 54-67
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] A theorem for numerical verification on local uniqueness of solutions to fixed-point equations2011
- Author(s)
  N. Yamamoto, M. T. Nakao, Y. Watanabe
- Journal Title
  
  Numerical Functional Analysis and Optimization
  
  Volume: 32 Pages: 1190-1204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] On the basic operations of interval multiple-precision arithmetic with center-radius form2011
- Author(s)
  N. Matsuda, N. Yamamoto
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: Vol.2, No.1 Pages: 54-67
- NAID
  130000903442
- URL
  http://dx.doi.org/10.1587/nolta.2.54
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] A Theorem for Numerical Verification on Local Uniqueness of Solutionsto Fixed-Point Equations2011
- Author(s)
  N.Yamamoto, M.T.Nakao, Y.Watanabe
- Journal Title
  
  Numerical Functional Analysis and Optimization
  
  Volume: 32 Pages: 1190-1204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] 「精度保証付き多倍長演算の方法と構成」計測と制御2010
- Author(s)
  山本野人・松田望
- Volume
  Vol.49,No.5
- Pages
  297-302
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] On the basic operarions of interval multiple-precision arithmetic with center-radius form2010
- Author(s)
  N.Matsuda, N.Yamamoto
- Journal Title
  
  NOLTA, Special Section on Recent Progress in Verified Numerical Computations, to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems2010
- Author(s)
  Mitsuhiro T.Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoun Kim
- Journal Title
  
  Journal of Scientific Computing
  
  Volume: Vol.43,No.3 Pages: 388-401
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2010
- Author(s)
  M. T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M.-N. Kim
- Journal Title
  
  Journal of Scientific Computing
  
  Volume: Vol.43, No.3 Issue: 3 Pages: 388-401
- DOI
  10.1007/s10915-009-9303-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2009
- Author(s)
  M.T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M. Kim
- Journal Title
  
  Journal of Scientific Computing 10
  
  Pages: 1-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection roblems2009
- Author(s)
  Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim
- Journal Title
  
  Journal of Scientific Computing (on line)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] An Application of Taylor Models to the Nakao Method on ODEs2009
- Author(s)
  N. Yamamoto, T. Komori
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 26, No.1 Pages: 365-392
- NAID
  10028169196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] An Application of Taylor Models to the Nakao Method on ODEs2009
- Author(s)
  Nobito Yamamoto, et al
- Journal Title
  
  JJIAM 26巻
  
  Pages: 365-392
- NAID
  10028169196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20224001
[Journal Article] An Application of Taylor Models to the Nakao Method on ODEs2009
- Author(s)
  Nobito Yamamoto, Takashi Komori
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 26
  
  Pages: 365-392
- NAID
  10028169196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] An Application of Taylor Models to the Nakao Method on ODEs2009
- Author(s)
  N.Yamamoto, T.Komori
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 26, No.1 Pages: 365-392
- NAID
  10028169196
- Data Source
  KAKENHI-PROJECT-21540115
[Journal Article] An Application of Taylor Models to the Nakao Method on ODEs2009
- Author(s)
  Nobito Yamamoto, Takashi Komori
- Journal Title
  
  JJIAM vol. 26, No. 2-3
  
  Pages: 365-392
- NAID
  10028169196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] An Application of Taylor Models to the Nakao Method on ODEs2009
- Author(s)
  N. Yamamoto, T. Komori
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 26:2
  
  Pages: 365-392
- NAID
  10028169196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] 連続した入力パタンのあいだの順序関係を認識する神経回路モデル2008
- Author(s)
  田中一穂, 矢野慎一郎, 山本野人
- Journal Title
  
  日本応用数理学会論文誌 18
  
  Pages: 87-105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] Discretization principles for linear two-point boundary value problems2008
- Author(s)
  T. Yamamoto, S.Oishi and Q.Fang
- Journal Title
  
  Numer. Funct. Anal. Optimz. 29
  
  Pages: 213-224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] 常微分方程式境界値問題の精度保証法の初期値問題への適用2008
- Author(s)
  小森喬, 山本野人
- Journal Title
  
  日本応用数理学会論文誌 18
  
  Pages: 303-319
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] 連続した入力パタンのあいだの順序関係を認識する神経回路モデル-情報の予測・抽象化に向けて-2008
- Author(s)
  田中一穂・矢野慎一郎・山本野人
- Journal Title
  
  日本応用数理学会論文誌 Vol. 18, No. 1
  
  Pages: 87-105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] 常微分方程式境界値問題の精度保証法の初期値問題への適用2008
- Author(s)
  小森喬・山本野人
- Journal Title
  
  日本応用数理学会論文誌 Vol. 18, No. 3
  
  Pages: 303-319
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] 連続した入力パタンのあいだの順序関係を認識する神経回路モデル2008
- Author(s)
  田中一穂、矢野慎一郎、山本野人
- Journal Title
  
  日本応用数理学会論文誌 18
  
  Pages: 87-105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007
- Author(s)
  N. Yamamoto, K. Genma
- Journal Title
  
  Journal of Computational and Applied Mathematics 199
  
  Pages: 286-296
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007
- Author(s)
  N.Yamamoto, K.Genma
- Journal Title
  
  J. Comput. Appl. Math. 199
  
  Pages: 286-296
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007
- Author(s)
  Yamamoto, N., Genma, K.
- Journal Title
  
  J. Comput. Appl. Math. 199
  
  Pages: 286-296
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007
- Author(s)
  N. Yamamoto, K. Genma
- Journal Title
  
  Journal of Computational and Applied Mathematics 199
  
  Pages: 286-296
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540118
[Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007
- Author(s)
  N.Yamamoto, K.Genma
- Journal Title
  
  Journal of Computational and Applied Mathematics 199
  
  Pages: 286-296
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006
- Author(s)
  T. Yamamoto, S. Oishi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 23:1
  
  Pages: 31-62
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2006
- Author(s)
  N.Yamamoto, K.Genma
- Journal Title
  
  Journal of Computational and Applied Mathematics
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006
- Author(s)
  T.Yamamoto, S.Oishi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 23:1
  
  Pages: 31-62
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] An efficient approach to numerical verification for solutions of elliptic differential equations with local uniaueness (in Japanese)2005
- Author(s)
  Y.Watanabe, N.Yamamoto, M.T.Nakao
- Journal Title
  
  Transaction of the Japan Society for Industrial and Applied Mathematics Vol.15, No.4
  
  Pages: 509-520
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- Author(s)
  渡部善隆, 山本野人, 中尾充宏
- Journal Title
  
  日本応用数理学会論文誌 Vol.15, No.4
- NAID
  110002976854
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] 多倍長演算を利用したBessel関数の精度保証付き数値計算2005
- Author(s)
  山本野人, 松田望
- Journal Title
  
  日本応用数理学会論文誌 15巻3号
  
  Pages: 347-359
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- Author(s)
  渡部善隆, 山本野人, 中尾充宏
- Journal Title
  
  日本応用数理学会論文誌 15・4
  
  Pages: 509-520
- NAID
  110002976854
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] 多倍長演算を利用したBessel関数の精度保証付き数値計算2005
- Author(s)
  山本野人, 松田望
- Journal Title
  
  日本応用数理学会論文誌 Vol.15, No.3
  
  Pages: 347-359
- Data Source
  KAKENHI-PROJECT-17002012
[Journal Article] 多倍長演算を利用したBessel関数の精度保証つき数値計算2005
- Author(s)
  山本野人, 松田望
- Journal Title
  
  日本応用数理学会論文誌 15・3
  
  Pages: 347-359
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005
- Author(s)
  渡部善隆, 山本野人, 中尾充宏
- Journal Title
  
  日本応用数理学会論文誌 15巻4号
  
  Pages: 509-520
- NAID
  110002976854
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540106
[Journal Article] A Numerical Vertification of Nontrivial Solutions for the Heat Convection Problem2004
- Author(s)
  Y.Watanabe, N.Yamamoto, M.T.Nakao, T.Nishida
- Journal Title
  
  Journal of Mathematical Fluid Mechanics 6
  
  Pages: 1-20
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] A numerical verification of nontrivial solutions for the heat convection problems2004
- Author(s)
  Watanabe, Y., Yamamoto, N., Nakao, M.T., Nishida,T.
- Journal Title
  
  J. Math. Fluid Mech 6
  
  Pages: 1-20
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] A numerical verification of nontrivial solutions for the heat convection problem2004
- Author(s)
  Y.Watanabe, N.Yamamoto, M.T.Nakao, T.Nishida
- Journal Title
  
  Journal of Mathematical Fluid Mechanics Vol.6
  
  Pages: 1-20
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14340031
[Journal Article] A numerical verification of nontrivial solutions for the heat convection problems2004
- Author(s)
  Watanabe, Y., Yamamoto, N., Nakao, M.T., Nishida, T.
- Journal Title
  
  J.Math.Fluid Mech. 6
  
  Pages: 1-20
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003
- Author(s)
  Yamamoto, N., Hayakawa, K.
- Journal Title
  
  Journal of Computational and Applied Mathematics Vol.159
  
  Pages: 173-183
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14340031
[Journal Article] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003
- Author(s)
  Yamamoto, N., Hayakawa, K
- Journal Title
  
  J. Comput. Appl. Math. 159
  
  Pages: 173-183
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003
- Author(s)
  Yamamoto, N., Hayakawa, K.
- Journal Title
  
  J.Comput.Appl.Math 159
  
  Pages: 173-183
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] Some computer assisted proofs for solutions of the heat convection problems2003
- Author(s)
  Nakao, M.T., Watanabe, Y., Yamamoto, N., Nishida,T.
- Journal Title
  
  Reliable Computing 9
  
  Pages: 359-372
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003
- Author(s)
  Yamamoto, N., Hayakawa, K.
- Journal Title
  
  The Proceedings of the Sixth Japan-China Joint Seminar, special issue of Journal of Computational and Applied Mathematics Vol.159
  
  Pages: 173-183
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14340031
[Journal Article] Some computer assisted proofs for solutions of the heat convection problems2003
- Author(s)
  Nakao, M.T., Watanabe, Y., Yamamoto, N., Nishida, T.
- Journal Title
  
  Reliable Computing 9
  
  Pages: 359-372
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540111
[Journal Article] Some computer assistedproofs for solutions of the heat convectionproblems2003
- Author(s)
  M.T.Nakao, Y.Watanabe, N.Yamamoto, T.Nishida
- Journal Title
  
  Reliable Computing Vol.9
  
  Pages: 359-372
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14340031
[Journal Article] Some computer assisted proofs for solutions of the heat convection problems2003
- Author(s)
  M.T.Nakao, Y.Watanabe, N.Yamamoto, T.Nishida
- Journal Title
  
  Reliable Computing Vol.9
  
  Pages: 359-372
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14340031
[Presentation] 保存量を持つ常微分方程式の精度保証付き計算について2022
- Author(s)
  山本野人、新田光輝
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-21K03348
[Presentation] On verification methods for conservative systems2022
- Author(s)
  Nobito Yamamoto, Koki Nitta
- Organizer
  ReCAP2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03348
[Presentation] 保存量を持つ常微分方程式系に対する精度保証法について2022
- Author(s)
  山本野人、新田光輝
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-21K03348
[Presentation] 離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について2021
- Author(s)
  皆本啓吾 (電気通信大学), 新田光輝 (電気通信大学), 山本野人 (電気通信大学)
- Organizer
  日本応用数理学会第17回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 複素自励系の時間大域解に関する精度保証について2021
- Author(s)
  新田光輝、山本野人
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 非双曲型平衡点近傍での Lyapunov 関数の精度保証法による構成について2020
- Author(s)
  新田光輝 (電気通信大学), 山本野人 (電気通信大学)
- Organizer
  2020 年度応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 非双曲型平衡点近傍でのLyapunov関数の数式処理・精度保証による構成2020
- Author(s)
  新田光輝 (電気通信大学), 笹木俊希 (電気通信大学), 山本野人 (電気通信大学)
- Organizer
  日本応用数理学会 2020年度年会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 局所 Lyapunov 関数を用いたホモクリニック軌道の精度保証について2019
- Author(s)
  新田光輝 (電気通信大学), 山本野人 (電気通信大学)
- Organizer
  数値解析シンポジウム
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 非双曲平衡点をもつ力学系に対するLyapunov関数の構成2019
- Author(s)
  中村正男（電気通信大学）、山本野人（電気通信大学）
- Organizer
  第3回精度保証付き数値計算の実問題への応用研究集会 (NVR 2019)
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 局所Lyapunov関数を用いたホモクリニック軌道の精度保証法2019
- Author(s)
  新田光輝 (電気通信大学), 山本野人 (電気通信大学), 松江要 (九州大学)
- Organizer
  2019年度日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 双曲型平衡点近傍の局所Lyapunov関数を用いたホモクリニック軌道の精度保証2019
- Author(s)
  新田光輝, 山本野人
- Organizer
  応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 非双曲型平衡点に対する局所Lyapunov関数の精度保証による構成2019
- Author(s)
  中村正男 (電気通信大学), 新田光輝 (電気通信大学), 山本野人 (電気通信大学)
- Organizer
  第16回応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] ツールとしての精度保証技法 --- 局所Lyapunov関数の構成とその応用2019
- Author(s)
  山本野人（電気通信大学）　新田光輝（電気通信大学）
- Organizer
  RIMS研究集会：諸科学分野を結ぶ基礎学問としての数値解析学
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 非双曲型平衡点を持つ力学系におけるLyapunov関数の精度保証による構成について2018
- Author(s)
  寺坂元 , 中村正男新田光輝 , 山本野人
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 精度保証付き数値計算による高次元力学系の安定・不安定多様体の捕捉について2018
- Author(s)
  新田光輝, 山本野人
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] On numerical verification of existence of homoclinic orbits of dynamical systems of higher dimensional cases2018
- Author(s)
  N. Yamamoto and K. Nitta
- Organizer
  International Workshop on Numerical Methods for Partial Differential Equations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] 非双曲型平衡点近傍におけるLyapunov関数の精度保証による構成2018
- Author(s)
  寺坂元,中村正男 ,山本野人
- Organizer
  応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 二次形式を用いたaffine arithmeticの拡張について2018
- Author(s)
  中山大輔、松田望、山本野人
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] 連続力学系の非双曲型平衡点近傍での疑似Lyapunov関数の構成と精度保証2018
- Author(s)
  寺坂元、中村正男、山本野人
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] On numerical verification of homoclinic orbits in high dimensional dynamical systems2018
- Author(s)
  Koki Nitta and Nobito Yamamoto
- Organizer
  SCAN2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 高次元力学系におけるホモクリニック軌道の精度保証法に向けて2018
- Author(s)
  新田光輝、山本野人
- Organizer
  日本応用数理学会研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] On Lyapunov functions constructed by verified computation2018
- Author(s)
  Nobito Yamamoto
- Organizer
  EASIAM 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03410
[Presentation] 精度保証付き数値計算による写像度の計算手法の提案2017
- Author(s)
  新田光輝、山本野人、松江要、小林健太
- Organizer
  日本応用数理学会
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] Hybrid系における精度保証による周期解の検証とLyapunov関数の構成2016
- Author(s)
  三宅智大, 新田光輝, 中山大輔, 山本野人
- Organizer
  応用数理学会研究部会連合発表会
- Place of Presentation
  神戸学院大学
- Year and Date
  2016-03-04
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] Numerical verification of existence of homoclinic orbits in dynamical systems2016
- Author(s)
  Nobito YAMAMOTO, Kaname MATSUE, Tomohiro HIWAKI
- Organizer
  SCAN 2016
- Place of Presentation
  ウプサラ（スウェーデン）
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] Lyapunov 関数と写像度を用いたホモクリニック軌道の精度保証2016
- Author(s)
  山本野人, 山野駿
- Organizer
  第45回数値解析シンポジウム
- Place of Presentation
  霧島ホテル（鹿児島県霧島市）
- Year and Date
  2016-06-08
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] Hybrid力学系の不動点およびLyapunov関数についての精度保証2016
- Author(s)
  新田光輝, 中山大輔, 三宅智大, 山本野人
- Organizer
  日本応用数理学会2016年度年会
- Place of Presentation
  北九州国際会議場（福岡県北九州市）
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] LILIB - Long Interval Library2016
- Author(s)
  Nozomu MATSUDA, Nobito YAMAMOTO
- Organizer
  SCAN 2016
- Place of Presentation
  ウプサラ（スウェーデン）
- Year and Date
  2016-09-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] 精度保証によるLyapunov関数の構成とその拡張2016
- Author(s)
  三宅智, 山本野人
- Organizer
  2016年度応用数学合同研究集会
- Place of Presentation
  龍谷大学（滋賀県大津市）
- Year and Date
  2016-12-15
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] How to construct Lyapunov functions in dynamical systems by validated computation,2015
- Author(s)
  Nobito Yamamoto
- Organizer
  Computational and Geometric Approaches for Nonlinear Phenomena
- Place of Presentation
  早稲田大学
- Year and Date
  2015-08-06
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] Construction of Lyapunov func- tions by validated computation2015
- Author(s)
  N. Yamamoto, K. Matsue and T. Hiwaki
- Organizer
  MACIS 2015
- Place of Presentation
  Zuse Institute Berlin
- Year and Date
  2015-11-11
- Invited
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] 離散力学系におけるLyapunov 関数の精度保証による構成2015
- Author(s)
  樋脇知広、山本野人、松江要
- Organizer
  2015年応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2015-12-17
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] How to construct Lyapunov functions by validated computation2015
- Author(s)
  Nobito Yamamoto
- Organizer
  The First French-Japanese Workshop on Numerical Computations
- Place of Presentation
  Universite Pierre et Marie Curie (Paris 6)
- Year and Date
  2015-03-24
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] 力学系における周期解近傍のLyapunov関数の精度保証による構成2015
- Author(s)
  三宅智大 , 樋脇知広 , 山本野人
- Organizer
  第44回数値解析シンポジウム
- Place of Presentation
  ぶどうの丘（山梨県甲州市）
- Year and Date
  2015-06-10
- Data Source
  KAKENHI-PROJECT-15K04991
[Presentation] 力学系における閉軌道の漸近安定性の精度保証について2014
- Author(s)
  樋脇知広、山本野人
- Organizer
  日本応用数理学会2014年度年会
- Place of Presentation
  政策研究大学院大学
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] Numerical verification methods for limit cycles in dynamical systems2014
- Author(s)
  Nobito Yamamoto and Tomohiro Hiwaki
- Organizer
  International Workshop on Numerical Verification and its Applications 2014
- Place of Presentation
  早稲田大学
- Invited
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] Lyapunov関数の精度保証による構成について2014
- Author(s)
  山本野人、松江要
- Organizer
  2014年度応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2014-12-18
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] 力学系周期軌道の精度保証法とLyapunov関数2014
- Author(s)
  山本野人
- Organizer
  第１回山梨精度保証研究会
- Place of Presentation
  勝沼　ぶどうの丘
- Year and Date
  2014-09-15
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察2013
- Author(s)
  渡部善隆，木下武彦，木村拓馬，山本野人，中尾充宏
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] リミットサイクルの吸引域に対する精度保証法2013
- Author(s)
  樋脇知広，山本野人
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] ローレンツ方程式のヘテロクリニック軌道の精度保証法に関する話題2013
- Author(s)
  渡邊　真伊智，山本野人
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] 多倍長精度保証ライブラリを用いた多倍長Lohner法の自動生成2013
- Author(s)
  松崎雄基，松田望，山本野人
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] LyapunovTracing による常微分方程式の精度保証法について2013
- Author(s)
  樋脇知広, 渡辺真伊智, 山本野人, 松江要
- Organizer
  日本応用数理学会年会
- Place of Presentation
  福岡アクロス
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] Saddle-saddle connection の精度保証付き数値検証2012
- Author(s)
  松江要・山本野人
- Organizer
  日本応用数理学会2012年度年会
- Place of Presentation
  稚内
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] リミットサイクルの吸引域に含まれる領域の精度保証による同定2012
- Author(s)
  樋脇知広・山本野人
- Organizer
  2012年度日本数学会秋季総合分科会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-24540115
[Presentation] 常微分方程式の大域解に対する精度保証付き数値計算2011
- Author(s)
  張替将人、山本野人
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  信州大学
- Year and Date
  2011-10-01
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] 常微分方程式の大域解に対する精度保証法について2011
- Author(s)
  山本野人
- Organizer
  第276回Q-NAセミナー
- Place of Presentation
  九州大学
- Year and Date
  2011-07-26
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 常微分方程式の解に対する時間無限大の極限に至るまでの精度保証法2011
- Author(s)
  山本野人
- Organizer
  2011年度応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2011-12-16
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] MATLAB上の数式処理を用いた精度保証付き計算プログラムの自動生成2011
- Author(s)
  宇川隆詞、山本野人
- Organizer
  日本応用数理学会2011年研究部会連合発表会
- Place of Presentation
  電機通信大学
- Year and Date
  2011-03-08
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] Validated Computation of Global Solutions to ODEs2011
- Author(s)
  N.Yamamoto
- Organizer
  the Japan-German Workshop on Computer-Assisted proofs and Verification Methods
- Place of Presentation
  Karisruhe, Germany
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] Validated computation of global solutions to ODEs II2011
- Author(s)
  N.Yamamoto
- Organizer
  Workshop on Reliability in Scientific Computing and Related Topics
- Place of Presentation
  西海国立公園九十九島ビジターセンター
- Year and Date
  2011-11-26
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] Validated Computation of Global Solutions to ODEs2011
- Author(s)
  N. Yamamoto, M. Harikae
- Organizer
  the Japan-German Workshop on Computer-Assisted proofs and Verification Methods
- Place of Presentation
  Karisruhe,Germany
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] MATLAB上の数式処理を用いた精度保証付き計算プログラムの自働生成2011
- Author(s)
  宇川隆詞、山本野人
- Organizer
  日本応用数理学会2011年研究部会連合発表会
- Place of Presentation
  電気通信大学
- Year and Date
  2011-03-08
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開学際大規模情報基盤共同利用2010
- Author(s)
  山本野人、松田望、渡部善隆、藤原宏志
- Organizer
  共同研究拠点第1回シンポジウム
- Place of Presentation
  東京大学
- Year and Date
  2010-09-01
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 常微分方程式の精度保証付き計算の技法と利用法2010
- Author(s)
  山本野人
- Organizer
  天体力学N体力学研究会・ちばN体2010
- Place of Presentation
  千葉大学
- Year and Date
  2010-03-19
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] MATLABの数式処理機能による精度保証計算プログラムの自動生成2010
- Author(s)
  宇川隆詞、山本野人
- Organizer
  2010年度応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2010-12-18
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 精度保証付き多倍長演算の実装について2010
- Author(s)
  山本野人、松田望
- Organizer
  日本応用数理学会2010年度年会
- Place of Presentation
  明治大学
- Year and Date
  2010-09-07
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] 精度保証付き多倍長演算の実相について2010
- Author(s)
  山本野人、松田望
- Organizer
  日本応用数理学会2010年度年会
- Place of Presentation
  明治大学
- Year and Date
  2010-09-07
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 常微分方程式の精度保証付き計算の技法と利用法2010
- Author(s)
  山本野人
- Organizer
  天体力学n体力学研究会
- Place of Presentation
  千葉大学
- Year and Date
  2010-03-19
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開2010
- Author(s)
  山本野人、松田望、渡部善隆、藤原宏志
- Organizer
  学際大規模情報基盤共同利用・共同研究拠点第1回シンポジウム
- Place of Presentation
  東京大学
- Year and Date
  2010-09-01
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] MATLABの数式処理機能による精度保証計算プログラムの自動生成2010
- Author(s)
  宇川隆詞、山本野人
- Organizer
  2010年度応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2010-12-18
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] Interval multiple-precision arithmetic with center-radius form2010
- Author(s)
  N.Yamamoto, N.Matsuda
- Organizer
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010)
- Place of Presentation
  ENS de Lyon, France
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] Interval multiple-precision arithmetic with center-radius form2010
- Author(s)
  N.Yamamoto, N.Matsuda
- Organizer
  SCAN2010
- Place of Presentation
  ENS de Lyon, France
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] Interval Multiple-Precision Arithmetic with center-radius form2010
- Author(s)
  N. Yamamoto, N. Matsuda
- Organizer
  SCAN2010, 14th GAMM-IMACS, International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  ENS de Lyon, Francs
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] ODEに対する精度保証プログラム生成の半自動化について2010
- Author(s)
  宇川隆詞, 山本野人
- Organizer
  日本応用数理学会2010年研究部会連合発表会
- Place of Presentation
  筑波大学
- Year and Date
  2010-03-08
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] 「常微分方程式の精度保証付き計算の技法と利用法」(招待講演)2010
- Author(s)
  山本野人
- Organizer
  天体力学N体力学研究会・ちばN体2010
- Place of Presentation
  千葉大学
- Year and Date
  2010-03-19
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] An application of the Lohner method for boundary value problems of ODEs'2009
- Author(s)
  Nobito Yamamoto, Ryuji Ukawa, Nozomu Matsuda
- Organizer
  ECM2009
- Place of Presentation
  香港理工大学、中華人民共和国、香港
- Year and Date
  2009-05-26
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] 精度保証付き多倍長演算の実装について2009
- Author(s)
  山本野人, 他
- Organizer
  研究集会 : 「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
- Place of Presentation
  公立はこだて未来大学
- Year and Date
  2009-11-20
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] On Validated Computation with Multipleprecision Arithmetic2009
- Author(s)
  Nobito Yamamoto
- Organizer
  Taiwan-Japan Joint Seminar
- Place of Presentation
  台湾大学
- Year and Date
  2009-11-07
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 精度保証付き数値計算と多倍長演算2009
- Author(s)
  山本野人
- Organizer
  デジタル解析学セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2009-10-19
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] 多倍長演算の精度保証について2009
- Author(s)
  松田望、山本野人
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2009-12-17
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] 「精度保証付き数値計算と多倍長演算」(招待)2009
- Author(s)
  山本野人
- Organizer
  デジタル解析学セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2009-10-19
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] Construction of an automatic validated computation for boundary value problems of ODEs'2009
- Author(s)
  Nobito Yamamoto, Ryuji Ukawa, Nozomu Matsuda
- Organizer
  ASCM-MACIS2009
- Place of Presentation
  九州大学
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] On Validated Computation with Multipleprecision Arithmetic2009
- Author(s)
  山本野人
- Organizer
  Taiwan-Japan Joint Seminar
- Place of Presentation
  台湾大学、中華民国、台北
- Year and Date
  2009-11-07
- Data Source
  KAKENHI-PROJECT-21540115
[Presentation] Construction of an automatic validated computation for boundary value problems of ODEs'2009
- Author(s)
  Nobito Yamamoto, et al
- Organizer
  ASCM-MACIS2009
- Place of Presentation
  シーホークホテル & リゾート福岡
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] An application of the Lohner method for boundary value problems of ODEs2009
- Author(s)
  Nobito Yamamoto, et al
- Organizer
  ECM2009
- Place of Presentation
  香港
- Year and Date
  2009-05-26
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 'Construction of an automatic validated computation for boundary value problems of ODEs'2009
- Author(s)
  Nobito Yamamoto
- Organizer
  The Joint Conference of ASCM2009 and MACIS2009
- Place of Presentation
  九州大学
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] 精度保証付き数値計算と多倍長演算2009
- Author(s)
  Nobito Yamamoto, et al
- Organizer
  デジタル解析学セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2009-10-19
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] An application of the Lohner method for boundary value problems of O DEs'2009
- Author(s)
  Nobito Yamamoto
- Organizer
  International Conference on Engineering and Computational Mathematics(ECM2009)
- Place of Presentation
  The Hong Kong Polytechnic University
- Year and Date
  2009-05-26
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] 微分方程式に対する精度保証付き数値計算2009
- Author(s)
  山本野人
- Organizer
  談話会
- Place of Presentation
  芝浦工業大学
- Year and Date
  2009-05-08
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] Validated Computation of Closed Orbits of Dynamical Systems2009
- Author(s)
  Yamamoto, N.
- Organizer
  International workshop on verified computation and related topics
- Place of Presentation
  University of Karlsruhe(TH), Germany
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 'On Validated Computation with Multipleprecision Arithmetic'2009
- Author(s)
  Nobito Yamamoto
- Organizer
  Taiwan-Japan Joint Seminar
- Place of Presentation
  台湾大学、中華民国、台北
- Year and Date
  2009-11-07
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] Numerical verification on existence of periodic solutions to ODEs2009
- Author(s)
  Nobito Yamamoto
- Organizer
  2009 International Workshop on Numerical Verification and its Applications
- Place of Presentation
  Miyakojima, Japan
- Year and Date
  2009-03-26
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] 常微分方程式の数値解に関する精度保証の技法について2008
- Author(s)
  小森喬, 山本野人
- Organizer
  日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会
- Place of Presentation
  首都大学東京
- Year and Date
  2008-03-08
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] Numerical verification on existence of periodic solutions to ODEs2008
- Author(s)
  N. Yamamoto
- Organizer
  International Workshop on Numerical verification and its Applications
- Place of Presentation
  沖縄市
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] 常微分方程式の精度保証 : Taylor Model法の中尾理論への導入について2008
- Author(s)
  山本野人
- Organizer
  数値解析における理論・手法・応用
- Place of Presentation
  京都大学
- Year and Date
  2008-11-14
- Data Source
  KAKENHI-PROJECT-19540118
[Presentation] 常微分方程式の精度保証 : Taylor Model法の中尾理論への導入2008
- Author(s)
  山本野人
- Organizer
  RIMS研究集会「数値解析における理論・手法・応用」
- Place of Presentation
  京都大学
- Year and Date
  2008-11-14
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 常微分方程式の精度保証法について2008
- Author(s)
  山本野人, 小森喬
- Organizer
  日本数学会2008年度秋季総合分科会
- Place of Presentation
  東京工業大学
- Year and Date
  2008-09-27
- Data Source
  KAKENHI-PROJECT-19540118
[Presentation] 常微分方程式の精度保証法について2008
- Author(s)
  山本野人, 小森喬
- Organizer
  日本数学会2008年度秋季総合分科会
- Place of Presentation
  東京工業大学
- Year and Date
  2008-09-27
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 常微分方程式の精度保証法について2008
- Author(s)
  山本野人
- Organizer
  日本応用数理学会2008年度年会
- Place of Presentation
  東京大学柏キャンパス
- Year and Date
  2008-09-19
- Data Source
  KAKENHI-PROJECT-20224001
[Presentation] 高次補間に基づく常微分方程式の精度保証法について2007
- Author(s)
  小森喬・山本野人
- Organizer
  日本数学会2007年度秋期総合分科会
- Place of Presentation
  東北大学、仙台
- Year and Date
  2007-09-23
- Data Source
  KAKENHI-PROJECT-19540118
[Presentation] 常微分方程式初期値問題に対する精度保証付き計算の新手法2007
- Author(s)
  山本野人, 小森喬
- Organizer
  日本応用数理学会研究部会連合講演会
- Place of Presentation
  名古屋大学,名古屋市
- Year and Date
  2007-03-03
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540106
[Presentation] 高次補間に基づく常微分方程式の精度保証法について2007
- Author(s)
  山本野人
- Organizer
  日本数学会 2007年度秋期総合分科会
- Place of Presentation
  東北大学
- Year and Date
  2007-09-23
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] A theorem for numerical verification of local uniquness2007
- Author(s)
  N. Yamamoto
- Organizer
  ICIAM 07
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-17002012
[Presentation] A theorem for numerical verification of local uniquness2007
- Author(s)
  N. Yamamoto
- Organizer
  ICTAM 07
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-19540118
[Presentation] A numerical verification method for ODEs based on the Nakao Theory2007
- Author(s)
  N. Yamamoto, T. Komori
- Organizer
  DMHF2007
- Place of Presentation
  Fukuoka, Japan
- Data Source
  KAKENHI-PROJECT-19540118
[Presentation] 常微分方程式の精度保証法に関する新しい計算技法について2006
- Author(s)
  山本野人, 小森喬, 足立英輔
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学,大津市
- Year and Date
  2006-12-20
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540106
[Presentation] A Numerical Verification Method for ODEs based on Nakao's Theory2006
- Author(s)
  N.Yamamoto
- Organizer
  NOLTA2006
- Place of Presentation
  Bologna,Italy
- Year and Date
  2006-09-11
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540106
[Presentation] A numerical verification method for ODEs with narrow errorbounds2006
- Author(s)
  N.Yamamoto
- Organizer
  SCAN2006
- Place of Presentation
  Duisburg,Germany
- Year and Date
  2006-09-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540106
[Presentation] A numerical verification method for nonlinear two-point boundary value problems2006
- Author(s)
  N.Yamamoto
- Organizer
  ICNAAM2006
- Place of Presentation
  Crete,Greece
- Year and Date
  2006-09-15
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540106
[Presentation] A numerical verification method for a basin of a limit cycle
- Author(s)
  Tomohirio Hiwaki and Nobito Yamamoto
- Organizer
  SCAN2014
- Place of Presentation
  ヴルツブルグ大学、ドイツ
- Year and Date
  2014-09-22 – 2014-09-25
- Data Source
  KAKENHI-PROJECT-24540115

1. NAKAO Mitsuhiro (10136418)

# of Collaborated Projects: 13 results

# of Collaborated Products: 7 results
2. KAWASAKI Hidefumi (90161306)

# of Collaborated Projects: 8 results

# of Collaborated Products: 0 results
3. OHTSUKA Hiroshi (30203839)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. NAKAMURA Kenichi (40293120)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. YANAGAWA Takashi (80029488)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. TANAKA Syunichi (00028127)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. WATANABE Yoshitaka (90243972)

# of Collaborated Projects: 3 results

# of Collaborated Products: 9 results
8. TABATA Masahisa (30093272)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. OISHI Shin'ichi (20139512)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
10. FURUKAWA Nagata (50037165)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. NISHIDA Takaaki (70026110)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
12. SHIBATA Yoshihiro (50114088)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. 河原康雄 (90091181)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. 笛田薫 (50253399)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. EI Shin-ichiro (30201362)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. NAGATOU Kaori (40326426)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
17. MURASHIGE Sunao (40302749)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. OGATA Hidenori (50242037)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. FUKUMOTO Yasuhide (30192727)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. HONDA Satoru (00219239)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. SUZUKI Atsushi (60284155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. ONISHI Isamu (30262372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. USHIJIMA Teruo (10012410)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. TAKEDA Tatsuoki (60272746)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. KAKO Takashi (30012488)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. FUJIMA Shoiti (00209082)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. IMAMURA Toshiyuki (60361838)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 吉田正章 (30030787)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 佐々木武 (00022682)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 茂手木公彦 (40219978)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 塩浜勝博 (20016059)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 山崎正 (30011696)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 藤野精一 (20037146)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 佐藤坦 (30037254)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 田中輝雄 (80227149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 末吉豊 (80128040)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 横田佳之 (40240197)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 坂内悦子 (00253394)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 小西貞則 (40090550)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 田中靖子 (00271099)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 小山大介 (60251708)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 木下武彦

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

YAMAMOTO Nobito 山本 野人

山本 野人 ヤマモト ノビト

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of analyzing tools of dynamical systems based on verified numericsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constructing Lyapunov functions by verified numericsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Library for Validated Computation of Differential EquationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Validate Computation Library on Time Evolution EquationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of numerical verification methods on evolution equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Numerical Verification Methods for Dynamical Systems described by ODEsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Self-validated computation of singular integral and integral equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Nonlinear Analysis by Numerical Verification MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of practical methods for rigorous calculation with guaranteed accuracyPrincipal Investigator

YAMAMOTO Nobito 山本野人

山本野人ヤマモトノビト