https://twitter.com/kinaba のログ (twilog の方が便利です。)
| にっきかいた。何度かtwitterに書いてるけど、あらためてまとめとく。 http://www.kmonos.net/wlog/113.html#_2256100904 | |
| アイコン変えてみた。DQ3に「ひらがなカタカナ」な名前のモンスターは数多いですが、では逆に「カタカナひらがな」は何種類でしょうか（クイズ）。というわけでカンダタこぶんです。 | |
| issue って単語を見る/聞くとどうしてもティッシュが思い浮かんでしまう病気は一生治らないのだろうか問題 | |
| @osa_k 僕が思いついたのは（こぶん、つむり含めて）３種類でした。あと一息です！ | |
| remove は("move"なので)取り"去る"イメージで、eraseはゴシゴシとその場で消すイメージ、というのを聞いたことがあるけど、そういえばdeleteというのはどんなイメージの違いがあるんだろう。 | |
| @y_aki @alohakun 滅ぼす！ | |
| @osa_k 正解です！はやぶさドラゴラム3人でミイラおとこと戦うとは、なんというオーバーキル… | |
| 解けたああああああ！ RT kinaba submits proof of 'P < EXP': http://as305.dyndns.org/aps/problem/viewa/122 (via @anarchyproof) | |
| 帰宅した。帰りの電車で小川一水の『妙なる技の乙女たち』読み始めたんだけど面白いね、これ。軌道エレベータの実現した2050年の世界、そうして手の届いた宇宙空間…ではなく、その根本の熱帯の島に集結した宇宙産業都市のさまざまなお仕事のお話。 | |
| ２話目「港のタクシー艇長」なんかこう思わずARIAを思い出してしまう感じの設定なのだけど、そう見せつつガッチリ操船技術モノだったりして格好いい | |
| @rofi ただいまですー。もう夜だというのに今日も暑かった… | |
| @teramonagi そうなのですか（まだ実は2話半しか読めてない）！期待して読みます。はやぶさ帰還時の話題 http://twitter.com/Yam_eye/status/16083208139 でその視点にアッと思わされて買ったのですが、他の話の観点も興味深いですね。 | |
| @kikx 要は ∃x. 2 x^a ≧ (x+1)^a を言いたいだけで、二項定理を考えれば x=a^2 もあれば十分なことは紙の上ではすぐ分かるんですけど、二項定理とかΣとかCoqで書いてると死にそうになってきたので、必要十分な程度に二項展開を上から抑える近似を…という流れ | |
| なるほどです。というかお二方御知り合いですか。おお RT @saya_t: なるほどです。RT @teramonagi: いえ、私はboostの人という認識でフォローさせてもらっちょります。RT @saya_t あれ、御二方知り合い。。？ |