カテゴリー: Talks

履歴
2024年7月9日　スライドをアップロード

タイトル
アルゴリズム的ランダムネスと学習可能性

種類
SMAL 2024での講演(日本語)

ダウンロード
rims-01
rims-02
rims-03

履歴
2024年3月12日　スライドをアップロード

タイトル
Strong Solovay reducibility

種類
CCR2024での講演

ダウンロード
ccr

履歴
2023年12月12日　スライドをアップロード

タイトル
Strong Solovay reducibility

種類
「証明論と計算論の最前線」@RIMSでの講演

ダウンロード
rims

履歴
2023年11月6日　スライドをアップロード

タイトル
Computable prediction

種類
Mini-Workshop on Computability in Tokyoでの講演(英語)

ダウンロード
mini-workshop

履歴
2023年9月27日　スライドをアップロード

タイトル
実数の計算可能性

種類
数学基礎論サマースクールでの講義(日本語)

ダウンロード
上のリンク先のウェブサイトからスライドファイルがダウンロードできる