プロフィール / 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  __◎__→@


研究キーワード

偏微分方程式、ニューラルネットワーク、計算機援用証明、検証数理、精度保証付き数値計算、数値解析

学歴

2007年3月 山口県立防府高等学校 卒業

2012年3月 早稲田大学 基幹理工学部 応用数理学科 卒業(指導教員:大石 進一

2014年3月 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 修士課程 修了(指導教員:大石 進一

2017年3月 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 博士後期課程 修了 博士(工学)(指導教員:大石 進一

職歴

2017年4月-2018年3月  早稲田大学 理工学術院 基幹理工学部 応用数理学科 助教

2018年4月より     早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師

研究助成

2021年4月-2028年3月   精度保証付きニューラルネットワーク数値計算理論の確立

              科学技術振興機構 (JST) 創発的研究支援事業(代表)

2022年1月-2022年12月   急激な温度変化を伴う反応拡散現象に対する精度保証付き数値計算法に関する研究

              公益財団法人 栢森情報科学振興財団 2021年度 研究助成事業(代表)

2021年1月-2021年12月   相分離現象解明のための精度保証付き数値計算法

              公益財団法人 大川情報通信基金 2020年度 研究助成(代表)

2019年4月-2022年3月   精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析

              日本学術振興会 科学研究費助成事業 若手研究(代表)

2017年8月-2019年3月   反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法

              日本学術振興会 科学研究費助成事業 研究活動スタート支援(代表)

2017年4月-2020年3月   反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究

              公益財団法人みずほ学術振興財団 第60回 工学研究助成 (代表)

学会活動

2022年9月      オーガナイザー 第6回 JST 数学領域 未解決問題ワークショップ

2022年7月      オーガナイザー Neuro2022サテライト企画 数理科学者と解く神経科学のオープンプロブレム

2019年4月-2022年3月  学会誌『応用数理』編集委員(2020年4月より主査)

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.