https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @finalfusion @zakkas783 @septef わーい | |
| age = age^age<<1^1 （一般性のない表現） | |
| インターナショナル時間割コンテスト http://www.utwente.nl/ctit/hstt/itc2011/welcome/ と時間割国際学会 http://www.patatconference.org/patat2014/ 面白そう。コンテストは最近やってないのかな #ppl2014 | |
| @finalfusion あれ、ばっちり入ってたはず、、、 | |
| 3月6日はウィッシュリストの日です http://www.amazon.co.jp/registry/wishlist/KSQ3ZVYLNNNB | |
| @ranha これは等価性と等価性がcoincideというかSafe n-th order RSとn-th dpdaがcoincideなので等価性も然り、という理解でいいんですかね。それとももっと等価性specificな何かを言っている？ | |
| @ranha 引用先の論文は「SafeHORSの表現できる言語のクラス == D高階PDAで表現できる言語のクラス」を示していると思うので何か単にそういうことなのではないでしょうか。Dammの方覚えてないですけどKNU02は全部決定性grammarの話をしてたはず |