tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

20110925 20:45	Riceの定理により意味のある性質の検査はすべて決定不能であるこんな世の中で、ある静的解析(手法)が「"良い"ものである」と判断するCriteriaは何であるべきか、という Henglein のトークが面白かった。@ikegami__ さんが好きそう。スライドそのうちでるはず

presented by k.inaba (kiki .a.t. kmonos.net) under