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

非负实线的可计算分析-沃尔什-傅立叶变换和分布的可计算性-

• 批准号: 21540152
• 负责人: MORI Takakazu
• 金额: $ 2.83万
• 依托单位: Kyoto Sangyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21540152/
• 关键词: 計算可能解析; 計算可能関数; 実効的連続性; 実効的収束関数列; 計算可能確率分布; 実効的収束確率分布列; 実効的ウォルシュ・フーリエ解析; ファイン計算可能実数列; ファイン計算可能関数; 確率分布の実効的収束; 分布関数; 列計算可能性; 特性関数; 実効的中心極限定理; 2進無理数; 離散分布; ファイン位相; ファイン連続関数; 計算可能分布; 分布の実効的収束; フラクタル; ランダムな反復アルゴリズム

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.

我们制定了精细可计算性并证明了富比尼定理在单位平方上的有效性。我们定义了概率分布的可计算性和有效收敛性，并研究了相应概率分布函数与精细可计算性和有效精细收敛性的关系。我们还研究了相应特征函数与可计算性和有效收敛性的关系。我们证明了博赫纳定理的有效性。

项目成果

On sequential computability of a function

论函数的顺序可计算性

• 发表时间: 2010
• 作者: Matsumoto;Akio;飯島昇藏;和田良子;Takako Fujiwara-Greve;須賀晃一;Matsumoto Akio;M.Yasugi
• 通讯作者: M.Yasugi

Computability of probability distribution, Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

概率分布的可计算性，第六届国际可计算性和分析复杂性会议论文集

• 发表时间: 2009
• 期刊: Dagstuhl Research Online Publication
• 作者: Takakazu Mori;Yoshiki Tsujii;Mariko Yasugi
• 通讯作者: Mariko Yasugi

Fine-computable functions on the unit square and their integral

单位平方上的精细计算函数及其积分

• 发表时间: 2009
• 期刊: Journal of Universal Computer Science Vol.15
• 作者: Takakazu Mori;Mariko Yasugi;Yoshiki Tsujii
• 通讯作者: Yoshiki Tsujii

Sequential computability of a function-limiting recursion versus effective uniformity-

函数限制递归与有效均匀性的顺序可计算性

• 发表时间: 2010
• 期刊: Scientiae Mathematicae Japonicae Vol.71
• 作者: Mariko Yasugi;Masako Washihara
• 通讯作者: Masako Washihara

Random iteration algorithm for graph-directed sets, Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

图导向集的随机迭代算法，第六届国际可计算性和分析复杂性会议论文集

• 发表时间: 2009
• 期刊: Dagstuhl Research Online Publication
• 作者: Yoshiki Tsujii;Takakazu Mori;Mariko Yasugi;Hideki Tsuiki
• 通讯作者: Hideki Tsuiki