履歴
2013年3月19日 予稿，スライドをアップロード
タイトル
一様 Kurtz ランダムネスに対する独立性定理
種類
学会発表
発表場所
日本数学会2013年度年会
基礎論および歴史分科会
2013年3月20日-21日
訂正
予稿には誤りが含まれています．スライドにて訂正してあります．
ランダムの程度の助言付き計算
履歴
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
ダウンロード
プレプリント
Merkleの基準のSchnorrおよびKurtzランダムネス版
履歴
2013年3月19日 原稿，スライドをアップロード
タイトル
Merkleの基準のSchnorrおよびKurtzランダムネス版
種類
研究集会
発表場所
コンピュテーション（COMP）研究会
岐阜大学 2013年3月18日（月）
電子情報通信学会技術研究報告 信学技報 (IEICE Technical Report) Vol. 112 No. 498
COMP 2012-60, pp55-59
Things to do in and with algorithmic randomness
履歴
2013年2月23日 スライドをアップロード
タイトル
Things to do in and with algorithmic randomness
種類
研究集会
発表場所
Sendai Logic School 2013
http://sendailogic.math.tohoku.ac.jp/SLS/
仙台 2013年2月22日
ダウンロード
スライド