プログラムに自分にバグがないことを証明させるプログラムを作ろう