https://twitter.com/kinaba のログ (twilog の方が便利です。)
| がげぎぐげごがご | |
| ハイヤーオーダーTODOスタック | |
| http://link.springer.com/chapter/10.1007%2F978-3-642-02737-6_8 ある文脈自由言語が別の文脈自由言語に含まれるかの判定は一般に決定不能だけどDyck言語(バランス取れた括弧言語)に含まれるかは多項式時間で決定可能という結果知らなかった。面白い。一般化の仕方とアルゴリズムもかっこいい括弧言語だけに | |
| @kinaba 寝ながら証明を脳内再生してたら疑問が見つかったが脳の方が怪しいので帰ってからチェックする（めも） |