8 月 24 日に長崎で行われた ALGI 37 (2026) に参加しました．

自分は「様相論理 N の計算複雑性」というタイトルで発表しました． 発表スライドはこちらに乗せておきます．

発表の多くは圏論にまつわる話題でしたが， 興味深い研究を幾つも聞くことができたように思います． また Kleene 代数を利用した論理と計算複雑性の関係に関連した講演もあり， 自分の関心に近い研究であることから興味深くお聞きしました． 参加された方からも論理と計算複雑性に関連した色んな話題を教えてもらい， とても身になる研究集会になったと思います．

写真は長崎県立大学からの眺望を撮らせてもらえたものです． 向こう側に長崎空港があるとのことです．