2009-11-02から1日間の記事一覧
僕とKuwataさんの連絡は、口頭を除けば公開チャンネルを流れる状況になってしまいました*1(最近は内部ドキュメント書いてないっす)。それで、そろそろ型推論のやり方を(公開で)書かないとなー、と思うのです。が、気になることがあるので、ちょっと愚痴…
http://return0.dyndns.org/log/2009/11/01#s_1 : [diagrammatic order記法は]まあ檜山さんしか使わないだろうし、 そんなことはないだろうよ。diagrammatic orderだと、すべてが左から右へと流れていく感じがとても気持ちいいよ。普通の記法のほうが、左右…
長男:「昔さ、さんま祭りの目黒川ライブにさ、」父親:「んん」長男:「マイケル・ジャクソン来てなかったっけ?」父親:「来ないよ、目黒川ライブには」長男:「そうかなー。俺、生で見たような気がするんだけど」父親:「なんかの勘違いだよ」長男:「マ…
今朝、NHKニュース見ていたら、id:ogijunさんが出てた、読書家代表みたいな感じで。