[logic-ml] 研究集会:証明論と計算論の数理科学への展開