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 (89)：

異分野連携の実例:中性子小角散乱法と誤差評価の数理
(数理・情報と諸科学の連携のための研究会 2024)
優解劣解による解包含の可能性:楕円型境界値問題を中心に
(北陸応用数理研究会 2024 2024)
深層学習と精度保証付き数値計算:導入と微分方程式への応用を中心に
(第15回三部会連携「応用数理セミナー」 2023)
ニューラルネットワークによる微分方程式解の包含と優解劣解法の再考
(東京大学数値解析セミナー(UTNAS) 2023)
エノン型方程式の正値対称解の多重性に関する考察-計算機援用アプローチ
(RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 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