履歴
2024年12月31日ページ作成
タイトル
実数の計算可能性
種類
総説論文
ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動2293
ダウンロード
講究録のページ
AIって何をしているの？
履歴
タイトル
AIって何をしているの？
種類
甲府南高校出張講義
2024年10月11日
ダウンロード
Real closed fields via strong Solovay reducibility
履歴
2024年12月26日ページ作成
タイトル
Real closed fields via strong Solovay reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
種類
研究論文
ジャーナル
雑誌に投稿し査読中
ダウンロード
preprint
汎用的学習理論
履歴
2024年11月4日ページ作成
タイトル
汎用的学習理論
種類
総説論文
ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動
2228 証明と計算の理論と応用
ダウンロード
京都大学リポジトリからダウンロード