• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

山本 野人  YAMAMOTO Nobito

ORCIDORCID連携する *注記
研究者番号 30210545
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2023年度: 電気通信大学, 大学院情報理工学研究科, 教授
2012年度 – 2015年度: 電気通信大学, 情報理工学(系)研究科, 教授
2011年度: 電気通信大学, 大学院・情報理工学研究科, 教授
2006年度 – 2011年度: 電気通信大学, 電気通信学部, 教授
2010年度: 電気通信大学, 情報理工学研究科, 教授 … もっと見る
1999年度 – 2005年度: 電気通信大学, 電気通信学部, 助教授
1998年度: 九州大学, 大学院数理学研究科, 講師
1995年度 – 1997年度: 九州大学, 大学院・数理学研究科, 講師
1994年度: 九州大学, 大学院数理学研究科, 講師
1992年度 – 1993年度: 九州大学, 理学部, 助手
1989年度 – 1990年度: 九州大学, 理学部, 助手 隠す
審査区分/研究分野
研究代表者
数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 小区分12040:応用数学および統計数学関連 / 数学基礎・応用数学
研究代表者以外
数学一般 / 解析学 / 数学一般(含確率論・統計数学) / 工学 / 理工系
キーワード
研究代表者
精度保証 / 力学系 / 常微分方程式 / 精度保証法 / 数値解析 / 数値的検証法 / 微分方程式 / 精度保証付き数値計算 / 偏微分方程式 / Lyapunov関数 … もっと見る / 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 / 楕円型方程式 … もっと見る
研究代表者以外
有限要素法 / 数値的検証法 / 変分問題 / 計算機援用証明 / 精度保証付き数値計算法 / 数値解析 / 精度保証付き計算 / 精度保証付き数値計算 / 誤差評価 / 楕円型境界値問題 / 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接続 隠す
  • 研究課題

    (25件)
  • 研究成果

    (168件)
  • 共同研究者

    (42人)
  •  現象解析のツールとしての精度保証付き計算法の開発研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      電気通信大学
  •  精度保証による力学系解析ツールの開発研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      電気通信大学
  •  精度保証法によるLyapunov関数構成法の研究研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      電気通信大学
  •  微分方程式に対する精度保証付き計算の総合ライブラリの構築研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  発展方程式に対する精度保証付き数値計算ライブラリの構築研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  非線形現象解明に向けた計算機援用解析学の構築

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(S)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      佐世保工業高等専門学校
      九州大学
  •  発展方程式に対する精度保証付き数値計算法の開発研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  精度保証付き数値計算学の確立

    • 研究代表者
      大石 進一
    • 研究期間 (年度)
      2005 – 2009
    • 研究種目
      特別推進研究
    • 審査区分
      理工系
      工学
    • 研究機関
      早稲田大学
  •  常微分方程式で記述される非線形力学系に関する精度保証付き計算法の研究研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2005 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  特異積分法と積分方程式に関する精度保証付き計算法の研究研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  巨大領域のための有限要素法と領域分割計算ならびに関連事項

    • 研究代表者
      牛島 照夫
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  精度保証付きスペクトル法による非線形解析研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
  •  遅い流れの熱対流問題を解く実用的計算コードの作成

    • 研究代表者
      田端 正久
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  精度保証付き計算法の開発と実用化研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      1997 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      電気通信大学
      九州大学
  •  最適制御問題と最良近似問題の研究

    • 研究代表者
      川崎 英文
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  最適化と最良近似

    • 研究代表者
      川崎 英文
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  偏微分方程式の精度保証付き計算のための総合的手法の開発研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      1995
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  関数方程式の解に対する精度保証付き数値計算法

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形最適化の基礎理論とその応用

    • 研究代表者
      川崎 英文
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  偏微分方程式の解の数値的検証法研究代表者

    • 研究代表者
      山本 野人
    • 研究期間 (年度)
      1993
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  確率測度の無限次元級数解析と距離解析

    • 研究代表者
      佐藤 坦
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      解析学
    • 研究機関
      九州大学
  •  微分方程式に対する精度保証付き数値計算法

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  関数方程式に対する自己検証的数値計算法

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1990
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  計算科学と複雑システム

    • 研究代表者
      田中 俊一
    • 研究期間 (年度)
      1990 – 1991
    • 研究種目
      一般研究(B)
    • 研究分野
      数学一般
    • 研究機関
      九州大学
  •  フックス型微分方程式の代数幾何、微分幾何及び位相幾何的研究

    • 研究代表者
      吉田 正章
    • 研究期間 (年度)
      1989
    • 研究種目
      一般研究(C)
    • 研究分野
      解析学
    • 研究機関
      九州大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 「精度保証の手法」、現代数理科学事典第2 版IX 章第6節2009

    • 著者名/発表者名
      山本野人
    • 出版者
      丸善
    • データソース
      KAKENHI-PROJECT-21540115
  • [図書] 第2版 現代数理科学事典2009

    • 著者名/発表者名
      広中平祐編・山本野人, ほか著
    • 総ページ数
      1080
    • 出版者
      丸善出版
    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] Numerical verification method on complex ODEs for existence of global solutions within finite domains2023

    • 著者名/発表者名
      Koki Nitta, Nobito Yamamoto
    • 雑誌名

      JSIAM Letters

      巻: 15 号: 0 ページ: 69-72

    • DOI

      10.14495/jsiaml.15.69

    • ISSN
      1883-0609, 1883-0617
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K03348
  • [雑誌論文] On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases2022

    • 著者名/発表者名
      Koki Nitta, Toshiki Sasaki, Nobito Yamamoto
    • 雑誌名

      JSIAM Letters

      巻: 14 ページ: 33-36

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03410
  • [雑誌論文] シミュレーションと精度保証2022

    • 著者名/発表者名
      山本野人
    • 雑誌名

      シミュレーション

      巻: 41

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K03348
  • [雑誌論文] A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions2022

    • 著者名/発表者名
      Koki Nitta, Nobito Yamamoto, Kaname Matsue
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 電子版のため示されていない 号: 2 ページ: 467-513

    • DOI

      10.1007/s13160-022-00502-5

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K03410, KAKENHI-PROJECT-23K20813
  • [雑誌論文] Errata to ‘‘On the construction of Lyapunov functions with computer assistance’’2021

    • 著者名/発表者名
      Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 384 ページ: 113175-113175

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K03410
  • [雑誌論文] Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases2020

    • 著者名/発表者名
      Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto
    • 雑誌名

      JSIAM Letters

      巻: 12 ページ: 37-40

    • NAID

      130007879242

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K03410
  • [雑誌論文] On the construction of Lyapunov functions with computer assistance2017

    • 著者名/発表者名
      K. Matsue, T. Hiwaki, N. Yamamoto
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 319C ページ: 385-412

    • DOI

      10.1016/j.cam.2017.01.002

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K04991
  • [雑誌論文] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 33 号: 3 ページ: 629-636

    • DOI

      10.1007/s13160-016-0223-y

    • NAID

      210000183342

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K04991
  • [雑誌論文] Some remarks on numerical verification of closed orbits in dynamical systems2015

    • 著者名/発表者名
      T.Hiwaki, N.Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: vol.6 no.3

    • NAID

      130005085582

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K04991
  • [雑誌論文] Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces2014

    • 著者名/発表者名
      Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
    • 雑誌名

      SIAM Journal on Numerical Analysis

      巻: 52 号: 1 ページ: 975-992

    • DOI

      10.1007/s13160-014-0160-6

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
  • [雑誌論文] Validated computation of global solutions to ODEs2013

    • 著者名/発表者名
      Masato Harikae, Nobito Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications

      巻: vol.4, No.1 ページ: 88-96

    • NAID

      130003375414

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540115
  • [雑誌論文] Validated Computation of Global Solutions to ODEs2013

    • 著者名/発表者名
      M. Harikae, N. Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: Vol.4, No.1 ページ: 88-96

    • NAID

      130003375414

    • URL

      http://dx.doi.org/10.1587/nolta.4.88

    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] Validated Computation of Global Solutions to ODEs2013

    • 著者名/発表者名
      M.Harikae, N.Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications , IEICE

      巻: 4 ページ: 88-96

    • NAID

      130003375414

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540115
  • [雑誌論文] 力学系における閉軌道の存在領域の精度保証法による同定2012

    • 著者名/発表者名
      樋脇知広・山本野人
    • 雑誌名

      日本応用数理学会論文誌

      巻: Vol.22, No.4 ページ: 269-276

    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] 力学系における閉軌道の存在領域の精度保証法による同定2012

    • 著者名/発表者名
      樋脇知広・山本野人
    • 雑誌名

      日本応用数理学会論文誌

      巻: 22巻4号

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540115
  • [雑誌論文] On the basic operations of interval multiple-precision arithmetic with center-radius form2011

    • 著者名/発表者名
      N.Matsuda, N.Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications

      巻: 2 ページ: 54-67

    • NAID

      130000903442

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] On the basic operations of interval multiple-precision arithmeticwith center-radius form2011

    • 著者名/発表者名
      N. Matsuda, N. Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 2, No.1 ページ: 54-67

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] A theorem for numerical verification on local uniqueness of solutions to fixed-point equations2011

    • 著者名/発表者名
      N. Yamamoto, M. T. Nakao, Y. Watanabe
    • 雑誌名

      Numerical Functional Analysis and Optimization

      巻: 32 ページ: 1190-1204

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] On the basic operations of interval multiple-precision arithmetic with center-radius form2011

    • 著者名/発表者名
      N. Matsuda, N. Yamamoto
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: Vol.2, No.1 ページ: 54-67

    • NAID

      130000903442

    • URL

      http://dx.doi.org/10.1587/nolta.2.54

    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] A Theorem for Numerical Verification on Local Uniqueness of Solutionsto Fixed-Point Equations2011

    • 著者名/発表者名
      N.Yamamoto, M.T.Nakao, Y.Watanabe
    • 雑誌名

      Numerical Functional Analysis and Optimization

      巻: 32 ページ: 1190-1204

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] 「精度保証付き多倍長演算の方法と構成」計測と制御2010

    • 著者名/発表者名
      山本野人・松田望
    • 巻
      Vol.49,No.5
    • ページ
      297-302
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] On the basic operarions of interval multiple-precision arithmetic with center-radius form2010

    • 著者名/発表者名
      N.Matsuda, N.Yamamoto
    • 雑誌名

      NOLTA, Special Section on Recent Progress in Verified Numerical Computations, to appear

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems2010

    • 著者名/発表者名
      Mitsuhiro T.Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoun Kim
    • 雑誌名

      Journal of Scientific Computing

      巻: Vol.43,No.3 ページ: 388-401

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2010

    • 著者名/発表者名
      M. T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M.-N. Kim
    • 雑誌名

      Journal of Scientific Computing

      巻: Vol.43, No.3 号: 3 ページ: 388-401

    • DOI

      10.1007/s10915-009-9303-3

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2009

    • 著者名/発表者名
      M.T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M. Kim
    • 雑誌名

      Journal of Scientific Computing 10

      ページ: 1-18

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection roblems2009

    • 著者名/発表者名
      Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim
    • 雑誌名

      Journal of Scientific Computing (on line)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      N. Yamamoto, T. Komori
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 26, No.1 ページ: 365-392

    • NAID

      10028169196

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      Nobito Yamamoto, et al
    • 雑誌名

      JJIAM 26巻

      ページ: 365-392

    • NAID

      10028169196

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      Nobito Yamamoto, Takashi Komori
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26

      ページ: 365-392

    • NAID

      10028169196

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      N.Yamamoto, T.Komori
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 26, No.1 ページ: 365-392

    • NAID

      10028169196

    • データソース
      KAKENHI-PROJECT-21540115
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      Nobito Yamamoto, Takashi Komori
    • 雑誌名

      JJIAM vol. 26, No. 2-3

      ページ: 365-392

    • NAID

      10028169196

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      N. Yamamoto, T. Komori
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 365-392

    • NAID

      10028169196

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 連続した入力パタンのあいだの順序関係を認識する神経回路モデル2008

    • 著者名/発表者名
      田中一穂, 矢野慎一郎, 山本野人
    • 雑誌名

      日本応用数理学会論文誌 18

      ページ: 87-105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] Discretization principles for linear two-point boundary value problems2008

    • 著者名/発表者名
      T. Yamamoto, S.Oishi and Q.Fang
    • 雑誌名

      Numer. Funct. Anal. Optimz. 29

      ページ: 213-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 常微分方程式境界値問題の精度保証法の初期値問題への適用2008

    • 著者名/発表者名
      小森喬, 山本野人
    • 雑誌名

      日本応用数理学会論文誌 18

      ページ: 303-319

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] 連続した入力パタンのあいだの順序関係を認識する神経回路モデル-情報の予測・抽象化に向けて-2008

    • 著者名/発表者名
      田中一穂・矢野慎一郎・山本野人
    • 雑誌名

      日本応用数理学会論文誌 Vol. 18, No. 1

      ページ: 87-105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] 常微分方程式境界値問題の精度保証法の初期値問題への適用2008

    • 著者名/発表者名
      小森喬・山本野人
    • 雑誌名

      日本応用数理学会論文誌 Vol. 18, No. 3

      ページ: 303-319

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] 連続した入力パタンのあいだの順序関係を認識する神経回路モデル2008

    • 著者名/発表者名
      田中一穂、矢野慎一郎、山本野人
    • 雑誌名

      日本応用数理学会論文誌 18

      ページ: 87-105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • 著者名/発表者名
      N. Yamamoto, K. Genma
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 286-296

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • 著者名/発表者名
      N.Yamamoto, K.Genma
    • 雑誌名

      J. Comput. Appl. Math. 199

      ページ: 286-296

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • 著者名/発表者名
      Yamamoto, N., Genma, K.
    • 雑誌名

      J. Comput. Appl. Math. 199

      ページ: 286-296

    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • 著者名/発表者名
      N. Yamamoto, K. Genma
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 286-296

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540118
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • 著者名/発表者名
      N.Yamamoto, K.Genma
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 286-296

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006

    • 著者名/発表者名
      T. Yamamoto, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 23:1

      ページ: 31-62

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2006

    • 著者名/発表者名
      N.Yamamoto, K.Genma
    • 雑誌名

      Journal of Computational and Applied Mathematics

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006

    • 著者名/発表者名
      T.Yamamoto, S.Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 23:1

      ページ: 31-62

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] An efficient approach to numerical verification for solutions of elliptic differential equations with local uniaueness (in Japanese)2005

    • 著者名/発表者名
      Y.Watanabe, N.Yamamoto, M.T.Nakao
    • 雑誌名

      Transaction of the Japan Society for Industrial and Applied Mathematics Vol.15, No.4

      ページ: 509-520

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • 著者名/発表者名
      渡部善隆, 山本野人, 中尾充宏
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.4

    • NAID

      110002976854

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 多倍長演算を利用したBessel関数の精度保証付き数値計算2005

    • 著者名/発表者名
      山本 野人, 松田 望
    • 雑誌名

      日本応用数理学会論文誌 15巻3号

      ページ: 347-359

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • 著者名/発表者名
      渡部 善隆, 山本 野人, 中尾 充宏
    • 雑誌名

      日本応用数理学会論文誌 15・4

      ページ: 509-520

    • NAID

      110002976854

    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] 多倍長演算を利用したBessel関数の精度保証付き数値計算2005

    • 著者名/発表者名
      山本野人, 松田望
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 347-359

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 多倍長演算を利用したBessel関数の精度保証つき数値計算2005

    • 著者名/発表者名
      山本野人, 松田望
    • 雑誌名

      日本応用数理学会論文誌 15・3

      ページ: 347-359

    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • 著者名/発表者名
      渡部 善隆, 山本 野人, 中尾 充宏
    • 雑誌名

      日本応用数理学会論文誌 15巻4号

      ページ: 509-520

    • NAID

      110002976854

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17540106
  • [雑誌論文] A Numerical Vertification of Nontrivial Solutions for the Heat Convection Problem2004

    • 著者名/発表者名
      Y.Watanabe, N.Yamamoto, M.T.Nakao, T.Nishida
    • 雑誌名

      Journal of Mathematical Fluid Mechanics 6

      ページ: 1-20

    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] A numerical verification of nontrivial solutions for the heat convection problems2004

    • 著者名/発表者名
      Watanabe, Y., Yamamoto, N., Nakao, M.T., Nishida,T.
    • 雑誌名

      J. Math. Fluid Mech 6

      ページ: 1-20

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] A numerical verification of nontrivial solutions for the heat convection problem2004

    • 著者名/発表者名
      Y.Watanabe, N.Yamamoto, M.T.Nakao, T.Nishida
    • 雑誌名

      Journal of Mathematical Fluid Mechanics Vol.6

      ページ: 1-20

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14340031
  • [雑誌論文] A numerical verification of nontrivial solutions for the heat convection problems2004

    • 著者名/発表者名
      Watanabe, Y., Yamamoto, N., Nakao, M.T., Nishida, T.
    • 雑誌名

      J.Math.Fluid Mech. 6

      ページ: 1-20

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003

    • 著者名/発表者名
      Yamamoto, N., Hayakawa, K.
    • 雑誌名

      Journal of Computational and Applied Mathematics Vol.159

      ページ: 173-183

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14340031
  • [雑誌論文] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003

    • 著者名/発表者名
      Yamamoto, N., Hayakawa, K
    • 雑誌名

      J. Comput. Appl. Math. 159

      ページ: 173-183

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003

    • 著者名/発表者名
      Yamamoto, N., Hayakawa, K.
    • 雑誌名

      J.Comput.Appl.Math 159

      ページ: 173-183

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] Some computer assisted proofs for solutions of the heat convection problems2003

    • 著者名/発表者名
      Nakao, M.T., Watanabe, Y., Yamamoto, N., Nishida,T.
    • 雑誌名

      Reliable Computing 9

      ページ: 359-372

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains2003

    • 著者名/発表者名
      Yamamoto, N., Hayakawa, K.
    • 雑誌名

      The Proceedings of the Sixth Japan-China Joint Seminar, special issue of Journal of Computational and Applied Mathematics Vol.159

      ページ: 173-183

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14340031
  • [雑誌論文] Some computer assisted proofs for solutions of the heat convection problems2003

    • 著者名/発表者名
      Nakao, M.T., Watanabe, Y., Yamamoto, N., Nishida, T.
    • 雑誌名

      Reliable Computing 9

      ページ: 359-372

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15540111
  • [雑誌論文] Some computer assistedproofs for solutions of the heat convectionproblems2003

    • 著者名/発表者名
      M.T.Nakao, Y.Watanabe, N.Yamamoto, T.Nishida
    • 雑誌名

      Reliable Computing Vol.9

      ページ: 359-372

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14340031
  • [雑誌論文] Some computer assisted proofs for solutions of the heat convection problems2003

    • 著者名/発表者名
      M.T.Nakao, Y.Watanabe, N.Yamamoto, T.Nishida
    • 雑誌名

      Reliable Computing Vol.9

      ページ: 359-372

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14340031
  • [学会発表] 保存量を持つ常微分方程式の精度保証付き計算について2022

    • 著者名/発表者名
      山本野人、新田光輝
    • 学会等名
      日本応用数理学会年会
    • データソース
      KAKENHI-PROJECT-21K03348
  • [学会発表] On verification methods for conservative systems2022

    • 著者名/発表者名
      Nobito Yamamoto, Koki Nitta
    • 学会等名
      ReCAP2022
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K03348
  • [学会発表] 保存量を持つ常微分方程式系に対する精度保証法について2022

    • 著者名/発表者名
      山本野人、新田光輝
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-21K03348
  • [学会発表] 離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について2021

    • 著者名/発表者名
      皆本 啓吾 (電気通信大学), 新田 光輝 (電気通信大学), 山本 野人 (電気通信大学)
    • 学会等名
      日本応用数理学会 第17回 研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 複素自励系の時間大域解に関する精度保証について2021

    • 著者名/発表者名
      新田光輝、山本野人
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 非双曲型平衡点近傍での Lyapunov 関数の精度保証法による構成について2020

    • 著者名/発表者名
      新田 光輝 (電気通信大学), 山本 野人 (電気通信大学)
    • 学会等名
      2020 年度応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 非双曲型平衡点近傍でのLyapunov関数の数式処理・精度保証による構成2020

    • 著者名/発表者名
      新田 光輝 (電気通信大学), 笹木 俊希 (電気通信大学), 山本 野人 (電気通信大学)
    • 学会等名
      日本応用数理学会 2020年度 年会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 局所 Lyapunov 関数を用いたホモクリニック軌道の精度保証について2019

    • 著者名/発表者名
      新田光輝 (電気通信大学), 山本野人 (電気通信大学)
    • 学会等名
      数値解析シンポジウム
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 非双曲平衡点をもつ力学系に対するLyapunov関数の構成2019

    • 著者名/発表者名
      中村正男(電気通信大学)、山本野人(電気通信大学)
    • 学会等名
      第3回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2019)
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 局所Lyapunov関数を用いたホモクリニック軌道の精度保証法2019

    • 著者名/発表者名
      新田 光輝 (電気通信大学), 山本 野人 (電気通信大学), 松江 要 (九州大学)
    • 学会等名
      2019年度日本応用数理学会年会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 双曲型平衡点近傍の局所Lyapunov関数を用いたホモクリニック軌道の精度保証2019

    • 著者名/発表者名
      新田 光輝, 山本 野人
    • 学会等名
      応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 非双曲型平衡点に対する局所Lyapunov関数の精度保証による構成2019

    • 著者名/発表者名
      中村 正男 (電気通信大学), 新田 光輝 (電気通信大学), 山本 野人 (電気通信大学)
    • 学会等名
      第16回 応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] ツールとしての精度保証技法 --- 局所Lyapunov関数の構成とその応用2019

    • 著者名/発表者名
      山本野人(電気通信大学) 新田光輝(電気通信大学)
    • 学会等名
      RIMS研究集会:諸科学分野を結ぶ基礎学問としての数値解析学
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 非双曲型平衡点を持つ力学系におけるLyapunov関数の精度保証による構成について2018

    • 著者名/発表者名
      寺坂 元 , 中村 正男 新田 光輝 , 山本 野人
    • 学会等名
      応用数理学会年会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 精度保証付き数値計算による高次元力学系の安定・不安定多様体の捕捉について2018

    • 著者名/発表者名
      新田 光輝, 山本 野人
    • 学会等名
      応用数理学会年会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] On numerical verification of existence of homoclinic orbits of dynamical systems of higher dimensional cases2018

    • 著者名/発表者名
      N. Yamamoto and K. Nitta
    • 学会等名
      International Workshop on Numerical Methods for Partial Differential Equations
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] 非双曲型平衡点近傍におけるLyapunov関数の精度保証による構成2018

    • 著者名/発表者名
      寺坂 元,中村 正男 ,山本 野人
    • 学会等名
      応用数学合同研究集会
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 二次形式を用いたaffine arithmeticの拡張について2018

    • 著者名/発表者名
      中山大輔、松田望、山本野人
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] 連続力学系の非双曲型平衡点近傍での疑似Lyapunov関数の構成と精度保証2018

    • 著者名/発表者名
      寺坂元、中村正男、山本野人
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] On numerical verification of homoclinic orbits in high dimensional dynamical systems2018

    • 著者名/発表者名
      Koki Nitta and Nobito Yamamoto
    • 学会等名
      SCAN2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 高次元力学系におけるホモクリニック軌道の精度保証法に向けて2018

    • 著者名/発表者名
      新田光輝、山本野人
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] On Lyapunov functions constructed by verified computation2018

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      EASIAM 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03410
  • [学会発表] 精度保証付き数値計算による写像度の計算手法の提案2017

    • 著者名/発表者名
      新田光輝、山本野人、松江要、小林健太
    • 学会等名
      日本応用数理学会
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] Hybrid系における精度保証による周期解の検証とLyapunov関数の構成2016

    • 著者名/発表者名
      三宅 智大, 新田 光輝, 中山 大輔, 山本 野人
    • 学会等名
      応用数理学会研究部会連合発表会
    • 発表場所
      神戸学院大学
    • 年月日
      2016-03-04
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] Numerical verification of existence of homoclinic orbits in dynamical systems2016

    • 著者名/発表者名
      Nobito YAMAMOTO, Kaname MATSUE, Tomohiro HIWAKI
    • 学会等名
      SCAN 2016
    • 発表場所
      ウプサラ(スウェーデン)
    • 年月日
      2016-09-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] Lyapunov 関数と写像度を用いたホモクリニック軌道の精度保証2016

    • 著者名/発表者名
      山本野人, 山野駿
    • 学会等名
      第45回数値解析シンポジウム
    • 発表場所
      霧島ホテル(鹿児島県霧島市)
    • 年月日
      2016-06-08
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] Hybrid力学系の不動点およびLyapunov関数についての精度保証2016

    • 著者名/発表者名
      新田光輝, 中山大輔, 三宅智大, 山本野人
    • 学会等名
      日本応用数理学会2016年度年会
    • 発表場所
      北九州国際会議場(福岡県北九州市)
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] LILIB - Long Interval Library2016

    • 著者名/発表者名
      Nozomu MATSUDA, Nobito YAMAMOTO
    • 学会等名
      SCAN 2016
    • 発表場所
      ウプサラ(スウェーデン)
    • 年月日
      2016-09-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] 精度保証によるLyapunov関数の構成とその拡張2016

    • 著者名/発表者名
      三宅智, 山本野人
    • 学会等名
      2016年度応用数学合同研究集会
    • 発表場所
      龍谷大学(滋賀県大津市)
    • 年月日
      2016-12-15
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] How to construct Lyapunov functions in dynamical systems by validated computation,2015

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      Computational and Geometric Approaches for Nonlinear Phenomena
    • 発表場所
      早稲田大学
    • 年月日
      2015-08-06
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] Construction of Lyapunov func- tions by validated computation2015

    • 著者名/発表者名
      N. Yamamoto, K. Matsue and T. Hiwaki
    • 学会等名
      MACIS 2015
    • 発表場所
      Zuse Institute Berlin
    • 年月日
      2015-11-11
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] 離散力学系におけるLyapunov 関数の精度保証による構成2015

    • 著者名/発表者名
      樋脇知広、山本野人、松江要
    • 学会等名
      2015年応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2015-12-17
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] How to construct Lyapunov functions by validated computation2015

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      The First French-Japanese Workshop on Numerical Computations
    • 発表場所
      Universite Pierre et Marie Curie (Paris 6)
    • 年月日
      2015-03-24
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] 力学系における周期解近傍のLyapunov関数の精度保証による構成2015

    • 著者名/発表者名
      三宅智大 , 樋脇知広 , 山本野人
    • 学会等名
      第44回数値解析シンポジウム
    • 発表場所
      ぶどうの丘(山梨県甲州市)
    • 年月日
      2015-06-10
    • データソース
      KAKENHI-PROJECT-15K04991
  • [学会発表] 力学系における閉軌道の漸近安定性の精度保証について2014

    • 著者名/発表者名
      樋脇知広、山本野人
    • 学会等名
      日本応用数理学会2014年度年会
    • 発表場所
      政策研究大学院大学
    • 年月日
      2014-09-03
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] Numerical verification methods for limit cycles in dynamical systems2014

    • 著者名/発表者名
      Nobito Yamamoto and Tomohiro Hiwaki
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2014
    • 発表場所
      早稲田大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] Lyapunov関数の精度保証による構成について2014

    • 著者名/発表者名
      山本野人、松江要
    • 学会等名
      2014年度応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2014-12-18
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] 力学系周期軌道の精度保証法とLyapunov関数2014

    • 著者名/発表者名
      山本野人
    • 学会等名
      第1回山梨精度保証研究会
    • 発表場所
      勝沼 ぶどうの丘
    • 年月日
      2014-09-15
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察2013

    • 著者名/発表者名
      渡部善隆 ,木下 武彦,木村 拓馬 ,山本 野人 ,中尾 充宏
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] リミットサイクルの吸引域に対する精度保証法2013

    • 著者名/発表者名
      樋脇知広 ,山本野人
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] ローレンツ方程式のヘテロクリニック軌道の精度保証法に関する話題2013

    • 著者名/発表者名
      渡邊 真伊智 ,山本野人
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] 多倍長精度保証ライブラリを用いた多倍長Lohner法の自動生成2013

    • 著者名/発表者名
      松崎雄基 ,松田望 ,山本野人
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] LyapunovTracing による常微分方程式の精度保証法について2013

    • 著者名/発表者名
      樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要
    • 学会等名
      日本応用数理学会年会
    • 発表場所
      福岡アクロス
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] Saddle-saddle connection の精度保証付き数値検証2012

    • 著者名/発表者名
      松江要・山本野人
    • 学会等名
      日本応用数理学会2012年度年会
    • 発表場所
      稚内
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] リミットサイクルの吸引域に含まれる領域の精度保証による同定2012

    • 著者名/発表者名
      樋脇知広・山本野人
    • 学会等名
      2012年度日本数学会秋季総合分科会
    • 発表場所
      九州大学
    • データソース
      KAKENHI-PROJECT-24540115
  • [学会発表] 常微分方程式の大域解に対する精度保証付き数値計算2011

    • 著者名/発表者名
      張替将人、山本野人
    • 学会等名
      日本数学会秋季総合分科会
    • 発表場所
      信州大学
    • 年月日
      2011-10-01
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] 常微分方程式の大域解に対する精度保証法について2011

    • 著者名/発表者名
      山本野人
    • 学会等名
      第276回Q-NAセミナー
    • 発表場所
      九州大学
    • 年月日
      2011-07-26
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 常微分方程式の解に対する時間無限大の極限に至るまでの精度保証法2011

    • 著者名/発表者名
      山本野人
    • 学会等名
      2011年度応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2011-12-16
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] MATLAB上の数式処理を用いた精度保証付き計算プログラムの自動生成2011

    • 著者名/発表者名
      宇川隆詞、山本野人
    • 学会等名
      日本応用数理学会2011年研究部会連合発表会
    • 発表場所
      電機通信大学
    • 年月日
      2011-03-08
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Validated Computation of Global Solutions to ODEs2011

    • 著者名/発表者名
      N.Yamamoto
    • 学会等名
      the Japan-German Workshop on Computer-Assisted proofs and Verification Methods
    • 発表場所
      Karisruhe, Germany
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Validated computation of global solutions to ODEs II2011

    • 著者名/発表者名
      N.Yamamoto
    • 学会等名
      Workshop on Reliability in Scientific Computing and Related Topics
    • 発表場所
      西海国立公園九十九島ビジターセンター
    • 年月日
      2011-11-26
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Validated Computation of Global Solutions to ODEs2011

    • 著者名/発表者名
      N. Yamamoto, M. Harikae
    • 学会等名
      the Japan-German Workshop on Computer-Assisted proofs and Verification Methods
    • 発表場所
      Karisruhe,Germany
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] MATLAB上の数式処理を用いた精度保証付き計算プログラムの自働生成2011

    • 著者名/発表者名
      宇川隆詞、山本野人
    • 学会等名
      日本応用数理学会2011年研究部会連合発表会
    • 発表場所
      電気通信大学
    • 年月日
      2011-03-08
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開学際大規模情報基盤共同利用2010

    • 著者名/発表者名
      山本野人、松田望、渡部善隆、藤原宏志
    • 学会等名
      共同研究拠点第1回シンポジウム
    • 発表場所
      東京大学
    • 年月日
      2010-09-01
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 常微分方程式の精度保証付き計算の技法と利用法2010

    • 著者名/発表者名
      山本野人
    • 学会等名
      天体力学N体力学研究会・ちばN体2010
    • 発表場所
      千葉大学
    • 年月日
      2010-03-19
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] MATLABの数式処理機能による精度保証計算プログラムの自動生成2010

    • 著者名/発表者名
      宇川隆詞、山本野人
    • 学会等名
      2010年度応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2010-12-18
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 精度保証付き多倍長演算の実装について2010

    • 著者名/発表者名
      山本野人、松田望
    • 学会等名
      日本応用数理学会2010年度年会
    • 発表場所
      明治大学
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] 精度保証付き多倍長演算の実相について2010

    • 著者名/発表者名
      山本野人、松田望
    • 学会等名
      日本応用数理学会2010年度年会
    • 発表場所
      明治大学
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 常微分方程式の精度保証付き計算の技法と利用法2010

    • 著者名/発表者名
      山本野人
    • 学会等名
      天体力学n体力学研究会
    • 発表場所
      千葉大学
    • 年月日
      2010-03-19
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開2010

    • 著者名/発表者名
      山本野人、松田望、渡部善隆、藤原宏志
    • 学会等名
      学際大規模情報基盤共同利用・共同研究拠点第1回シンポジウム
    • 発表場所
      東京大学
    • 年月日
      2010-09-01
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] MATLABの数式処理機能による精度保証計算プログラムの自動生成2010

    • 著者名/発表者名
      宇川隆詞、山本野人
    • 学会等名
      2010年度応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2010-12-18
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] Interval multiple-precision arithmetic with center-radius form2010

    • 著者名/発表者名
      N.Yamamoto, N.Matsuda
    • 学会等名
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010)
    • 発表場所
      ENS de Lyon, France
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Interval multiple-precision arithmetic with center-radius form2010

    • 著者名/発表者名
      N.Yamamoto, N.Matsuda
    • 学会等名
      SCAN2010
    • 発表場所
      ENS de Lyon, France
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] Interval Multiple-Precision Arithmetic with center-radius form2010

    • 著者名/発表者名
      N. Yamamoto, N. Matsuda
    • 学会等名
      SCAN2010, 14th GAMM-IMACS, International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      ENS de Lyon, Francs
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] ODEに対する精度保証プログラム生成の半自動化について2010

    • 著者名/発表者名
      宇川隆詞, 山本野人
    • 学会等名
      日本応用数理学会2010年 研究部会 連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] 「常微分方程式の精度保証付き計算の技法と利用法」(招待講演)2010

    • 著者名/発表者名
      山本野人
    • 学会等名
      天体力学N体力学研究会・ちばN体2010
    • 発表場所
      千葉大学
    • 年月日
      2010-03-19
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] An application of the Lohner method for boundary value problems of ODEs'2009

    • 著者名/発表者名
      Nobito Yamamoto, Ryuji Ukawa, Nozomu Matsuda
    • 学会等名
      ECM2009
    • 発表場所
      香港理工大学、中華人民共和国、香港
    • 年月日
      2009-05-26
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] 精度保証付き多倍長演算の実装について2009

    • 著者名/発表者名
      山本野人, 他
    • 学会等名
      研究集会 : 「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
    • 発表場所
      公立はこだて未来大学
    • 年月日
      2009-11-20
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] On Validated Computation with Multipleprecision Arithmetic2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      Taiwan-Japan Joint Seminar
    • 発表場所
      台湾大学
    • 年月日
      2009-11-07
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 精度保証付き数値計算と多倍長演算2009

    • 著者名/発表者名
      山本野人
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2009-10-19
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 多倍長演算の精度保証について2009

    • 著者名/発表者名
      松田望、山本野人
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2009-12-17
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] 「精度保証付き数値計算と多倍長演算」(招待)2009

    • 著者名/発表者名
      山本野人
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2009-10-19
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] Construction of an automatic validated computation for boundary value problems of ODEs'2009

    • 著者名/発表者名
      Nobito Yamamoto, Ryuji Ukawa, Nozomu Matsuda
    • 学会等名
      ASCM-MACIS2009
    • 発表場所
      九州大学
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] On Validated Computation with Multipleprecision Arithmetic2009

    • 著者名/発表者名
      山本野人
    • 学会等名
      Taiwan-Japan Joint Seminar
    • 発表場所
      台湾大学、中華民国、台北
    • 年月日
      2009-11-07
    • データソース
      KAKENHI-PROJECT-21540115
  • [学会発表] Construction of an automatic validated computation for boundary value problems of ODEs'2009

    • 著者名/発表者名
      Nobito Yamamoto, et al
    • 学会等名
      ASCM-MACIS2009
    • 発表場所
      シーホークホテル & リゾート福岡
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] An application of the Lohner method for boundary value problems of ODEs2009

    • 著者名/発表者名
      Nobito Yamamoto, et al
    • 学会等名
      ECM2009
    • 発表場所
      香港
    • 年月日
      2009-05-26
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 'Construction of an automatic validated computation for boundary value problems of ODEs'2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      The Joint Conference of ASCM2009 and MACIS2009
    • 発表場所
      九州大学
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 精度保証付き数値計算と多倍長演算2009

    • 著者名/発表者名
      Nobito Yamamoto, et al
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2009-10-19
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] An application of the Lohner method for boundary value problems of O DEs'2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • 発表場所
      The Hong Kong Polytechnic University
    • 年月日
      2009-05-26
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 微分方程式に対する精度保証付き数値計算2009

    • 著者名/発表者名
      山本野人
    • 学会等名
      談話会
    • 発表場所
      芝浦工業大学
    • 年月日
      2009-05-08
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Validated Computation of Closed Orbits of Dynamical Systems2009

    • 著者名/発表者名
      Yamamoto, N.
    • 学会等名
      International workshop on verified computation and related topics
    • 発表場所
      University of Karlsruhe(TH), Germany
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 'On Validated Computation with Multipleprecision Arithmetic'2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      Taiwan-Japan Joint Seminar
    • 発表場所
      台湾大学、中華民国、台北
    • 年月日
      2009-11-07
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical verification on existence of periodic solutions to ODEs2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-26
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 常微分方程式の数値解に関する精度保証の技法について2008

    • 著者名/発表者名
      小森喬, 山本野人
    • 学会等名
      日本応用数理学会研究部会連合講演会「科学技術計算と数値解析」研究部会
    • 発表場所
      首都大学東京
    • 年月日
      2008-03-08
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] Numerical verification on existence of periodic solutions to ODEs2008

    • 著者名/発表者名
      N. Yamamoto
    • 学会等名
      International Workshop on Numerical verification and its Applications
    • 発表場所
      沖縄市
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 常微分方程式の精度保証 : Taylor Model法の中尾理論への導入について2008

    • 著者名/発表者名
      山本野人
    • 学会等名
      数値解析における理論・手法・応用
    • 発表場所
      京都大学
    • 年月日
      2008-11-14
    • データソース
      KAKENHI-PROJECT-19540118
  • [学会発表] 常微分方程式の精度保証 : Taylor Model法の中尾理論への導入2008

    • 著者名/発表者名
      山本野人
    • 学会等名
      RIMS研究集会「数値解析における理論・手法・応用」
    • 発表場所
      京都大学
    • 年月日
      2008-11-14
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 常微分方程式の精度保証法について2008

    • 著者名/発表者名
      山本野人, 小森喬
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • データソース
      KAKENHI-PROJECT-19540118
  • [学会発表] 常微分方程式の精度保証法について2008

    • 著者名/発表者名
      山本野人, 小森喬
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 常微分方程式の精度保証法について2008

    • 著者名/発表者名
      山本野人
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-19
    • データソース
      KAKENHI-PROJECT-20224001
  • [学会発表] 高次補間に基づく常微分方程式の精度保証法について2007

    • 著者名/発表者名
      小森喬・山本野人
    • 学会等名
      日本数学会2007年度秋期総合分科会
    • 発表場所
      東北大学、仙台
    • 年月日
      2007-09-23
    • データソース
      KAKENHI-PROJECT-19540118
  • [学会発表] 常微分方程式初期値問題に対する精度保証付き計算の新手法2007

    • 著者名/発表者名
      山本 野人, 小森 喬
    • 学会等名
      日本応用数理学会研究部会連合講演会
    • 発表場所
      名古屋大学,名古屋市
    • 年月日
      2007-03-03
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17540106
  • [学会発表] 高次補間に基づく常微分方程式の精度保証法について2007

    • 著者名/発表者名
      山本野人
    • 学会等名
      日本数学会 2007年度秋期総合分科会
    • 発表場所
      東北大学
    • 年月日
      2007-09-23
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] A theorem for numerical verification of local uniquness2007

    • 著者名/発表者名
      N. Yamamoto
    • 学会等名
      ICIAM 07
    • 発表場所
      Zurich, Switzerland
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] A theorem for numerical verification of local uniquness2007

    • 著者名/発表者名
      N. Yamamoto
    • 学会等名
      ICTAM 07
    • 発表場所
      Zurich, Switzerland
    • データソース
      KAKENHI-PROJECT-19540118
  • [学会発表] A numerical verification method for ODEs based on the Nakao Theory2007

    • 著者名/発表者名
      N. Yamamoto, T. Komori
    • 学会等名
      DMHF2007
    • 発表場所
      Fukuoka, Japan
    • データソース
      KAKENHI-PROJECT-19540118
  • [学会発表] 常微分方程式の精度保証法に関する新しい計算技法について2006

    • 著者名/発表者名
      山本 野人, 小森 喬, 足立 英輔
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学,大津市
    • 年月日
      2006-12-20
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17540106
  • [学会発表] A Numerical Verification Method for ODEs based on Nakao's Theory2006

    • 著者名/発表者名
      N.Yamamoto
    • 学会等名
      NOLTA2006
    • 発表場所
      Bologna,Italy
    • 年月日
      2006-09-11
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17540106
  • [学会発表] A numerical verification method for ODEs with narrow errorbounds2006

    • 著者名/発表者名
      N.Yamamoto
    • 学会等名
      SCAN2006
    • 発表場所
      Duisburg,Germany
    • 年月日
      2006-09-26
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17540106
  • [学会発表] A numerical verification method for nonlinear two-point boundary value problems2006

    • 著者名/発表者名
      N.Yamamoto
    • 学会等名
      ICNAAM2006
    • 発表場所
      Crete,Greece
    • 年月日
      2006-09-15
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17540106
  • [学会発表] A numerical verification method for a basin of a limit cycle

    • 著者名/発表者名
      Tomohirio Hiwaki and Nobito Yamamoto
    • 学会等名
      SCAN2014
    • 発表場所
      ヴルツブルグ大学、ドイツ
    • 年月日
      2014-09-22 – 2014-09-25
    • データソース
      KAKENHI-PROJECT-24540115
  • 1.  中尾 充宏 (10136418)
    共同の研究課題数: 13件
    共同の研究成果数: 7件
  • 2.  川崎 英文 (90161306)
    共同の研究課題数: 8件
    共同の研究成果数: 0件
  • 3.  大塚 寛 (30203839)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 4.  中村 健一 (40293120)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  柳川 尭 (80029488)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  田中 俊一 (00028127)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  渡部 善隆 (90243972)
    共同の研究課題数: 3件
    共同の研究成果数: 9件
  • 8.  田端 正久 (30093272)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  大石 進一 (20139512)
    共同の研究課題数: 2件
    共同の研究成果数: 3件
  • 10.  古川 長太 (50037165)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  西田 孝明 (70026110)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 12.  柴田 良弘 (50114088)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  河原 康雄 (90091181)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  笛田 薫 (50253399)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  栄 伸一郎 (30201362)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  長藤 かおり (40326426)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 17.  村重 淳 (40302749)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  緒方 秀教 (50242037)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  福本 康秀 (30192727)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  本多 了 (00219239)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  鈴木 厚 (60284155)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  大西 勇 (30262372)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  牛島 照夫 (10012410)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  竹田 辰興 (60272746)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  加古 孝 (30012488)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  藤間 昌一 (00209082)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  今村 俊幸 (60361838)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  吉田 正章 (30030787)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  佐々木 武 (00022682)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  茂手木 公彦 (40219978)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  塩浜 勝博 (20016059)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  山崎 正 (30011696)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  藤野 精一 (20037146)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  佐藤 坦 (30037254)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  田中 輝雄 (80227149)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  末吉 豊 (80128040)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  横田 佳之 (40240197)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  坂内 悦子 (00253394)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  小西 貞則 (40090550)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  田中 靖子 (00271099)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  小山 大介 (60251708)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  木下 武彦
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi