数学基礎論サマースクール 2012 「計算可能性とランダムネス」 http://www2.odn.ne.jp/tadaki/LSS2012.html 面白そう。