履歴
2018年2月14日 スライドアップロード
タイトル
極限計算可能性における1ジェネリックな点での連続性
種類
鈴木研究室・宮部研究室合同ゼミ 2018での講演
ダウンロード
ランダム性に対応する関数階層
履歴
2017年12月24日 スライドアップロード
タイトル
ランダム性に対応する関数階層
種類
RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）での講演
ダウンロード
rims
宮部賢志（ミヤベケンシ）
履歴
2017年12月24日 スライドアップロード
タイトル
ランダム性に対応する関数階層
種類
RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）での講演
ダウンロード
rims