宣言的UI、UI=f(state)で表現されるとき状態遷移時の考慮が弱い気はしますね…