Hey there! kmizu is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving kmizu's tweets.

Already using Twitter
from your phone? Click here.

kmizu

@takedasoft ふむむ。そういうものでしょうか。 about 9 hours ago from Twit in reply to takedasoft
@takedasoft うむむ。たまにだったらそれでもいいんですけど、これからこの寒さが数ヶ月続くことを考えるとそれじゃまずいかな、と。 about 9 hours ago from Twit in reply to takedasoft
@shichiseki なるほど。逡巡する間を与えないってのはポイントかもしれません。心がけるようにしてみます。 about 9 hours ago from Twit in reply to shichiseki
@keisuke_n @oza_x86 どもありがとうございます。防寒対策はたぶん大丈夫だと思うのですが、家出る前に「外は寒そうだから…」となるのがネックなのでした。とりあえず、部屋の中でウォームアップするのがいいのかなと思うので、明日からやってみようかと思っています。 about 9 hours ago from Twit in reply to keisuke_n
@t_yano いったん動けばモチベーションは上がるんですが、ウォーキング開始する前の時点で、「寒いからまた明日にでも…」という誘惑が来てしまってどうにも。冬用のトレーニングウェアは着ています。部屋の中で体暖めておくのがいいのかなあ。 about 9 hours ago from Twit in reply to t_yano
どうすれば寒い季節の中、ウォーキングする意思を挫かれずに継続できるだろうか…それが悩みどころだ。 about 10 hours ago from Twit
今回の自分のpldirスライドはいつもよりさらに手抜きで、たぶん全部合わせて10分以内で終わりそうな予感がしますです。バランス考えると、中途半端に詳細なところに突っ込むとバランスが悪い気がしたんだよな(と言い訳してみる)。 about 10 hours ago from Twit
ところで、PLDIrなのかPLDIRなのかpldirなのか。どれがいいんだろ(まあどれでもいい気はするけど)。 about 10 hours ago from Twit
@dmikurube PLDIrの会場はネットワーク無いので、自前でイー・モバイルか何か持ってないとつぶやけない気がします。 about 10 hours ago from Twit in reply to dmikurube
pldirの資料できた。例によって結構手抜き。 about 11 hours ago from Twit
@finalfusion １週間以上中断してました。最近寒くなって来たのもあって、歩き始めがつらいんですよね。＞ウォーキング about 16 hours ago from Twit in reply to finalfusion
"Monads are not about strictness "のstrictnessは厳密さではなく、正格性(評価順序の用語)に関する話ではないかと。 http://tinyurl.com/yfj4b37 #haskell about 17 hours ago from Twit
うらやましい。 RT @_ko1: ゼミでラノベ談義 about 18 hours ago from Twit
@suma90h ソース見るとわかるんですけど、spawnは本当に単純にThreadをnewしてstartするだけの実装になっています。Actor作るときはとにかくactor { } かActorクラスを継承すると考えておけば間違いないと思います。 #scala about 19 hours ago from Twit in reply to suma90h
ウォーキング＆ジョギング大ループ1周(5.3km),41分,4221歩。今日は最初5分くらいウォーキング、その後非常にゆっくりとしたペースでジョギングにしてみた。ジョギングはこのくらいのペースが一番無理無く続けられそうだ。 #kmizu_walking about 19 hours ago from Twit
Gregor Kiczaleなんかは元Lisp屋さんに含めていいのだろうか。最近はアスペクト指向の人だけど。 1:51 AM Nov 30th from Twit
@ogochan Lisp屋さんってのが、Lispの処理系の実装屋さんという意味だったら、JavaとかJVMの実装絡みで結構いそうな気がするんですが、Common Lispでバリバリアプリ書いてる(た)人たちとかはどうなんでしょうね。 1:50 AM Nov 30th from Twit in reply to ogochan
@ruimo ほんと本末転倒ですよね。実際、コンピュータの方が高精度で解析できそうな気さえしてきます。 1:42 AM Nov 30th from Twit in reply to ruimo
考えてみれば当然だけど、Extractorもoverloadできるのか。 http://daily-scala.blogspot.com/2009/11/overloaded-unapply.html 1:41 AM Nov 30th from Twit
@ogochan Lisp屋のルサンチマンはJavaやRubyとして晴らされるどころか、ますます募っているのではないかと個人的には思います。「にわかな奴がLisp語りやがって、ケっ」みたいな。 1:29 AM Nov 30th from Twit in reply to ogochan