計算

　計算するプログラムが正しいことを確認するために、手計算したのと答えが一致するか調べているのだが、これは本質的には何のデバッグにもなっていない気がする。もっと言うと手で計算できないような複雑な計算を実行する場合に、答えが正しいかどうかをどうやって知ればいいのか。なんかこの答えおかしいっぽくね？　どっかおかしいとこあるんじゃね？　と変なカンで探り当てるか、あるいはプログラムそのものをじっと見つめて間違いがないか考えるしかないのだろうか。