tw.log

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

<<newer (latest) older>>

20140424 20:21 嘘解法みたいな勝ち方を連発してR1300行った。そろそろ集中力が切れて20連敗くらいするタイミング https://t.co/zMamVeE2VG
20140424 23:01 "Duality and recognition" http://www.math.ru.nl/~mgehrke/Ge11.pdf 読んでる。32年生きてきて初めてイデアルの気持ちがわかってきた気がする感動的だ。これはなんかちゃんとまとめときたい
20140424 23:05 もうちょいabstractでない証明もあるよと言って参照してた "Stone Duality and the Recognisable Languages over an Algebra" http://www.math.ru.nl/~mgehrke/Ge09.pdf もなんでこんなことやってんのか大変理解し易い
20140424 23:16 Dualityおばさまだ http://www.liafa.univ-paris-diderot.fr/~mgehrke/ 端から全部読もう

<<newer (latest) older>>

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