偏微分方程式の解に対する数値的存在検証

−研究の原点とその展開−

抄録

本稿では, 偏微分方程式の解を計算機によって数値的に存在検証する方法について, 筆者自身がどうしてそのような研究に進むようになったのか, そして今日までどのような進展を見ているのかを筆者が行ってきた研究を中心に述べる. 始めに筆者自身の研究者としての背景とこのような研究を開始するに至った経緯, そして研究の端緒を開く鍵となった着想を顧みる. 続いて個別研究の展開の状況について概観し, 最後に今後の展望について簡単に触れる.