状態遷移プログラミングと状態遷移機械 State transition programming ≈ state transition machine