HOMELv006 条件が真の場合にのみ実行され、偽の場合は何もしないフラグメントはどれか。 2026年3月17日 opt(option)は1つの条件付き実行パスを表現する。 状態の境界を越えて、入れ子になった内部状態へ直接遷移することを何と呼ぶか。 制約ブロックを他の制約ブロックから再利用して構築することを何と呼ぶか。