投稿日: 9月 15, 2012September 15, 2012 投稿者: miyabeSchnorr triviality and being a basis for tt-Schnorr randomness タイトル Schnorr triviality and being a basis for tt-Schnorr randomness 種類 口頭発表 発表場所 ＲＩＭＳ研究集会 証明論と複雑性 （PROOF THEORY AND COMPLEXITY 2012） ９月１２日（水）から１４日（金） 京都大学数理解析研究所 ダウンロード 予稿 スライド