https://twitter.com/kinaba のログ (twilog の方が便利です。)
| FF13すげーなー。 | |
| 今回ダメだったけど次は通すぞーと思いながらPOPLのaccepted papers見てる。http://www.cse.psu.edu/popl/10/accepted-papers.html | |
| "Nominal System T" が面白そう。"Angelic Non-determinism" は気になったけどググったらparallel backtrackとかでてきた。要バックトラックな非決定性は今のとこ興味ない。"Data Dependent Grammar" って | |
| なにかノントリビアルなことがやられてるんだろうか。それなら面白そうかも。Earley風のアルゴリズムが出せると書いてあるなあ。あとで読もう。小林先生のと寺内さんのは聞かせていただいたことがあるけどこれは面白かった。 | |
| @chunjp これは！！！！！！！！！！ | |
| いやいやおちつけ僕は紫蘇が好きなのであってペプシが好きなのではないはずだ | |
| ヒント：しかし僕は小豆も好きだ |