計算可能解析学
関数 f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } が列計算可能(sequentially computable)とは、任意の計算可能実数の計算可能数列 { x i } i = 1 ∞ {\displaystyle \{x_{i}\}_{i=1}^{\infty }} に対し、列 { f ( x i ) } i = 1 ∞ {\displaystyle \{f(x_{i})\}_{i=1}^{\infty }} が再び計算可能となることである。