2009-11-01から1ヶ月間の記事一覧
「総称高階関数計算の練習:積モナドの乗法を書き下す」にて: 次の定義を総称高階関数計算の記法に翻訳しましょう。 τ := (ν*L)・(EE*μ)・(E*γ*L) τ := (E*μ)・(ν*LL)・(E*γ*L) いや、これは宿題にしよう、っと。計算練習にやってみてください。解答はたぶ…
ウチの長男、次男はホントに四六時中けんかをしている。原因は実にさまざまだが、どれも些細でくだらない。ふざけているうちに本気になってしまったり、弟が兄を小馬鹿にしたような口をきいて、兄がそれに反応して怒りだしたり。子供だから、こんなもんだと…
Catyの意味論を少しずつ書いていきます(あんまりタラタラはしてられないけどね)。 タラタラはしてられないので、やれるところまで今日やっちゃいますよ、意味論。「Catyのインタプリタ=評価関数の表示的意味論」において、Catyスクリプトの表示的意味論と…
ソフトウェアの意味論は何のため/誰のために必要か 型チェックと型推論 という事情で、Catyの意味論を少しずつ書いていきます(あんまりタラタラはしてられないけどね)。こういう話は作り側に関わることで、使う人には何の関係もありません -- 次の記事を…
僕とKuwataさんの連絡は、口頭を除けば公開チャンネルを流れる状況になってしまいました*1(最近は内部ドキュメント書いてないっす)。それで、そろそろ型推論のやり方を(公開で)書かないとなー、と思うのです。が、気になることがあるので、ちょっと愚痴…
http://return0.dyndns.org/log/2009/11/01#s_1 : [diagrammatic order記法は]まあ檜山さんしか使わないだろうし、 そんなことはないだろうよ。diagrammatic orderだと、すべてが左から右へと流れていく感じがとても気持ちいいよ。普通の記法のほうが、左右…
長男:「昔さ、さんま祭りの目黒川ライブにさ、」父親:「んん」長男:「マイケル・ジャクソン来てなかったっけ?」父親:「来ないよ、目黒川ライブには」長男:「そうかなー。俺、生で見たような気がするんだけど」父親:「なんかの勘違いだよ」長男:「マ…
今朝、NHKニュース見ていたら、id:ogijunさんが出てた、読書家代表みたいな感じで。