HOMELv020 OCLにおいて、`context Person inv:` のように記述される `inv` は何を表すか。 2026年1月25日 `inv` キーワードは、そのコンテキスト（クラスなど）のインスタンスが常に満たさなければならない条件（不変条件）を定義するために使われる。 ステートマシン図の「直交状態（Orthogonal State）」内の一つの領域（Region）が終了状態に達した場合、他の領域はどうなるか。 シーケンス図の「state invariant（状態不変式）」の記法として正しいものはどれか。
