https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 今使っている箸 http://item.rakuten.co.jp/k-yoshii/10000059/#10000059 のおもてがひび割れて来たので買いかえようとググったらこの楽天のお店がひっかかった。１本ずつ買えるのかー便利だ。しかし画像見ると10膳揃えたくもなってしまう… | |
| いつ頃書かれたか分からないソースをどのくらい古いバージョンのコンパイラを使えばコンパイルできるかは、古すぎるとダメ新しすぎてもダメで00…01110…00になると考えられて凸関数だから、三分探索すればいいか。使用ライブラリのバージョンも入って多次元になったらどうすればいいんだっけ | |
| @itimasan 僕は負けません | |
| @chunjp マジメな話、ライブラリ側もバージョンを固定すればライブラリ単体がどの範囲でコンパイル通るかは同様に独立に計算できるので、それをインデックス化しておいて、対象アプリの可コンパイル期と近いバージョンの周辺を全探索くらいでまあいいかという気もしております。やらないけど | |
| ネタとはいえ適当なことを言い過ぎた。狭義単調じゃないから三分探索にならないな。むむむ | |
| Kruskal 亡くなったのか http://blog.computationalcomplexity.org/2010/09/joseph-b-kruskal-passed-away-guest-post.html | |
| 今日ろっぽんぎに何人集結するんだろう… | |
| @PG_kura Cでも6.7.8 If there are fewer initializers(略)the remainder(略)shall be initialized(略)same as objects that have static storage duration | |
| 自分はint a[3]={};と書くけど、これにどうも一抹の不安を感じてしまうのは、vector<int> a(0);は変数宣言だけど vector<int> a(); が関数プロトタイプになっちゃうアレのせいで、初期化の括弧の中身を空にすると何かが起きる…!!気がしてしまうせい | |
| @oskimura http://twitter.com/kinaba/topcoder-jp この界隈でなにかしら | |
| 補足で 6.7.8p10 If an object that has static storage duration (略) if it has arithmetic type, it is initialized to (positive or unsigned) zero | |
| MCFG( Multiple Context-Free Grammar )って何かに似てるなぁ…とずっと思ってたんだが今わかった、MUFG( http://www.bk.mufg.jp/ )だ | |
| Union-Find http://en.wikipedia.org/wiki/Disjoint-set_data_structure を考えたの Macro Grammar のFischerだということを今知った。ひえー。全然知らなかった。 | |
| Chromeの新しいの、http：// がアドレスバーにでなくなったのは歓迎として、URL補完でサーバアドレスの後ろの / が補完されなくなったようで戸惑いんぐ。[Alt+D][t][→][C] で C(ry さん、とかを指が覚えていたのに、途中に[/]が必要に… | |
| #anarchyproof 教科書的な問題投げてみた。自分で書いてみると脳内複雑度と比べて結構長くなってしまったのでCoqプロの皆さんなら超綺麗に書くに違いない！というのと、あと効率悪いコンパイラがExtractされちゃう証明になっちゃったんだけど効率化できるか、と自分でも考える | |
| 問題文が不親切かもしれん… #anarchyproof | |
| モンブラン…！？ |