https://twitter.com/kinaba のログ (twilog の方が便利です。)
| FOCS15の論文リスト見てる https://t.co/D89O5dCpGe Clique=>Valiant Parserのやつ、CFGが速く構文解析できたらこれも速くなるシリーズ、行列乗算といいこのCliqueといい微妙に+1的にずれるのなんでなんだろう | |
| Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable http://arxiv.org/abs/1503.09163 も読まんと。色々incomparableな結果ありすぎて訳わからなくなってきた |