Tanaka Kazuaki

タナカカズアキ | Tanaka Kazuaki

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： https://tanaka.s-top.dev/

Research field (1)： Applied mathematics and statistics

Research keywords (6)： Validation Mathematics , Deep Learning , Partial Differential Equations , Rigorous Computation , Computer-Assisted Proofs , Numerical Analysis

Research theme for competitive and other funds (6)：

2021 - 2028 精度保証付きニューラルネットワーク数値計算理論の確立
2022 - 2023 急激な温度変化を伴う反応拡散現象に対する精度保証付き数値計算法に関する研究
2019 - 2022 精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析
2021 - 2021 相分離現象解明のための精度保証付き数値計算法
2017 - 2020 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究

Show all

Papers (16)：

Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi. Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents. Numerical Functional Analysis and Optimization. 2022. 43. 3. 322-349
Kazuaki Tanaka, Taisei Asai. A posteriori verification of the positivity of solutions to elliptic boundary value problems. Partial Differential Equations and Application. 2022
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi. Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. Computers & Mathematics with Applications. 2022. 106. 18-26
Taisei Asai, Kazuaki Tanaka, Shin’ichi Oishi. Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. Journal of Computational and Applied Mathematics. 2021. 113708-113708
Kazuaki Tanaka. A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations. Japan Journal of Industrial and Applied Mathematics. 2021

ｍore...

MISC (1)：

田中一成. コンピュータも計算を間違う?-数値計算の精度と誤差-. 日本音響学会誌. 2022. 78. 10

Lectures and oral presentations (84)：

Understanding from solution-enclosures - Using elliptic equations as a case study
(The 42nd JSST Annual International Conference on Simulation Technology (JSST 2023) 2023)
Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations
(Numerical methods for spectral problems: theory and applications(NMSP2023) 2023)
Rigorous solution-enclosures of elliptic boundary value problems between piecewise linear functions
(10th International Congress on Industrial and Applied Mathematics (ICIAM2023) 2023)
Verified Numerical Computations for multiple solutions of the Henon equation
(10th International Congress on Industrial and Applied Mathematics (ICIAM2023) 2023)
深層学習と精度保証付き数値計算
(創発的研究支援事業融合の場 -深層学習がもたらすブレイクスルーと可能性- 2023)

ｍore...

Education (3)：

2014 - 2017 Waseda University Graduate School of Fundamental Science and Engineering (Doctor course)
2012 - 2014 Waseda University Graduate School of Fundamental Science and Engineering (Master course)
2008 - 2012 Waseda University School of Fundamental Science and Engineering Department of Applied Mathematics

Professional career (1)：

Ph.D. in Engineering (Waseda University)

Work history (3)：

2023/04 - 現在 Waseda University Global Center for Science and Engineering, Faculty of Science and Engineering Associate Professor
2018/04 - 2023/03 Waseda University Research Institute for Science and Engineering Assistant Professor
2017/04 - 2018/03 Waseda University Faculty of Science and Engineering

Awards (9)：

2023/02 - 公益社団法人日本工学教育協会工学教育賞
2023 - 第12回WASEDA e-Teaching Award
2022/11 - Japan Society for Simulation Technology (JSST) Outstanding Presentation Award, The 41st JSST Annual International Conference on Simulation Technology
2022/05 - 公益財団法人船井情報科学振興財団船井研究奨励賞
2020/03 - 第8回WASEDA e-Teaching Award 大賞

Show all

Association Membership(s) (2)：

日本数学会 , 日本応用数理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page