tw.log

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

<<newer (latest) older>>

20090626 00:40 長々と書いといてなんですが、話を簡単化しすぎているというかいろんなとこで特定のケースに落としすぎている気がするなー http://d.hatena.ne.jp/ranha/20090615#c1245942328 むずかしい
20090626 00:46 「細かいところをrefineしてけば正確な定義になるくらい、Formalに読んでも完全に正しい」状態を保ったままうまく捨象してぶっちゃけた説明になってるような説明ができる人はすごいよなーと思う。
20090626 00:47 僕が何か書こうとすると9割9分ぶっちゃけた説明をしようとしてぶっちゃけが過ぎて話がおかしくなる方向に何歩も踏み出すので。それでいいとは全く思ってないんだけど、そういうのしか書けない
20090626 11:02 @nodchip [PDF注意]http://save-endo.cs.uu.nl/Endo.pdf これくらいの長さの英文は読めるということですね!
20090626 12:25 @Niso m_hogeMapがmap<uint32,Hoge*>なら、findの返値(のイテレータの指す物)は pair<const uint32, Hoge*> であって pair<uint32, Hoge*> ではないので…
20090626 13:20 ソウルメイト逆計算して http://pcod.no-ip.org/yats/search?query=%E3%82%BD%E3%82%A6%E3%83%AB%E3%83%A1%E3%82%A4%E3%83%88 に発言者の誕生日をannotateするGreasemonkeyスクリプトができている頃かと思ったらそうでもなかった
20090626 22:55 研究なんてなかったということにして、3時まで寝てICFPこんてすとることにする。おやすみなさい
20090626 23:45 寝る前に一瞬変愚蛮怒…と思ってちょっとやってたらテレポートでドラゴンだらけの部屋に飛びこんで死亡した。寝る…

<<newer (latest) older>>

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