https://twitter.com/kinaba のログ (twilog の方が便利です。)
| Union-Find の計算量が hyper-log で押さえられる証明がやっとわかった。逆アッカーマンなのはまだわかんないけどもういいや。 | |
| http://shop.kodansha.jp/bc/magazines/faust/ メガトーキョー！どこから載せ始めてるんだろう。最初っからだったら確実に１回で打ち切られる予感がするぞ。 | |
| 高さ h のバランス木 ( 森 ) を、下から高さ log h のところで上下に切って分割統治することでパス圧縮のコストを評価。上のノード数は高々 n/h しかないのでパス圧縮は O(h *(n/h))=O(n) で終わる、下は高さ log h しかないので帰納的に全体 ... | |
| sumim さんと前橋さん以外の立場がわかりにくいので、みんなで「私が思う OOP の定義 3 点セット」バトンとか回せばいいんじゃないかなあ。 | |
| @iratqq 一方の機能を別の機能でエミュレートするときに、その書き換えがローカル（それらの機能を使う部分だけを書き換えればよい）で済むなら等価 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4656 | |
| @iratqq みたいな議論はありますね。それでもまだ弱い気もしますが＞ actor と lambda | |
| てか、あれ、 CiteSeerX 本格稼働してる？ | |
| http://csxblog.ist.psu.edu/2008/07/24/1216874040000.html beta かー。 | |
| 関東地方で「城建設」→「廃城」を繰り返しメガロポリス wwwwwwww http://ja.uncyclopedia.info/wiki/%E4%BF%A1%E9%95%B7%E3%81%AE%E9%87%8E%E6%9C%9B |