履歴
2023年11月6日 スライドをアップロード
タイトル
Computable prediction
種類
Mini-Workshop on Computability in Tokyoでの講演(英語)
ダウンロード
mini-workshop
実数の計算可能性
履歴
2023年9月27日 スライドをアップロード
タイトル
実数の計算可能性
種類
数学基礎論サマースクールでの講義(日本語)
ダウンロード
上のリンク先のウェブサイトからスライドファイルがダウンロードできる
Solovay reducibility and signed-digit representation
クエリー制限と符号付き桁数表現によるSolovay還元の特徴づけ
Solovay reducibility and signed-digit representation
履歴
2023年6月11日 スライドをアップロード
タイトル
Solovay reducibility and signed-digit representation
種類
NUS workshopでの講演
ダウンロード
omega