tw.log

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

20090714 06:10	シドニーついたー。ねむい
20090714 10:51	#CIAA xor-automatonってのが紹介されてて、めっちゃ面白いなこれ！これも、どうしてこうなった…じゃなくて、「どうして思いつけなかったのか自分」系のアイデアだ。NFAの遷移行列を&と\|の環じゃなくて&と^にしてみると色々便利、と。へーへーへー。
20090714 11:00	alternating automaton と dfa の間のわりと綺麗な定式化だなあ

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