演習6： ループ不変条件を $${0 \le i \le n+2}$$ に変えなさい。ループはまだ検証されますか？ループ後のアサーション $${i == n}$$ はまだ検証されますか？ method m(n: nat) { var i: int:= 0; while i < n invariant 0 <= i <= n // これを変えなさい。なにが起きますか？ { i := i + 1; } ...