TACL 参加中

オランダ・アムステルダムに出張中。TACL (Topology, Algebra and Categories in Logic) という会議に参加してます。

pure logic の会議に参加するのってもしかしたら初めてかもしれません。やはりというか、CS 系の会議と比べると、何の役に立つとかあまり意識しない雰囲気があるような気がします。そういうところだと思っているからそう見えているという部分もあるのかもしれませんが。