履歴
2013年4月24日 スライドアップロード
タイトル
確率概念の捉え方
種類
口頭発表
発表場所
蓮尾研セミナー
2013年4月23日
ダウンロード
スライド
もう 1 つの確率論の流れ
一様 Kurtz ランダムネスに対する独立性定理
ランダムの程度の助言付き計算
履歴
2013年3月15日提出
タイトル
ランダムの程度の助言付き計算
Computation with advice of degree of randomness
種類
論文
ジャーナル
数理解析研究所講究録
No.1849
New Trends in Theoretical Computer Science
理論計算機科学の新展開
2013.8
2013/01/28–2013/01/30
pp.1-7
ダウンロード
プレプリント
アルゴリズム的ランダムネスへの解析学的アプローチ
履歴
2012年11月30日提出
タイトル
アルゴリズム的ランダムネスへの解析学的アプローチ
Analytical approach to algorithmic randomness
種類
論文
ジャーナル
数理解析研究所講究録
1832
Proof theory and complexity
証明論と複雑性
2013.4
2012/09/12–2012/09/14
pp.114-126
ダウンロード
プレプリント