https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://www.sciencedirect.com/science/article/pii/S0022000015000264 "MIX is a 2-MCFL" ほええSalvati先生すごいあとで読む | |
| ネバーエンディング文章書きタスクだ | |
| "Is it new?" https://t.co/EUJUYMhLpM 面白い。Knuthは計算量の評価に全体をO(f(n))と漸近的に抑えるの嫌いで、f(n)+O(g(n)) と、主要部より漸近的に小さいので無視できる部分を表現するのに使いたいと。 | |
| あらゆる角度からネバーエンディング文章書きタスクが降ってくる |