オランダ・アムステルダムに出張中。TACL (Topology, Algebra and Categories in Logic) という会議に参加してます。pure logic の会議に参加するのってもしかしたら初めてかもしれません。やはりというか、CS 系の会議と比べると、何の役に立つとかあまり意…
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.