2006年 3月 (3)。Last Modified: Sat Apr 1 00:56:53 EST 2006 (04/01, 14:56 JST) Mar 31 [Fri] (13:18) ネムイヨーーー。 きのう 5時間しか寝てないのでトンデモネム。 きょうは朝から (といっても 11時半だが) ころきあに出かけた。 Finding Thousands of Bugs in Millions of Lines of Code Yichen Xie Stanford University ってテーマだが、さして面白くなかった。 C などのコードからバグを自動発見するというテーマはそれなりに流行っており、 POPL (Principles of Programming Languages) などでもそれなりに論文が出ている。 しかし、今日のマジメそーなにーちゃん (今年 phd を卒業だっつうから、歳はたぶんオレよ
