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