https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @melponn 証明するのは難しくないですが、Coqとかで書き下すのは、その脳内難しくなさと比較してしまうとわりと面倒ですとかそんなお話です。20年後の証明記述言語なら面倒くさくないだろうという気がします。 | |
| Boost.懇親会は @repeatedly さんにTDPLにサインを貰うことに成功したので満足した | |
| 秘技！出発日の朝になって荷造り開始！を繰り広げている。最近もう完全にどうせパスポートさえあれば死にはせんだろう…みたいな感覚が身についてしまってよろしくない | |
| @_ko1 ちょっと http://www.vldb2010.org/ に | |
| そろそろ出かけないと寝そうだから出かけよう。行ってきます | |
| せっかくなのでスカイライナーの速いの乗ってみたけど速いなー。 | |
| #anarchyproof PIはわりと簡単だった。いやまだできてないけど。"明らかに正の実数リテラル > 0" の証明どうやればいいんだ。 | |
| ほてるついた＆ネット接続確保 | |
| 街をぶらぶらしたり夕飯食べたりしていた。シンガポールは雰囲気がすごいシドニーに似てるなーと思うのは信号待ちボタンのポポポポポポとなる音の類似度が9割な気もするけど、アジアンな英語とアジアンなレストランの並び方とか道路標識の感じとか全体的に雰囲気似通ってる気がする | |
| http://www.vldb2010.org/program-14.htm セッション7並列って頭おかしいんじゃないかと思うだけども、どれとどれを聞くか… | |
| @mametter マジメな話、DBの学会はプログラムとかプロシーディングスとかは綺麗にスキーマ設計したDBとして配布して、例えこの量の発表があろうとも検索やデータマイニングなど楽ちんなので参加者は全然問題なく処理できるぜ！という形にしておいて欲しい | |
| ベキ乗とnCkで階乗作る話、あれはなんで階乗より先にnCkができてるかというと、ベキ乗さえあれば二項定理でnCkが現れるので階乗よりもそっちが近いとかそういう話 | |
| シンガポールの屋内は冷房効き過ぎてヤバいという噂を聞いてきたのですがこれは本当で、ホテルの部屋の設定温度が25℃よりあがってくれない…どうするんだこれは… | |
| @oxy 香港は行ったことないのですが、同じなのですかー。太平洋アジア圏はどこも近い感じなのかな。マニラってどうだったっけ… | |
| おお、力業ですね。とりあえず布団にくるまっていれば平気そうなのでそれでしのごうかと… RT 僕は冷空口を塞ぎました。あとは寒い殺す気かとねじこむしか。 (via @camlspotter 24286578553) | |
| @hskwk もっと並列度下げる努力すべきじゃないかと思いますけどねえ。 | |
| よくわからないけど、「@pi8027 さんと @kinaba が示し合わせて @mayahjp 邸を襲撃するオフ」とかいうページがatndにできたら参加登録せざるをえない | |
| 豊島ミホ作品を端から端まで３回ずつ読んで身悶えるオフ |