投稿日: 12月 12, 2023 投稿者: miyabeStrong Solovay reducibility 履歴 2023年12月12日 スライドをアップロード タイトル Strong Solovay reducibility 種類 「証明論と計算論の最前線」@RIMSでの講演 ダウンロード rims