ワークショップ「双対性から論理と計算を捉え直す―領域理論から量子計算、相互作用の幾何まで」

14時45分に集合、15時からワークショップ、提題者の一人として「包括原理と超準的自然数」という内容の発表をした。提題者4人のなかで一番最初に発表でしたが、発表の出来はそれなりと言ったところでしょうか。今回のワークショップは、出席された方が40人、皆さんに興味を持ってもらえたと信じています。
この場をお借りして、オーガナイザー、提題者、また全ての参加者の方にお礼を申し上げます。