履歴
2024年3月12日 スライドをアップロード
タイトル
Strong Solovay reducibility
種類
CCR2024での講演
ダウンロード
ccr
宮部賢志(ミヤベケンシ)
履歴
2023年11月6日 スライドをアップロード
タイトル
Computable prediction
種類
Mini-Workshop on Computability in Tokyoでの講演(英語)
ダウンロード
mini-workshop
履歴
2023年9月27日 スライドをアップロード
タイトル
実数の計算可能性
種類
数学基礎論サマースクールでの講義(日本語)
ダウンロード
上のリンク先のウェブサイトからスライドファイルがダウンロードできる