HOMELv004 MBTにおける非決定性(Non-determinism)の扱いとして正しいものはどれか。 2026年3月13日 同じ入力に対して複数の遷移先が存在し得る非決定的な挙動もモデルで表現可能である。 MBTモデルにおける「ガード条件」の役割はどれか。 MBTにおける「アダプタ層」の主な役割はどれか。