c.f. 状態遷移機械
ピタゴラマシン的なわかりやすさ
