田中 一成

田中 一成

TANAKA, Kazuaki

株式会社RICOS 主任研究員

早稲田大学 理工学術院総合研究所 招聘研究員

一般社団法人 数理社会実装教育研究センター(MaSIC) 代表理事

博士(工学) / 科学技術振興機構 (JST) 創発研究者

連絡先

研究キーワード

検証数理 深層学習 偏微分方程式 精度保証付き数値計算 計算機援用証明 数値解析

学歴

2017年3月
早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 博士後期課程 修了 博士(工学)
2014年3月
早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 修士課程 修了
2012年3月
早稲田大学 基幹理工学部 応用数理学科 卒業
2007年3月
山口県立防府高等学校 卒業

職歴

2026年9月 –
株式会社RICOS 主任研究員
2026年9月 –
早稲田大学 理工学術院総合研究所 招聘研究員
2026年4月 –
一般社団法人 数理社会実装教育研究センター(MaSIC)代表理事
2023年4月 – 2026年8月
早稲田大学 理工学術院 国際理工学センター 准教授
2018年4月 – 2023年3月
早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師
2017年4月 – 2018年3月
早稲田大学 理工学術院 基幹理工学部 応用数理学科 助教

受賞

2022 Outstanding Presentation Award, JSST 2022
2016 大川功記念特別優秀賞
2014 Student Presentation Award, JSST 2014
2013 Student Presentation Award, JSST 2013
2010 奨励賞, ものづくりコンテスト

研究助成

2025.10 – 2031.3
秩序の設計-数理が拓く河川の制御
JST CREST 主たる共同研究者
2021.4 – 2028.3
精度保証付きニューラルネットワーク数値計算理論の確立
JST 創発的研究支援事業 代表
2025.4 – 2026.9
精度保証付きPINNsの開発と実問題への応⽤
みずほ学術振興財団 第68回工学研究助成 代表
2021.1 – 2021.12
相分離現象解明のための精度保証付き数値計算法
大川情報通信基金 代表
2017.4 – 2020.3
反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究
みずほ学術振興財団 第60回工学研究助成 代表

学会活動