[logic-ml] ランダムネスの研究集会のご案内と参加募集