遷移ルールの書き直し２