https://twitter.com/kinaba のログ (twilog の方が便利です。)
@taroleo http://twitter.com/taroleo/statuses/1373365518 うおっと見落としてました。NII に行ってみることにしました。 | |
そういえば http://d.hatena.ne.jp/ytqwerty/20090319#c1237850111 G'Caml の型システムにどのくらいの計算までやらせることができるだろう。ちょうどprimitive recursion全部くらいかな | |
締め切り直前という時期は締め切り対象以外の作業をついやりたくなってしまうばかりか、そういう作業のパフォーマンス向上にも寄与していることが実験的に示された。一昨日8戦7勝1分だったVistaのチェス(LV6)を今日やってみたら5連敗… | |
4年生により研究室のプロジェクタでWBCの上映会が始まっとる…wwww | |
@camlspotter ああ、そういえば型サイズの制限とかあったんでした。ふむー | |
でーげんごの翻訳追いついた。そろそろ新バージョンでそうだけど | |
@taroleo 神保町の本屋に入り浸ろうと思います(^^) | |
伊藤計劃という人の作品は読んだことがなかったのだけれど jmuk さんが書いてた etml というのが出てくる話の人か…と http://d.hatena.ne.jp/TOBI/20090321#p1 を見て繋がった。これは確かに読まねばならぬ小説に見える | |
@yuki_neko 4、5年前に『グラン・ヴァカンス』読んで打ちのめされた時に名前でググったらもうhatenaにいらしたので、それなりに年期の入ったはてなー(多分 | |
TopCoder、チャットエリアに ○○ has left the room が大量に流れたらSRMに勝手にEnterするプラグインが欲しい | |
いやその発想はおかしいぞ俺 | |
@soutaro そこだけ聞くと http://www.haskell.org/haskellwiki/GADT の使い道サンプルその1に必ず出てくる例に一瞬見えます | |
@tsukuno えー、あれ見てるとけっこう楽しいぞ。 |