研究者
J-GLOBAL ID:201701004208989711   更新日: 2024年07月17日

田中 一成

タナカ カズアキ | Tanaka Kazuaki
所属機関・部署:
職名: 准教授
ホームページURL (1件): https://tanaka.s-top.dev/
研究分野 (1件): 応用数学、統計数学
研究キーワード (6件): 検証数理 ,  深層学習 ,  偏微分方程式 ,  精度保証付き数値計算 ,  計算機援用証明 ,  数値解析
競争的資金等の研究課題 (6件):
  • 2021 - 2028 精度保証付きニューラルネットワーク数値計算理論の確立
  • 2022 - 2023 急激な温度変化を伴う反応拡散現象に対する精度保証付き数値計算法に関する研究
  • 2019 - 2022 精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析
  • 2021 - 2021 相分離現象解明のための精度保証付き数値計算法
  • 2017 - 2020 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究
全件表示
論文 (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件):
  • 田中一成. コンピュータも計算を間違う?-数値計算の精度と誤差-. 日本音響学会誌. 2022. 78. 10
講演・口頭発表等 (89件):
  • 異分野連携の実例:中性子小角散乱法と誤差評価の数理
    (数理・情報と諸科学の連携のための研究会 2024)
  • 優解劣解による解包含の可能性:楕円型境界値問題を中心に
    (北陸応用数理研究会 2024 2024)
  • 深層学習と精度保証付き数値計算:導入と微分方程式への応用を中心に
    (第15回 三部会連携「応用数理セミナー」 2023)
  • ニューラルネットワークによる微分方程式解の包含と優解劣解法の再考
    (東京大学数値解析セミナー(UTNAS) 2023)
  • エノン型方程式の正値対称解の多重性に関する考察-計算機援用アプローチ
    (RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 2023)
もっと見る
学歴 (3件):
  • 2014 - 2017 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻(博士後期課程)
  • 2012 - 2014 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻(修士課程)
  • 2008 - 2012 早稲田大学 基幹理工学部 応用数理学科
学位 (1件):
  • 博士(工学) (早稲田大学)
経歴 (3件):
  • 2023/04 - 現在 早稲田大学 理工学術院 国際理工学センター 准教授
  • 2018/04 - 2023/03 早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師
  • 2017/04 - 2018/03 早稲田大学 理工学術院 基幹理工学部 応用数理学科 助教
受賞 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る