https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @dmikurube あ @gusmachine り @chunjp が @nodchip とぅ！！！！！！！！！！ぬぬぬ | |
| @alohakun ありがとうございます。いつまでも忘れないですよよよよよ！ | |
| さてPEGが。S->aSa|bSb|aが。 | |
| @shinyak どもどもども。脳科学博士です(違う | |
| 「PEG = Boolean Closure of Deterministic CFL であることの驚くべき証明を発見したが140字では足りない」とか書いたら誰か証明してくれんかな | |
| @tanigon 元ネタを記すにはスペースが足りない！！ じゃなくて、フェルマーです | |
| @yuki_neko ユキネコ・ワイルズ先生が証明を与えてくれるという噂が僕の中でささやかれています | |
| @ikegami__ なにかオートマトン系の概念が裏にいれば対応する Pumping Lemma が作れて、「PEGで表現できない」の証明のやりようが出てくると思うんですが、難しいですね。ううーむ | |
| @kareya 気づかないうちに型安全性が破れている（＝親から子への暗黙キャストを許す）のと、プログラマが僕は今から型なぞ糞食らえモードに入りますと宣言（明示キャスト）したら型安全性を破れる、のはだいぶ違うと思う | |
| @kareya そうですね。あとは、そもそも親から子へのキャストが必要になる状況というのは9割方設計が間違ってるので、そういうコードを醜く見にくくさせるのが明示キャストの役目です。 | |
| @kareya 静的型言語なら必須だと思います。 | |
| わー無理だ。[Wotschke73] のおかげで {wcw | w∈{a,b}*} という回文以上にどう考えても無理そうな言語がPEGで書けないことを示せば十分なことがわかったので、力押しで示すならこれだと思うんだけど。 | |
| いや、でもこれってconjunctive grammarなら書ける言語か。Regular より上の文法は全部、書けるか書けないかがまったく直感でわからないから困る | |
| @ikegami__ それそれ。それです | |
| "How Long Does it Take to Catch a Wild Kangaroo?" て。http://www.umiacs.umd.edu/conferences/stoc2009/accepted.shtml | |
| @oxy おお！ほんとにカンガルーを捕まえるアルゴリズムとして名前がついてるんですね！おもしろい |