ステートマシン図において、状態遷移に記述される「[ガード] / エフェクト」のうち、エフェクトの実行タイミングはどれか。

エフェクトは、遷移がトリガーされガードが真になった後、遷移の過程で実行されます。