https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @kmizu みずしまさんウィッシュリストのこれ http://www.amazon.co.jp/dp/6133855223 Wikipediaのコピペ本では | |
| http://dl.acm.org/citation.cfm?doid=321356.321364 Parikh's Theorem 読んでアイデアはわかった（非終端記号Aから始まってAの穴が空いてる小さいコンテキスト（有限個しかない）で必ず構文木が分解できるのでその線型和）けど詳細が把握できてない。A→AAみたいなのどうなるだ |