9 月 1 日 から 9 月 4 日にかけて神戸大学で開かれた数学会に参加しました． 自分は最終日の 9 月 4 日に「Complexity of the pure logic of necessitation」というタイトルで登壇し発表しました． 発表スライドはこちらに乗せておきます．

上手くしゃべることはできたと思えた反面， 12 分程度の講演時間がどうしても短く， 証明や定理を簡単化しての発表になってしまったようにも思います．

もっと自分の研究を端的に判りやすく説明する力を磨いていくべきだと感じました．

ALGI に続いて自分の研究の伸展に繋がる色んな情報を収集できて， 研究意欲をとても高めてもらえました．