[logic-ml] ランダムネス集中講義