プログラムの理論へ②_正しいプログラム