カテゴリー: Talks

履歴
2018年7月31日　スライドアップロード

タイトル
重複対数の法則

種類
研究室セミナーでの発表

ダウンロード
LIL

履歴
2018年3月1日　スライドアップロード

タイトル
極限計算可能性における連続性

種類
ハワイ大学での講演

ダウンロード
hawaii

履歴
2018年2月14日　スライドアップロード

タイトル
極限計算可能性における1ジェネリックな点での連続性

種類
鈴木研究室・宮部研究室合同ゼミ 2018での講演

ダウンロード

tmu

履歴
2017年12月24日　スライドアップロード

タイトル
ランダム性に対応する関数階層

種類
RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）での講演

ダウンロード
rims

履歴
2017年12月13日　スライドアップロード

タイトル
ランダムな点での計算

種類
IPA Math 2017での講演

ダウンロード
IPAmath