招待有り 国際会議 2018年7月 "Proofs as Programs" Revisited Logic Colloquium 2018 (Udine, Italy) 秋吉亮太 記述言語 英語 会議種別 口頭発表(招待・特別)