Kimura Takuma 木村拓馬

… Alternative Names

KIMURA Takuma 木村拓馬

Less

Researcher Number	60581618
Other IDs	https://orcid.org/0000-0003-4147-1864
Affiliation (Current)	2024: 佐賀大学, 理工学部, 准教授
Affiliation (based on the past Project Information) *help	2017 – 2023: 佐賀大学, 理工学部, 准教授 2015 – 2017: 佐賀大学, 工学(系)研究科(研究院), 准教授 2014: 早稲田大学, 理工学術院, 講師 2012 – 2014: 早稲田大学, 理工学術院, 次席研究員
Review Section/Research Field	Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / Computational science / Foundations of mathematics/Applied mathematics Except Principal Investigator Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 数値解析 / 精度保証付き数値計算 / 有限要素法 / 微分方程式 / 誤差評価 / 数値計算 / 発展方程式 / 精度保証付き数値計算法 / 最適化法 / 数理計画 … More Except Principal Investigator … More 計算機援用証明 / 非線形発展方程式 / 解の事後誤差評価 / 解の数値的検証 / 精度保証付き数値計算法 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 数値的検証法 / 非線形偏微分方程式 / 非線形現象 / 数値解析 / 楕円型方程式 Less

Developments and Applications of Numerical Verification Methods for Finite Element Approximation of Differential EquationsPrincipal Investigator
- Principal Investigator
  
  木村拓馬
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Saga University
偏微分方程式と有限要素近似に関する精度保証付き数値計算法の発展とその自動化の研究Principal Investigator
- Principal Investigator
  
  木村拓馬
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Saga University
Numerical verification method of solutions for evolutionary equations by applying the matrix exponentialPrincipal Investigator
- Principal Investigator
  
  Kimura Takuma
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computational science
- Research Institution
  Saga University
A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kyushu University
  Sasebo National College of Technology
Numerical Verification Method for Solutions of Nonlinear Programming ProblemsPrincipal Investigator
- Principal Investigator
  
  Kimura Takuma
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Saga University
  Waseda University
Numerical verification method of solutions for nonlinear evolutional equations
- Principal Investigator
  
  NAKAO Mitsuhiro
- 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
  Sasebo National College of Technology

All 2022 2020 2019 2018 2017 2016 2015 2014 2013 Other

All Journal Article Presentation

[Journal Article] Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation2022
- Author(s)
  Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
- Journal Title
  
  Computational Methods in Applied Mathematics
  
  Volume: 22 Issue: 3 Pages: 631-647
- DOI
  10.1515/cmam-2022-0015
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03752, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-22K03417, KAKENHI-PROJECT-19K03623
[Journal Article] Constructive error estimates for full discrete approximation of periodic solution for heat equation2020
- Author(s)
  Kimura Takuma、Minamoto Teruya、Nakao Mitsuhiro T.
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 368 Pages: 112510-112510
- DOI
  10.1016/j.cam.2019.112510
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
[Journal Article] Constructive error analysis of a fulldiscrete finite element method for the heat equations2019
- Author(s)
  Hashimoto, K., Kimura, T., Minamoto, T., Nakao, M.T.
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 36 Issue: 3 Pages: 777-790
- DOI
  10.1007/s13160-019-00362-6
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-18K03440, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
[Journal Article] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017
- Author(s)
  Takuma Kimura, Teruya Minamoto, and Mitsuhiro T. Nakao
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 202-212
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K17948
[Journal Article] A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems2017
- Author(s)
  Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi
- Journal Title
  
  Numerical Algorithms
  
  Volume: 印刷中 Issue: 1 Pages: 33-51
- DOI
  10.1007/s11075-016-0240-6
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870646
[Journal Article] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017
- Author(s)
  T. Kimura, T. Minamoto, M. T. Nakao
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 201-212
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K05012
[Journal Article] A method of verified computation for convex programming2016
- Author(s)
  Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi
- Journal Title
  
  SCAN 2016 Book of Abstracts
  
  Volume: － Pages: 121-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26870646
[Journal Article] Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation2016
- Author(s)
  Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
- Journal Title
  
  SCAN 2016 Book of Abstracts
  
  Volume: － Pages: 72-73
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26870646
[Journal Article] 最適化問題に関連する精度保証付き数値計算法について2016
- Author(s)
  木村拓馬
- Journal Title
  
  第28回ＲＡＭＰシンポジウム論文集
  
  Volume: － Pages: 57-66
- Data Source
  KAKENHI-PROJECT-26870646
[Journal Article] On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems2014
- Author(s)
  Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
- Journal Title
  
  Numerische Mathematik
  
  Volume: 126 Issue: 4 Pages: 679-701
- DOI
  10.1007/s00211-013-0575-z
- NAID
  120005434971
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24540151
[Journal Article] Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces2014
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 52 Issue: 1 Pages: 975-992
- DOI
  10.1007/s13160-014-0160-6
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
[Journal Article] Some remarks on the instability of approximate solutions for ODEs2013
- Author(s)
  T. Kimura, T. Kinoshita, M.T. Nakao
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: 4 Pages: 80-87
- NAID
  130003375413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540151
[Journal Article] Some remarks on the instability of approximate solutions for ODEs2013
- Author(s)
  T. Kimura
- Journal Title
  
  Nonlinear Theory and Its Applications
  
  Volume: 4 Pages: 80-87
- NAID
  130003375413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] 線形熱方程式の時間周期解に対する近似解の事前誤差評価について2019
- Author(s)
  木村拓馬, 皆本晃弥，中尾充宏
- Organizer
  第3回精度保証付き数値計算の実問題への応用研究集会 (NVR 2019)
- Data Source
  KAKENHI-PROJECT-17K17948
[Presentation] On the constructive error estimates of a full discrete approximation for time-periodic solution of the heat equations2018
- Author(s)
  Takuma Kimura, Teruya Minamoto and Mitsuhiro T. Nakao
- Organizer
  The 18th International Symposium on Scientfic Computing, Computer Arithmetic, and Verified Numerical Computations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K17948
[Presentation] 線形熱方程式の時間周期解に対する近似解の誤差評価について2018
- Author(s)
  木村拓馬, 皆本晃弥, 中尾充宏
- Organizer
  第2回精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)
- Data Source
  KAKENHI-PROJECT-17K17948
[Presentation] Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation2016
- Author(s)
  Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
- Organizer
  17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics
- Place of Presentation
  Uppsala University
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] 最適化問題に関連する精度保証付き数値計算法について2016
- Author(s)
  木村拓馬
- Organizer
  第28回ＲＡＭＰシンポジウム
- Place of Presentation
  新潟大学
- Invited
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] 放物型方程式の全離散近似解に対するオーダー最良な構成的誤差評価について2015
- Author(s)
  木村拓馬, 皆本晃弥, 中尾充宏
- Organizer
  日本応用数理学会
- Place of Presentation
  金沢大学
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] カントロビッチの定理を用いた二次計画問題の精度保証2015
- Author(s)
  小林領, 木村拓馬, 大石進一
- Organizer
  日本応用数理学会
- Place of Presentation
  金沢大学
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] On the numerical verification for parabolic initial boundary value problems2015
- Author(s)
  T. Kimura, T. Minamoto, M. T. Nakao
- Organizer
  Joint Seminar on Numerical Analysis at Niigata University
- Place of Presentation
  新潟大学
- Year and Date
  2015-09-02
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] A Numerical Verification Method for Solutions of Symmetric Saddle Point Linear Systems2015
- Author(s)
  Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi
- Organizer
  Joint Seminar on Numerical Analysis at Niigata University
- Place of Presentation
  新潟大学
- Year and Date
  2015-09-03
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] 数理計画問題に関連する精度保証付き数値計算法について2014
- Author(s)
  木村拓馬
- Organizer
  日本応用数理学会　三部会連携応用数理セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2014-12-26
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] Validated Solutions for Symmetric Saddle Point Linear Systems2014
- Author(s)
  R. Kobayashi, T. Kimura and S. Oishi
- Organizer
  The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology
- Place of Presentation
  Kitakyushu International Conference Center
- Year and Date
  2014-10-30
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] 対称な鞍点行列を係数に持つ連立一次方程式に対するブロック対角行列を前処理に用いた精度保証付き数値計算法2014
- Author(s)
  小林領，木村拓馬，大石進一
- Organizer
  日本応用数理学会2014年度年会
- Place of Presentation
  政策研究大学院大学
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] PDEの周期解の精度保証の現状について2014
- Author(s)
  木下武彦、木村拓馬、中尾充宏
- Organizer
  第１回山梨精度保証研究会
- Place of Presentation
  山梨県甲州市勝沼「ぶどうの丘」
- Year and Date
  2014-09-16
- Data Source
  KAKENHI-PROJECT-24540151
[Presentation] SADDLEPOINT MATRIX EQUATIONの近似解に対する誤差評価について2014
- Author(s)
  木村拓馬，小林領，大石進一
- Organizer
  応用数学合同研究集会
- Place of Presentation
  龍谷大学
- Year and Date
  2014-12-20
- Data Source
  KAKENHI-PROJECT-26870646
[Presentation] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察
- Author(s)
  渡部善隆，木下武彦, 木村拓馬，山本野人，中尾充宏
- Organizer
  2013年度応用数学合同研究集会
- Place of Presentation
  龍谷大学理工学部
- Data Source
  KAKENHI-PROJECT-24540151

1. NAKAO Mitsuhiro (10136418)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
3. KINOSHITA Takehiko (30546429)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
4. MICHAEL Plum

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 長藤かおり

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Kimura Takuma 木村 拓馬

KIMURA Takuma 木村 拓馬

Research Projects

Research Products

Co-Researchers

Developments and Applications of Numerical Verification Methods for Finite Element Approximation of Differential EquationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

偏微分方程式と有限要素近似に関する精度保証付き数値計算法の発展とその自動化の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Numerical verification method of solutions for evolutionary equations by applying the matrix exponentialPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Numerical Verification Method for Solutions of Nonlinear Programming ProblemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Numerical verification method of solutions for nonlinear evolutional equations

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Constructive error estimates for full discrete approximation of periodic solution for heat equation2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Constructive error analysis of a fulldiscrete finite element method for the heat equations2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017

Author(s)

Journal Title

Data Source

[Journal Article] A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017

Author(s)

Journal Title

Data Source

[Journal Article] A method of verified computation for convex programming2016

Author(s)

Journal Title

Data Source

[Journal Article] Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation2016

Author(s)

Journal Title

Data Source

[Journal Article] 最適化問題に関連する精度保証付き数値計算法について2016

Author(s)

Journal Title

Kimura Takuma 木村拓馬

KIMURA Takuma 木村拓馬