数学って、考えや検証を数式に表現することだから
実行計算自体はどーでもいいんだよね