https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 12月は毎日日記更新する！とか一昨日くらいまで考えていたのでとりあえず一日くらいは頑張った http://www.kmonos.net/wlog/123.html#_2257111201 | |
| @max747 経験上、固定テーマのをひとりでやり続けるのは意外と楽です。25個違うジャンルのネタ出しするのは結構ハードで面白そうだなあと。まず全部違う日にassignされるようにスケジューリングするのが楽しそう。 | |
| http://twitter.com/#!/xhl_kogitsune/status/142286748272181248 まず内容で吹いて元ネタ画像のURL見て二度吹いた。まさか @natsutan ちの本棚がイカ娘デビューしていたとは…… | |
| @kmizu Decidable Type Checking の話ですが、自分の認識もkmizuさんとおおむね同様（おおむねというのは"型チェック"が正確に何を意味するか定かではないため）ですが、そうでない事例がどこかにあったとかでしょうか | |
| @kmizu （あれ、一個前の投稿 DOI not found になってしまった…）このあたり http://dl.acm.org/citation.cfm?doid=1993498.1993570 など | |
| @kmizu その辺TAPLのPierce達が比較検討する論文を出していました http://www.cis.upenn.edu/~bcpierce/papers/index.shtml#Subtyping が、今のC#の型システムに対して今どういう結論になってるのかは僕も知りません。どうなんでしょうね… | |
| @mattya1089 @lizan なるほど、自分たちがマニラ大会行った頃を思い出します… (^^;; お疲れ様でした！ |