Computable analysis on the nonnegative real line-Walsh-Fourier transform and computability of distributions-

我们给出了傅比尼定理在单位平方上的精细可计算性，并证明了它的有效性。定义了概率分布的可计算性和有效收敛性，研究了相应概率分布函数与精细可计算性和有效精细收敛性的关系。研究了相应特征函数的可计算性与有效收敛性的关系。我们证明了Bochner定理的一个有效化。

We formulated the Fine computability and prove the effectivization of Fubini's Theorem on the unit square. We defined computability and effective convergence of probability distributions, and investigated the relations to Fine computability and effective Fine convergence of the corresponding probability distribution functions. We also investigated the relation to computability and effective convergence of the corresponding characteristic functions. We proved an effectivization of Bochner's Theorem.