[logic-ml] 秋季総合分科会