>>402
不整地運用能力をつけたらいいのでは。それは形式証明より安く上がりそうじゃん。