アルゴリズム的ランダムネスへの解析学的アプローチ

履歴
2012年11月30日提出

タイトル
アルゴリズム的ランダムネスへの解析学的アプローチ
Analytical approach to algorithmic randomness

種類
論文

ジャーナル
数理解析研究所講究録
1832
Proof theory and complexity
証明論と複雑性
2013.4
2012/09/12–2012/09/14
pp.114-126

ダウンロード
プレプリント