https://twitter.com/kinaba のログ (twilog の方が便利です。)
| FLOPS 2010 の採択論文リストを見ている http://www.kb.ecei.tohoku.ac.jp/flops2010/wiki/index.php?Accepted 。"A Pearl on SAT Solving in Prolog" ってなんだろ。無限木の=のAxiomatizationが気になる。CallByNeed の話は最近よく聞く気がする | |
| 僕も僕も RT FLOPS 2010 に Masahiro Sakai がいるとおもって目をこすったら、Masahiko Sakai でした (via @ikegami__) | |
| @garaemon Programming Pearls http://www.amazon.co.jp/dp/4894712369 みたいに、「キラリと光る小技」みたいなのを pearl と呼んだりします |