[logic-ml] ランダムネスの研究集会講演募集