HOMELv011 ステートマシンで、ある状態をターゲットとする複数の遷移が同じ「トリガー」を持つことは許されるか。 2026年3月18日 同じイベントでも、ガード条件が互いに排他的であれば、複数の遷移を定義することができる。 コンポジット構造における「情報の流れ（Information Flow）」が示す抽象度はどれか。 「パワatype（Power Type）」の役割を最も適切に説明しているものはどれか。
