https://twitter.com/kinaba のログ (twilog の方が便利です。)
| マウンテンビューの車なし暮らし、片道60分を徒歩圏として認識するように意識改革すればだいたいの問題は解決する (個人の感想です) | |
| @ranha 名前はpermutationとかcommutative imageとかだと思います。閉包性についてはよく知らないですね… | |
| @ranha (abc)*を写すと{w|num_a(w)=num_b(w)=num_c(w)}なので少なくともCFLは超えますよね。indexedには入るかな…(有限のpermなら入ると主張している http://arxiv.org/abs/1412.5512 preprintはあった(真偽不明 | |
| @ranha http://www.liafa.jussieu.fr/~jep/PDF/CommutationsWeb.pdf Pin先生らのサーベイぽいのがありました。 |