定理証明系とか機械学習とか、数学と計算機科学が接するところに興味があります。