田中一成

タナカカズアキ | Tanaka Kazuaki

所属機関・部署：
職名：准教授
ホームページURL (1件)： https://tanaka.s-top.dev/

研究分野 (1件)：応用数学、統計数学

研究キーワード (6件)：検証数理 , 深層学習 , 偏微分方程式 , 精度保証付き数値計算 , 計算機援用証明 , 数値解析

競争的資金等の研究課題 (6件)：

全件表示

論文 (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

MISC (1件)：

講演・口頭発表等 (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)

学歴 (3件)：

学位 (1件)：

経歴 (3件)：

受賞 (9件)：

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

全件表示

所属学会 (2件)：

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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田中 一成