[logic-ml] Dick de Jongh オープンセミナー@理科大10/25