世の中の現象の多くは諸科学の法則に則って数式に翻訳でき、関数を解とする方程式（関数方程式）で記述できます。中でも時間や空間に対する連続的な変化を記述する微分方程式は、純粋数学の研究対象として盛んに研究されています。解けない微分方程式には未知の関数が潜んでいる可能性があり、数学的手法でこれを『解かずして解く』こと（解の存在証明）ができれば、それは新しい関数の発見です。当研究室では汎用性のある関数の発見と応用を目指しています。