https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 分野横断的に「証明技法コレクション」的な本を無理矢理つくれないものかな。Logical Relation と Bisimulation と Forcing と Diagonal Argument と Powerset とConstruction と(略 がまとめて載ってるようなの | |
| ダブルブリッド5～9を見つけてきた。4と10は明日東京に出るときに探そう。 | |
| 早稲田いいなあ http://www.waseda.jp/alumni/amazon/index.html | |
| Twitの発言欄を複数行表示にできることに今気づいた！！！！！！！！ | |
| 自分のpost見返すたびに誤字脱字の多さにびっくりしていたのですがこれで多少は減るといいですね。たぶん減らないけど | |
| ディアボロうまい人の配信見てたら勉強になりすぎた。基本値の高低より発動効果でベース決めるんだな。なるほどなー。 | |
| http://www.lifehacker.jp/2009/01/090103top25.html occurはいいけどoccurrenceは八割くらい間違えるなあ。あといっつもdivideで詰まる | |
| あと summarize。 | |
| 次のSRM火曜の夜か－。なんか新年会があった気がする… | |
| @taroleo 読みたい！＞日本版 Database Column |