[kisoron-ml] 再送:第53回MLG数理論理学研究集会