論文投稿締め切りが過ぎたので、bidding（査読したい論文を選ぶ手続き）をしています。これは秘密ではないと思いますが、200本以上の投稿があって（POPL 2007は198本）、タイトルとabstractを確認するだけでも大変です。

激遅ですが、http://homepage3.nifty.com/mogami/diary/d0705.html#151 この手の「真」「偽」の２値論理を拡張しようと言う試みはみな確率論のdegradeしたsubsetにしかならないよな、普通は。 ちょっと関連する話題がゼミであって、普通は任意の事象Xについ…

冗談コラージュかと思ったら公式サイトだった。http://spi-net.jp/this_week/img/yokoku.jpg (via http://d.hatena.ne.jp/flappphys/20070718#p1)