[logic-ml] 【参加募集】数学基礎論サマースクール 2012「計算可能性とランダムネス」(プログラム公開)