tw.log

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

20130730 20:36	この前 @ir5 さんに教えてもらったトポロジカルソートのしかたの数え上げは#P完全という定理の載った雑誌、その名も "Order" http://link.springer.com/journal/11083 というのか。順序関係専門誌、かっこいい
20130730 22:22	TODO的なものが一通り終わったので明日から査読スタックと趣味スタックをようやくpopでござる。形式言語祭りが始まる

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