研究競争

プログラム理論*1の研究の世界にも競争があります。前から「Ｓ井の方法より我々の方法のほうが良い！」と（いろいろなところで）言いふらしつつ、その方法についての論文を何もpublishしていなかった人たちがいたのですが、ついに出たようです。

http://www.cs.cmu.edu/~rwh/papers/polyrecrelns/gdpf.pdf

…が、あまりちゃんとした査読のあるpublicationではないようで（というか、まだacceptされていない？）、しかも「我々のほうが良い」と暗に主張しつつ、よく読むと結局は根拠が示されていません（存在型についての完全性が示されていない、というかおそらく成り立たないし、「各relationのadmissibilityを示さないといけない」という難点が解消されていない）。メールしてツッコミを入れるべき？

追記：メールしたら「それは良い質問です。っていうかクリティカルヒット」みたいな返事が来た（大幅に意訳）。じゃあ論文にそう書けよ！

*1:という言い方も必ずしも好きではありませんが