>>129
プログラムの正当性を判断するのって
前に数学板で話題でてた(w P=NP問題とか
そういうやつ?