プログラムが正しいと信ずることについて