プロフィール

English

田中 一成(たなか かずあき)


所属: 早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師
学位: 博士(工学)
出身: 長崎県佐世保市(育ちは山口県防府市)
所属学会:日本応用数理学会、日本数学会

連絡先:
〒169-8555 東京都新宿区大久保3-4-1早稲田大学理工学術院60号館307B
tel: 03-5286-2923
※ 不在の場合は 03-5286-3330 (大石研究室)
e-mail: tanaka__◎__ ims.sci.waseda.ac.jp __◎__→@

研究キーワード

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

学歴

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

職歴

2017年4月-2018年3月  早稲田大学 理工学術院 基幹理工学部 応用数理学科 助教
2018年4月より 早稲田大学 理工学術院総合研究所 数理科学研究所 研究院講師

受賞

2020年  第8回 WASEDA e-Teaching Award 大賞. (受賞内容の詳細
2016年 若山馨太, 田中一成, 関根晃太, 尾崎克久, 大石進一, 日本応用数理学会2016年度年会,優秀ポスター賞.
2016年 大川功記念特別優秀賞.
2014年 JSST 2014 International Conference, Student Presentation Award.
2013年 JSST 2013 International Conference, Student Presentation Award.
2010年 早稲田ものづくりプログラム2010, 奨励賞.

研究助成

2021年4月-2028年3月  精度保証付きニューラルネットワーク数値計算理論の確立
科学技術振興機構 (JST) 創発的研究支援事業(代表)
2021年1月-2021年12月  相分離現象解明のための精度保証付き数値計算法
公益財団法人 大川情報通信基金 2020年度 研究助成(代表)
2019年4月-2022年3月 精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析
日本学術振興会 科学研究費助成事業 若手研究(代表)
2017年8月-2019年3月 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法
日本学術振興会 科学研究費助成事業 研究活動スタート支援(代表)
2017年4月-2020年3月 反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究
公益財団法人みずほ学術振興財団 第60回 工学研究助成 (代表)

学会活動

2019年4月より  学会誌『応用数理』編集委員(2020年4月より主査)
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.