履歴
2018年3月11日提出
タイトル
計算可能測度論
種類
総説論文
ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動
2017年12月25日〜27日
ダウンロード
rims
極限計算可能関数の連続性
極限計算可能性における1ジェネリックな点での連続性
ランダム性に対応する関数階層
履歴
2017年12月24日 スライドアップロード
タイトル
ランダム性に対応する関数階層
種類
RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）での講演
ダウンロード
rims