tw.log

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

<<newer (latest) older>>

20091215 09:11 #aplas09 QuickCheckのひとのinvited talkをきいている
20091215 09:49 #aplas09 "Some problems are hard to specify, without reimplementing the programs" そうそう
20091215 09:57 #aplas09 testのためのlogicというのは普通のlogicとは違うというのは面白いな
20091215 12:48 日記に書いた LRUSet、チェインハッシュ前提だとあんなんでいいけど、Entry* hashtable[]; じゃなくて Entry hashtable[]; にしようと思ったらやっぱり後ろ向きリンクがないと、あれじゃダメだな-。なんか上手い手あるかな
20091215 12:52 あーなるほど、そこのところの区別をちゃんと考えると色々クリアになる気がする・・・ RT 「生存期間の一致」と「相互の所有」は違う,というのはちゃんと考えておかないと... (via @Cryolite)
20091215 13:25 http://twitter.com/Cryolite/status/6631914428 全然まとまってないのですけど、「神様」を意識させたくないときに、一般オブジェクトを「神様」であるかのように見せちゃうのは避けたい、という気持ちがある気がするなあ、自分の場合。
20091215 13:28 機能的には完全に同じただのaliasとしてown_ptrとshared_ptrで二種類あると、僕はshared_ptrが乱舞してても満足するような気がする。
20091215 13:31 クリスマスが近いので赤い帽子をかぶったアイコンにしよう。昔から疑問なのに検証したことがないのですがこの人ってカンダタ2と完全に同じ色なんでしょうか、デスストーカーです。よろしくお願いします。
20091215 18:18 @iwiwi メモ書きみたいなまとまってない記事ですみません(´Д`)。要は、アッカーマン先生が出てくるのは大抵「バランス木を上限に分割して分割統治」で考えられるアルゴリズムみたいですね。かなり葉っぱ寄りで分割してルート側をナイーブに処理しても間に合うくらいノード数が偏ってる場合

<<newer (latest) older>>

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