• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Details
Related links
Search

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID：201001041454294324   Update date: Apr. 09, 2025

KIMURA Takuma

キムラ タクマ | KIMURA Takuma
Clips
Affiliation and department：
Saga University Faculty of Science and Engineering

About Saga University Faculty of Science and Engineering


Job title： Associate Professor
Research field  (3)： Computational science ,  Applied mathematics and statistics ,  Basic mathematics
Research keywords  (12)： numerical linear algebra ,  Computer-assisted proof ,  Error Analysis ,  error estimates ,  Heat equation ,  Error bounds ,  Mathematical Programming ,  Partial Differential Equation ,  Finite Element Method ,  Numerical Verification ,  Numerical computation ,  Numerical Analysis
Research theme for competitive and other funds  (6)：
  • 2023 - 2026 Developments and Applications of Numerical Verification Methods for Finite Element Approximation of Differential Equations
  • 2020 - 2024 Numerical Verification Methods for the Finite Element Approximation of Partial Differential Equations
  • 2017 - 2021 Numerical verification method of solutions for evolutionary equations by applying the matrix exponential
  • 2015 - 2018 A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
  • 2014 - 2017 Numerical Verification Method for Solutions of Nonlinear Programming Problems
Show all
Papers (21)：
ｍore...
MISC (18)：
  • Takuma Kimura, Teruya Minamoto, Mitshuhiro T. Nakao. Constructive Error Estimates for a Full-Discretized Periodic Solution of Heat Equation by Spatial Finite-Element and Time Spectral Method. 10.2139/ssrn.4837039. 2024. 181. 248-258
  • Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao. Constructive a priori error estimates for a full discrete approximation of periodic solutions for the heat equation. arXiv:1904.06067 [math.NA]. 2019
  • Kouji Hashimoto, Mitsuhiro T. Nakao, Takuma Kimura, Teruya Minamoto. Constructive error analysis of a full-discrete finite element method for the heat equation. arXiv:1806.07054 [math.NA]. 2018
  • 木村 拓馬. A method of verified computation for convex programming. SCAN 2016 Book of Abstracts. 2016. -. 121-122
  • 木村 拓馬. 最適化問題に関連する精度保証付き数値計算法について. 第28回RAMPシンポジウム論文集. 2016. -. 57-66
ｍore...
Books (1)：
  • 精度保証付き数値計算の基礎
    コロナ社 2018 ISBN:9784339028874
Education (2)：
  • - 2010 Hirosaki University
  • - 2010 Hirosaki University Graduate School of Science and Technology
Professional career (1)：
  • Ph.D.(Science)
Work history (5)：
  • 2015/04 - 現在 Saga University Associate Professor
  • 2012 - 現在 , Junior Researcher, Waseda University
  • 2012/04 - Waseda University Faculty of Science and Engineering
  • 2010 - 2012 , Research Fellow, Sasebo National College of Technology
  • 2010/04 - National Institute of Technology, Sasebo College
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM