https://twitter.com/kinaba のログ (twilog の方が便利です。)
| GCJ Round3 通ったときのためにパスポート用意しとけよ的なメールがググルさんから北。東京ではやってくれるだろうけど、あんま人数少ないと国外に飛ばされるのかなこれ | |
| @keno42 わからないですねえ。どこかに書いてあったかな… | |
| @Yugui http://twitter.com/yugui/statuses/880009160 量が質…ということになるのかな。単に「全員が当事者になった」てことだと思うんですよね。各人「自分ちが見える（ or 将来的にサービス範囲拡大すれば見えるようになる）」 ... | |
| てかあれがキモいという感覚が実はよくわからない | |
| てかシドニーもストリートビューできるようになってるじゃんよ。自宅＞ http://maps.google.co.jp/maps?ie=UTF8&ll=-33.924453,151.230454&spn=0.018197,0.038452&z=15&layer=c&cbll=-33.933564,151.230311&panoid=677AymNUqrzHgSEqxo3csw&cbp=1,65.00000000000034,,0,5 | |
| いい加減 Coq マジメに覚えよう（６回目） | |
| 汎用言語といわれてるものは汎用言語という名の DSL だよなー感が。 Coq と R と Mathematica と Verilog と Cg と SQL と TeX と dtrace と XSLT と MML とを汎化してるわけではなく、 " ふつー ... | |
| だからどうというわけでもない |