投稿者: miyabe

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

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

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

ダウンロード

tmu

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

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

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

ダウンロード
rims

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

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

種類
IPA Math 2017での講演

ダウンロード
IPAmath

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

タイトル
数学とはどんな学問か

種類
明治大学付属明治高校高大連携プログラム
2017年12月6日

ダウンロード
math

履歴
2017年10月28日　スライドアップロード

タイトル
停止確率$\Omega$

種類
数学基礎論若手の会2017での講演

ダウンロード
young