[logic-ml] 集合論の特別なセミナー@静岡大学