プロフィール / About Me (English version here)
田中 一成(たなか かずあき)
所属: 早稲田大学 理工学術院 国際理工学センター 准教授
学位: 博士(工学)
出身: 長崎県佐世保市(育ちは山口県防府市)
所属学会:日本応用数理学会、日本数学会
連絡先
〒169-8555 東京都新宿区大久保3-4-1早稲田大学理工学術院60号館307B
Tel: 03-5286-2923 ※ 不在の場合は 03-5286-3330 (大石研究室)
Email: tanaka__◎__ ims.sci.waseda.ac.jp __◎__→@
研究キーワード
検証数理、深層学習、偏微分方程式、精度保証付き数値計算、計算機援用証明、数値解析
職歴
2017年4月-2018年3月 早稲田大学 理工学術院 基幹理工学部 応用数理学科 助教
2018年4月-2023年3月 早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師
2021年4月より 科学技術振興機構 (JST) 創発研究者
2023年4月より 早稲田大学 理工学術院 国際理工学センター 准教授
受賞
2023年 第12回 WASEDA e-Teaching Award
2023年 公益社団法人日本工学教育協会 工学教育賞
2022年 Outstanding Presentation Award, The 41st JSST Annual International Conference on Simulation Technology (JSST 2022).
2022年 公益財団法人船井情報科学振興財団 船井研究奨励賞.
2020年 第8回 WASEDA e-Teaching Award 大賞. (受賞内容の詳細)
2016年 日本応用数理学会2016年度年会,優秀ポスター賞.
2014年 Student Presentation Award, The 33rd JSST Annual International Conference on Simulation Technology (JSST 2014).
2013年 Student Presentation Award, The 32nd JSST Annual International Conference on Simulation Technology (JSST 2013).
研究助成
2021年4月-2028年3月 精度保証付きニューラルネットワーク数値計算理論の確立
科学技術振興機構 (JST) 創発的研究支援事業(代表)
2023年4月-2026年3月 不連続拡散係数を持つ反応拡散モデルに対する精度保証付き数値計算法
日本学術振興会 科学研究費助成事業 若手研究(代表)
2022年1月-2023年12月 急激な温度変化を伴う反応拡散現象に対する精度保証付き数値計算法に関する研究
公益財団法人 栢森情報科学振興財団 2021年度 研究助成事業(代表)
2021年1月-2021年12月 相分離現象解明のための精度保証付き数値計算法
公益財団法人 大川情報通信基金 2020年度 研究助成(代表)
2019年4月-2022年3月 精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析
日本学術振興会 科学研究費助成事業 若手研究(代表)
2017年8月-2019年3月 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法
日本学術振興会 科学研究費助成事業 研究活動スタート支援(代表)
2017年4月-2020年3月 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究
学会活動
2024年2月 オーガナイザー 富山数理ワークショップ 2024
2023年11月 オーガナイザー 数理科学者と解く!神経科学のオープンプロブレム
2023年9月 オーガナイザー 第7回 JST 数学領域 未解決問題ワークショップ
2023年9月 オーガナイザー 創発的研究支援事業 融合の場 -深層学習がもたらすブレイクスルーと可能性- 第2回集会, 早稲田大学西早稲田キャンパス.
2023年8月 Executive Committee, Secretary 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Waseda University.
2023年5月 オーガナイザー 創発的研究支援事業 融合の場 -深層学習がもたらすブレイクスルーと可能性-, Online.
2022年10月 実行委員 数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2022
2022年9月 オーガナイザー 第6回 JST 数学領域 未解決問題ワークショップ
2022年7月 オーガナイザー Neuro2022サテライト企画 数理科学者と解く神経科学のオープンプロブレム
2019年4月-2022年3月 学会誌『応用数理』編集委員(2020年4月-2022年3月 主査)
2022年3月 Organizer of International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022),
March 13-18, Online.
2021年11月 実行委員 数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2021
2021年9月 代表オーガナイザー 第5回 JST 数学領域 未解決問題ワークショップ
2019年7月 Organizer of Minisymposium "Numerical verification methods and their application to differential equations",
9th International Congress on Industrial and Applied Mathematics - ICIAM 2019, July 15-19, Valencia, Spain.
2018年9月 Organization Committee, Secretary, The 18th International Symposium on Scientific Computing,
Computer Arithmetic, and Verified Numerical Computations (SCAN 2018), Waseda University, Tokyo, Japan, Sep. 10-15, 2018.
2018年3月 Local Organizer, SIAM Conference on Parallel Processing for Scientific Computing, Waseda University, Tokyo, Japan, Mar. 7-10, 2018.