状態と更新可能性