[logic-ml] Workshop 参加者募集のお知らせ