投稿日: 8月 8, 2017 投稿者: miyabeTuring次数 履歴 2017年8月5-7日 数学基礎論サマースクール2017 タイトル Turing次数 種類 数学基礎論サマースクール2017での講演 ダウンロード レジュメがサイトからダウンロードできます.