プロフィール / About Me (English version here)

研究キーワード

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

学歴

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

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

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

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

職歴

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年度年会，優秀ポスター賞．

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月　　　反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究

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

学会活動

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.