tw.log

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

<<newer (latest) older>>

20140325 15:04 文章を書くタスクと人間と話すタスクが今週に密集しておりつらい
20140325 15:44 あえいうえおあお
20140325 21:52 ICDT14の"Conjunctive Context-Free Path Queries"という論文、これなんでO(G^3 V^3)のCFL Reachabilityアルゴリズムが主定理の一つになっているようなのが通ってるんだろ

<<newer (latest) older>>

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