[kisoron-ml] 証明論研究集会のご案内(締切を延長いたしました)