はてなも使ってみて調子が良さそうな方を選ぶことにする． 午前中はロジックセミナーをした．読んでいる本は小野本． www.amazon.co.jp プログラムの数理の教科書になっていたやつだけど，まじめに読んだことは一度もないからちょうどいい． 今日はわたしの…