プログラムで計算や証明したいこともあるだろうに。