tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20101007 00:19 「正規表現と正規表現の&は正規表現で書ける」を自分で証明してないけど投機的に #anarchyproof に投げよかどうしよか考えている。実質的にNFAなどを経由する証明しか思いつかないのだけど、もっとダイレクトに示せるのかな、これ。

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0