• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Yamamoto Nobito  山本 野人

ORCIDConnect your ORCID iD *help
… Alternative Names

YAMAMOTO Nobito  山本 野人

山本 野人  ヤマモト ノビト

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

    (25 results)
  • Research Products

    (160 results)
  • Co-Researchers

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

    • Principal Investigator
      山本 野人
    • Project Period (FY)
      2021 – 2023
    • 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
      山本 野人
    • 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

All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation Book

  • [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] 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

    • 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

    • ISSN
      0916-7005, 1868-937X
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K04991
  • [Journal Article] Some considerations of the invertibility verifications for linear elliptic operators2015

    • Author(s)
      Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 52 Issue: 1 Pages: 19-31

    • DOI

      10.1007/s13160-014-0160-6

    • ISSN
      0916-7005, 1868-937X
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
  • [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] 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 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] 離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について2021

    • Author(s)
      皆本 啓吾 (電気通信大学), 新田 光輝 (電気通信大学), 山本 野人 (電気通信大学)
    • Organizer
      日本応用数理学会 第17回 研究部会連合発表会
    • 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
      第1回山梨精度保証研究会
    • 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: 2 results
  • 43.  木村 拓馬
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi