https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @_tanzaku_: チューリングがプロコンやっていたらチューリング全完というギャグが流行ったことうけあい。 | |
| https://t.co/IZ6cJ5fxbv 実際あんまりそっち(?)とこっち(?)の「言語」を区別していない感はある。末尾再帰を見て、あっ右線形文法だみたいな | |
| http://arxiv.org/abs/1401.6423 がよくわからない。いやよくわからないのはabstractを見ればよくわかるんだけどそういうことじゃなくて、何でこの人がこの結論でP=NPを示せたと思っているのかがわからない。O(b^a)って書いてあるけどこのa明らかに～nじゃないの | |
| そんな現実逃避をしている場合ではなかった締め切り |