[logic-ml] Fwd: 3月2日の TGSAセミナーの追加講演