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