https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://forums.topcoder.com/?module=Thread&threadID=698157&start=0 SRM 494 はまた土曜日に戻るということでいいのかな | |
| 「せんけいけいかくほう」の「けいけい」の部分や「レッドドラゴン」の「ドド」の部分などが、いつも気になるお年頃です。 | |
| 気合いを入れればすぐ証明もしくは反証もしくは検索で見つかりそうな気がするんだけど、それが証明できたからといって他の定理に使うでもなく特に嬉しい結果が伴うわけでもないので著しく優先度が低いんだけど、しかし何も考えないで放っておくのは気持ち悪いんだけどどうでもいい、みたいな命題がある | |
| @ikegami__ http://xkcd.com/773/ を思い出した | |
| @nushio [これはひどい] | |
| @ikegami__ この命題のステートメントを理解できる人に僕が教育などするような状況が想像しがたいという問題が… | |
| Rubyで再帰、たまに fib = Hash.new {|_,k| fib[k] = if k<=1 then k else fib[k-1]+fib[k-2] end} みたいな適当なメモ化を書くと予想外に早くスタックがなくなってびっくりする | |
| Modal Dialog http://e-words.jp/w/E383A2E383BCE38380E383ABE38380E382A4E382A2E383ADE382B0.html と様相論理（Modal Logic）を絡めた小粋なジョークを考えようとしたが思いつかなかった。モーダルみゅーダイアログ。 | |
| 『僕たちは監視されている』2巻も読んだ。"自分は狂っているかもしれない"という怖れの周りをぐるぐる回って一巻書ききる、とても興味深い。スレ http://kamome.2ch.net/test/read.cgi/magazin/1291693852/ 見る限り『伝説兄妹』というシリーズも評判いいし、このラノ文庫売れてないというのは本当勿体ないぞ…。 | |
| C(ry 先生が2週間も沈黙を守っているので、次の一投には空前絶後の会心のtweetが来るに違いないと期待してハードルを上げる作業を始めるか | |
| http://www.google.co.jp/search?q=%E5%8B%9D%E3%81%9F%E3%81%99%E7%95%B0%E8%AB%96 もしかして：型推論 とか出るようになってるかなーと思ったけど出なかった。「静的片付け」は行ける。 |