公式は私たちを理解しています