気がついたら既に今年のゲーデル賞受賞者が Shanghua Teng と Daniel Spielman の二人に決まったようです．線型計画法における計算量の均し解析が評価されたようです． ACM-SIGACTの公式ページにはまだ載ってないのですが，Wikipediaには既に載っていたりし…

FOCS 2008 の採録予定論文が出た模様です． Timothy Chow Almost-natural proofs が気になって探してみたところ本人のページにおいてありました．７ページの短い論文でRazborov-Rudichの結果を拡張しているっぽいです．NIIの小林さんと松本さんの論文も通っ…