https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @roytam1 I didn't know that it can be done in just a hundred lines of code! Great Work!! This is definitely the feature I wanted to have... | |
| 京都賞 http://www.inamori-f.or.jp/laureates/k26_b_laszlo/ctn.html LLLの人かー | |
| ホーガン亡くなったのですか…というか、すみません正直、昨日まではご存命だったのですか…。北村薫がミステリからの文脈で推してたのを見て読んだ『星を継ぐもの』のシリーズも、みなさまに色々プッシュ頂いて読んだ『未来の二つの顔』も名作でした。 | |
| http://d.hatena.ne.jp/nishiohirokazu/20100713/1278980775 なるほどなー。全然思いつかなかった。完敗です | |
| http://www.haskell.org/haskell-symposium/2010/accepted.html Haskell 2010 の論文リスト見てる。"Using Hackage to Inform Language Design" が圧倒的に気になるゴゴゴゴゴ… | |
| みんなどうやってこういう面白物件見つけてくるんだ＞ Norichika Matsuki "NP=PSPACE" http://arxiv.org/abs/1007.1868 (via あちこち) | |
| 3-CNFにしてないから正確ではないけど、要は ∀x1∃x2 (x1∨x2)∧(￢x1∨￢x2) が反例か。Lemma3の(i)⇒(ii)の最後の議論が、せいぜい ∃*∀* じゃないと成り立たない |