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

木村 拓馬  Kimura Takuma

研究者番号 60581618
その他のID
  • ORCIDhttps://orcid.org/0000-0003-4147-1864
所属 (現在) 2025年度: 佐賀大学, 理工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記 2017年度 – 2023年度: 佐賀大学, 理工学部, 准教授
2015年度 – 2017年度: 佐賀大学, 工学(系)研究科(研究院), 准教授
2014年度: 早稲田大学, 理工学術院, 講師
2012年度 – 2014年度: 早稲田大学, 理工学術院, 次席研究員
審査区分/研究分野
研究代表者
小区分12040:応用数学および統計数学関連 / 計算科学 / 数学基礎・応用数学
研究代表者以外
数学基礎・応用数学 / 数学一般(含確率論・統計数学)
キーワード
研究代表者
数値解析 / 精度保証付き数値計算 / 数値計算 / 発展方程式 / 有限要素法 / 微分方程式 / 精度保証付き数値計算法 / 数値的検証法 / 誤差評価 / 最適化法 / 数理計画 … もっと見る
研究代表者以外
… もっと見る 計算機援用証明 / 非線形発展方程式 / 解の事後誤差評価 / 解の数値的検証 / 精度保証付き数値計算法 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 数値的検証法 / 非線形偏微分方程式 / 非線形現象 / 数値解析 / 楕円型方程式 隠す
  • 研究課題

    (6件)
  • 研究成果

    (30件)
  • 共同研究者

    (5人)
  •  微分方程式とその有限要素近似に関連する精度保証付き数値計算法の発展と応用研究代表者

    • 研究代表者
      木村 拓馬
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      佐賀大学
  •  偏微分方程式と有限要素近似に関する精度保証付き数値計算法の発展とその自動化の研究研究代表者

    • 研究代表者
      木村 拓馬
    • 研究期間 (年度)
      2020 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      佐賀大学
  •  発展方程式の解に対する指数関数行列を用いた精度保証付き数値計算法研究代表者

    • 研究代表者
      木村 拓馬
    • 研究期間 (年度)
      2017 – 2020
    • 研究種目
      若手研究(B)
    • 研究分野
      計算科学
    • 研究機関
      佐賀大学
  •  無限次元非線形数理モデルに対する高精度数値的検証理論の構築

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      九州大学
      佐世保工業高等専門学校
  •  非線形最小化問題に関連する精度保証付き数値計算法の研究研究代表者

    • 研究代表者
      木村 拓馬
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      若手研究(B)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      佐賀大学
      早稲田大学
  •  非線形発展方程式の解に対する精度保証付き数値計算法

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      佐世保工業高等専門学校

すべて 2023 2022 2020 2019 2018 2017 2016 2015 2014 2013 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation2022

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 雑誌名

      Computational Methods in Applied Mathematics

      巻: 22 号: 3 ページ: 631-647

    • DOI

      10.1515/cmam-2022-0015

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K03752, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-22K03417, KAKENHI-PROJECT-19K03623
  • [雑誌論文] Constructive error estimates for full discrete approximation of periodic solution for heat equation2020

    • 著者名/発表者名
      Kimura Takuma、Minamoto Teruya、Nakao Mitsuhiro T.
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 368 ページ: 112510-112510

    • DOI

      10.1016/j.cam.2019.112510

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
  • [雑誌論文] Constructive error analysis of a fulldiscrete finite element method for the heat equations2019

    • 著者名/発表者名
      Hashimoto, K., Kimura, T., Minamoto, T., Nakao, M.T.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 36 号: 3 ページ: 777-790

    • DOI

      10.1007/s13160-019-00362-6

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-18K03440, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
  • [雑誌論文] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, and Mitsuhiro T. Nakao
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 202-212

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K17948
  • [雑誌論文] A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems2017

    • 著者名/発表者名
      Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi
    • 雑誌名

      Numerical Algorithms

      巻: 印刷中 号: 1 ページ: 33-51

    • DOI

      10.1007/s11075-016-0240-6

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26870646
  • [雑誌論文] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017

    • 著者名/発表者名
      T. Kimura, T. Minamoto, M. T. Nakao
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 201-212

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K05012
  • [雑誌論文] A method of verified computation for convex programming2016

    • 著者名/発表者名
      Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi
    • 雑誌名

      SCAN 2016 Book of Abstracts

      巻: - ページ: 121-122

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26870646
  • [雑誌論文] Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation2016

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 雑誌名

      SCAN 2016 Book of Abstracts

      巻: - ページ: 72-73

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26870646
  • [雑誌論文] 最適化問題に関連する精度保証付き数値計算法について2016

    • 著者名/発表者名
      木村拓馬
    • 雑誌名

      第28回RAMPシンポジウム論文集

      巻: - ページ: 57-66

    • データソース
      KAKENHI-PROJECT-26870646
  • [雑誌論文] On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems2014

    • 著者名/発表者名
      Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
    • 雑誌名

      Numerische Mathematik

      巻: 126 号: 4 ページ: 679-701

    • DOI

      10.1007/s00211-013-0575-z

    • NAID

      120005434971

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24540151
  • [雑誌論文] 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
  • [雑誌論文] Some remarks on the instability of approximate solutions for ODEs2013

    • 著者名/発表者名
      T. Kimura, T. Kinoshita, M.T. Nakao
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 4 ページ: 80-87

    • NAID

      130003375413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540151
  • [雑誌論文] Some remarks on the instability of approximate solutions for ODEs2013

    • 著者名/発表者名
      T. Kimura
    • 雑誌名

      Nonlinear Theory and Its Applications

      巻: 4 ページ: 80-87

    • NAID

      130003375413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] Constructive error estimates for a full-discretized periodic solution of heat equation2023

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      10th International Congress on Industrial and Applied Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K03752
  • [学会発表] Constructive error estimates for a full-discretized periodic solution of heat equation2023

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      10th International Congress on Industrial and Applied Mathematics (ICIAM 2023)
    • データソース
      KAKENHI-PROJECT-23K03232
  • [学会発表] 線形熱方程式の時間周期解に対する近似解の事前誤差評価について2019

    • 著者名/発表者名
      木村 拓馬, 皆本 晃弥,中尾 充宏
    • 学会等名
      第3回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2019)
    • データソース
      KAKENHI-PROJECT-17K17948
  • [学会発表] On the constructive error estimates of a full discrete approximation for time-periodic solution of the heat equations2018

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto and Mitsuhiro T. Nakao
    • 学会等名
      The 18th International Symposium on Scientfic Computing, Computer Arithmetic, and Verified Numerical Computations
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K17948
  • [学会発表] 線形熱方程式の時間周期解に対する近似解の誤差評価について2018

    • 著者名/発表者名
      木村 拓馬, 皆本 晃弥, 中尾 充宏
    • 学会等名
      第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)
    • データソース
      KAKENHI-PROJECT-17K17948
  • [学会発表] Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation2016

    • 著者名/発表者名
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • 学会等名
      17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics
    • 発表場所
      Uppsala University
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] 最適化問題に関連する精度保証付き数値計算法について2016

    • 著者名/発表者名
      木村拓馬
    • 学会等名
      第28回RAMPシンポジウム
    • 発表場所
      新潟大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] 放物型方程式の全離散近似解に対するオーダー最良な構成的誤差評価について2015

    • 著者名/発表者名
      木村 拓馬, 皆本 晃弥, 中尾 充宏
    • 学会等名
      日本応用数理学会
    • 発表場所
      金沢大学
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] カントロビッチの定理を用いた二次計画問題の精度保証2015

    • 著者名/発表者名
      小林 領, 木村 拓馬, 大石 進一
    • 学会等名
      日本応用数理学会
    • 発表場所
      金沢大学
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] On the numerical verification for parabolic initial boundary value problems2015

    • 著者名/発表者名
      T. Kimura, T. Minamoto, M. T. Nakao
    • 学会等名
      Joint Seminar on Numerical Analysis at Niigata University
    • 発表場所
      新潟大学
    • 年月日
      2015-09-02
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] A Numerical Verification Method for Solutions of Symmetric Saddle Point Linear Systems2015

    • 著者名/発表者名
      Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi
    • 学会等名
      Joint Seminar on Numerical Analysis at Niigata University
    • 発表場所
      新潟大学
    • 年月日
      2015-09-03
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] 数理計画問題に関連する精度保証付き数値計算法について2014

    • 著者名/発表者名
      木村拓馬
    • 学会等名
      日本応用数理学会 三部会連携応用数理セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2014-12-26
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] Validated Solutions for Symmetric Saddle Point Linear Systems2014

    • 著者名/発表者名
      R. Kobayashi, T. Kimura and S. Oishi
    • 学会等名
      The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology
    • 発表場所
      Kitakyushu International Conference Center
    • 年月日
      2014-10-30
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] 対称な鞍点行列を係数に持つ連立一次方程式に対するブロック対角行列を前処理に用いた精度保証付き数値計算法2014

    • 著者名/発表者名
      小林 領,木村拓馬,大石 進一
    • 学会等名
      日本応用数理学会2014年度年会
    • 発表場所
      政策研究大学院大学
    • 年月日
      2014-09-03
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] PDEの周期解の精度保証の現状について2014

    • 著者名/発表者名
      木下武彦、木村拓馬、中尾充宏
    • 学会等名
      第1回山梨精度保証研究会
    • 発表場所
      山梨県甲州市勝沼「ぶどうの丘」
    • 年月日
      2014-09-16
    • データソース
      KAKENHI-PROJECT-24540151
  • [学会発表] SADDLEPOINT MATRIX EQUATIONの近似解に対する誤差評価について2014

    • 著者名/発表者名
      木村拓馬,小林 領,大石 進一
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2014-12-20
    • データソース
      KAKENHI-PROJECT-26870646
  • [学会発表] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察

    • 著者名/発表者名
      渡部善隆,木下武彦, 木村拓馬,山本野人,中尾充宏
    • 学会等名
      2013年度応用数学合同研究集会
    • 発表場所
      龍谷大学理工学部
    • データソース
      KAKENHI-PROJECT-24540151
  • 1.  中尾 充宏 (10136418)
    共同の研究課題数: 2件
    共同の研究成果数: 7件
  • 2.  渡部 善隆 (90243972)
    共同の研究課題数: 2件
    共同の研究成果数: 2件
  • 3.  木下 武彦 (30546429)
    共同の研究課題数: 2件
    共同の研究成果数: 4件
  • 4.  MICHAEL Plum
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  長藤 かおり
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

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

Powered by NII kakenhi