「音の現象」を数学的に検証することに興味を持っています． 微分作用素の固有値問題に対する計算機援用証明について研究しています．