で、「証明論的意味論の具体例」と題し、Martin-Lofの直観主義的型理論の証明論的意味論としての側面について発表を行いました。持ち時間が10分という短さのため、ろくな話が出来なかったのが心残りです。証明論的意味論の具体例View more presentations from…

札幌は寒い。雪がまだ溶け残っていた。