MLG meeting に参加していたので，感想みたいなもの。前から思っていたことではあるけど，もっといろんな本や論文を読んで，論理のいろんな見え方を知りたい。多値論理と直観主義論理とか，僕が知らないだけで，もっと密接に関係しているんじゃないか，とか…

とりあえず参加して通りました報告。どの問題も，素朴に書くとたぶん large が終わらない程度の計算量にしてあります。だから少しは賢く計算する必要がありますが，どれもそんなに難しくはなかったと思います。C はちょっとややこしいか。目を引く点として，…

この間、あるプログラミングコンテストの問題を見ていて二部グラフのマッチングのやり方がわからないことに気付き、グラフアルゴリズムを勉強したくなったのでしています。昔いくらかはやったはずですが、使わなかったせいで忘れているのです。『アルゴリズ…

オランダ・アムステルダムに出張中。TACL (Topology, Algebra and Categories in Logic) という会議に参加してます。pure logic の会議に参加するのってもしかしたら初めてかもしれません。やはりというか、CS 系の会議と比べると、何の役に立つとかあまり意…