2019年8月23日 Different provability between Martin-Lof's inductive definitions and cyclic proofs 記述言語 英語 会議種別 口頭発表(一般)