tw.log
https://twitter.com/kinaba
のログ (
twilog
の方が便利です。)
<<newer
(latest)
older>>
20131019 15:01
Parikhの定理
http://en.wikipedia.org/wiki/Parikh's_theorem
ステートメントだけ知ってて証明読んだことも考えたこともなかったのが気になってたので読むか考えるかしなきゃと思ってたことを思い出したので今日やるか。(unary languageの話題を見て思い出した)
<<newer
(latest)
older>>
presented by
k.inaba
(kiki .a.t. kmonos.net) under