遷移ルールの書き直し