https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @ksknac: ESOP の accepted and conditionally accept papers 一覧が公開されている． conditionally accept まで公開してしまうのはどうなんだろう． http://www.ccs.neu.edu/esop2013/accepted.html | |
| Pretty-Big-Step Semantics 気になる（タイトル脊髄反射人間） | |
| "せいずいはんしゃ"を"せいいきずいはんしゃ"にtypoしたのが"正規随伴射"と変換されてすごいカテカテした雰囲気のある熟語になった | |
| 投稿前の論文みせていただいたのにコメント返せてない不義理をしてしまった論文が通っている。おめでとうございます＆すみませんすみません | |
| http://www.etaps.org/2013/cc13/accepted-cc13-menu "On LR Parsing with Selective Delays" 気になる、と書いておくと @kmizu さんが自動的に解説してくれるのではないだろうか!!（他力本願） | |
| LR(k) とは違うんですよねこれ (abstractだけだとよくわからなかった) | |
| @kmizu やった！ |