[logic-ml] 研究会のご案内