アルゴリズム的観点での確率及び予測概念の研究
アルゴリズム的観点での確率及び予測概念の研究
批准号:
13J08139
负责人:
宮部 賢志
金额:
$0.77万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for JSPS Fellows
财政年份:
2013
资助国家:
日本
项目状态:
已结题
起止时间:
2013 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
本研究の目的は, アルゴリズム的確率の確率および予測としての性質を明らかにすることにあった. 平成25年度は特に「A, アルゴリズム的確率の一般化」に重点を置いた. これまでアルゴリズム的確率は, 文字列上でのみ定義されていた. これをもっと一般的な空間で定義できるようにするためには, 計算可能性解析の手法を導入する必要がある.アルゴリズム的確率において, 2007年のHutter-MuchnikによるMLランダムな点での非収束という重要な結果がある. 一方, ランダムネスの理論においてランダムの概念の解析的な特徴付けが知られるようになった. やがて, これらの問題が本質的に同じ問題であることが明らかになってきた.当該年度に得た大きな結果として, 密度ランダムネスの微分定理による特徴付けがある. これはランダムネスの理論の文脈での貢献であると同時に, Hutter-Muchnikの結果の特殊な場合の拡張と見ることもできるもので, 計算可能解析の手法がアルゴリズム的磯率の理解に有用であることを示す大きな一歩となった. 本結果は現在執筆中の論文に含まれる予定である.次に「B, ゲーム論的確率論での確率との関係」について述べる. アルゴリズム的確率の最も大きな特徴は「普遍性」(universal property)を持つということである. 一方, ゲーム論的確率論ではこのような性質は存在せず, そのため脱乱択化ができる. 当該年度にはその具体的な手法を与えることができた. このような性質の違いを明らかにすることで, 確率の概念に追ることができると考えている.アルゴリズム的確率の研究を進める上で, 計算可能測度論構築の必要性を強く感じたため, そちらにも力を注いだ.
期刊论文(17)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Uniform relativization and almost uniform relativization
一致相对化和几乎一致相对化
DOI:
--
发表时间:
2013
期刊:
影响因子:
--
作者:
[栗山翔吾, 荒芝和也, 中島一成, 西林仁昭, K. Miyabe]
通讯作者:
K. Miyabe
積分テストに対するLebesgue点の特徴付け
积分测试勒贝格点的表征
DOI:
--
发表时间:
2014
期刊:
影响因子:
--
作者:
[永澤彩, 荒芝和也, 栗山翔吾, 中島一成, 西林仁昭, 宮部賢志]
通讯作者:
宮部賢志
L^1-computability, Layerwise Computability and Solovay Reducibility
L^1-可计算性、分层可计算性和 Solovay 可归约性
DOI:
10.3233/com-13015
发表时间:
2013
期刊:
Computability
影响因子:
0.6
作者:
[永澤彩, 荒芝和也, 栗山翔吾, 中島一成, 西林仁昭, K. Miyabe]
通讯作者:
K. Miyabe
DOI:
--
发表时间:
2013
期刊:
影响因子:
--
作者:
[永澤彩, 栗山翔吾, 荒芝和也, 中島一成, 西林仁昭, K. Miyabe and A. Takemura]
通讯作者:
K. Miyabe and A. Takemura
The preordering related to uniform Schnorr ran domness
与制服 Schnorr ran domness 相关的预购
DOI:
--
发表时间:
2013
期刊:
影响因子:
--
作者:
[栗山翔吾, 荒芝和也, 中島一成, 西林仁昭, K. Miyabe]
通讯作者:
K. Miyabe
共 16 条
Study on convergence rate of weakly computable reals
-
批准号:22K03408
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.33万
-
财政年份:2022
-
负责人:宮部 賢志
-
依托单位:
ランダムネスを用いた確率概念の拡張
-
批准号:23740072
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$2.75万
-
财政年份:2011
-
负责人:宮部 賢志
-
依托单位: