方程式がある