[logic-ml] リマインダ_第57回MLG数理論理学研究集会