まぁまずはこの法案を決める前に人間にバグがないことを証明することが先決だな。

バグ有りの人間がバグ無しのプログラムを作るのは無理だろ。