計算可能測度論

履歴
2018年3月11日提出

タイトル
計算可能測度論

種類
総説論文

ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動
2017年12月25日〜27日

ダウンロード
rims