https://twitter.com/kinaba のログ (twilog の方が便利です。)
@blanketsky GC あっても "" リソース "" リークは気にしないとマズいですよん。 persistent なデータならロールバック余裕 (^^) なのはその通りで、なので全人類は2番目に Purely Functional Data Structures ... | |
http://madscientist.jp/~ikegami/diary/20080619.html#p02 " 発表者の発表を途中で止めて数十分でも議論してかまわない " こういう風習は本当素敵で、定理の証明1つの議論のために勉強会が 2 回連続終電まで延びるとか非常に楽しいよね | |
今日って7月か!! | |
いつまでこっちにいるつもりか真剣に考えないといかん | |
アイコンがゾーマのひとを見かけたので反射的に follow してしまった | |
今日のバラモス動画 http://www.nicovideo.jp/watch/sm1587836 | |
@chunjp 俺、帰ったら脳を Macro Tree Transducer で変換するんだ…… | |
@natsutan ゲームボーイ版も FC 版と SFC 版を足して 2 で割った感じでまた別の味があります ^^ | |
NP-hard なことの証明より NP なことの証明の方がムズい例というのに初めて出くわした | |
http://en.wikipedia.org/wiki/Savitch's_theorem f^2(n) って f(f(n)) のことだと思ってこれだと NSPACE(n)=DSPACE(n) になるじゃんチューリング賞じゃんと思ったら (f(n))^2 のことだった | |
やっべ俺の論文には問題がある http://twitter.com/ReiOdaira/statuses/847462706 と思って数えたら意外とちょうど5割だった |