著者

田中 一成

出版者

早稲田大学

雑誌

戦略的な研究開発の推進 創発的研究支援事業

巻号頁・発行日

2021

---

ニューラルネットワークは世界的に利用が進んでいる機械学習のベースとなる構造で、関数近似手法としても注目されています。本研究では反応拡散モデルと呼ばれる微分方程式を主な対象として、その効率的な精度保証法の開発にニューラルネットワークをベースとした手法で挑みます。これを通じてLearn and Verifyという新スタンダードを創出し、精度保証付きニューラルネットワーク数値計算としての普及を目指します。