← ↑ 状態遷移機械の記述例 →