[kisoron-ml] 証明論研究集会2018のご案内