タイトル
Characterization of Kurtz randomness by a differentiation theorem
種類
口頭発表
発表場所
CS Sminar
2011年11月17日(木)
京都大学
ダウンロード
宮部賢志(ミヤベケンシ)
タイトル
Characterization of Kurtz randomness by a differentiation theorem
種類
口頭発表
発表場所
CS Sminar
2011年11月17日(木)
京都大学
ダウンロード
タイトル
Randomness and differentiability
種類
口頭発表
発表場所
2011年 証明論と計算論研究集会
2011年9月12日(月)
首都大学東京
ダウンロード
slide
履歴
2011年7月14日アクセプト
2011年6月16日別雑誌に再投稿
2011年3月29日投稿
タイトル
The difference between optimality and universality
(前のタイトル)Degree of non-randomness and uniform Solovay reducibility
種類
論文
国際会議と雑誌
Logic Journal of the IGPL (2012) 20 (1): 222-234.
abstract page
添付ファイル
“??_summary.pdf”ー日本語要約(そのうち)