それは、ループの終了条件が成立したときに分岐命令を書きかえるというものなどである.
それは、