このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2009-11-01から1ヶ月間の記事一覧

総称高階関数計算の練習:解答編

「総称高階関数計算の練習:積モナドの乗法を書き下す」にて: 次の定義を総称高階関数計算の記法に翻訳しましょう。 τ := (ν*L)・(EE*μ)・(E*γ*L) τ := (E*μ)・(ν*LL)・(E*γ*L) いや、これは宿題にしよう、っと。計算練習にやってみてください。解答はたぶ…

仲の悪い兄弟

ウチの長男、次男はホントに四六時中けんかをしている。原因は実にさまざまだが、どれも些細でくだらない。ふざけているうちに本気になってしまったり、弟が兄を小馬鹿にしたような口をきいて、兄がそれに反応して怒りだしたり。子供だから、こんなもんだと…

Catyの論理的意味論:ホーア論理からはじめよう

Catyの意味論を少しずつ書いていきます(あんまりタラタラはしてられないけどね)。 タラタラはしてられないので、やれるところまで今日やっちゃいますよ、意味論。「Catyのインタプリタ=評価関数の表示的意味論」において、Catyスクリプトの表示的意味論と…

Catyのインタプリタ=評価関数の表示的意味論

ソフトウェアの意味論は何のため/誰のために必要か 型チェックと型推論 という事情で、Catyの意味論を少しずつ書いていきます(あんまりタラタラはしてられないけどね)。こういう話は作り側に関わることで、使う人には何の関係もありません -- 次の記事を…

Catyに関して重要で一般的な注意:表側と裏側は違う

僕とKuwataさんの連絡は、口頭を除けば公開チャンネルを流れる状況になってしまいました*1(最近は内部ドキュメント書いてないっす)。それで、そろそろ型推論のやり方を(公開で)書かないとなー、と思うのです。が、気になることがあるので、ちょっと愚痴…

diagrammatic order記法は気持ちいい

http://return0.dyndns.org/log/2009/11/01#s_1 : [diagrammatic order記法は]まあ檜山さんしか使わないだろうし、 そんなことはないだろうよ。diagrammatic orderだと、すべてが左から右へと流れていく感じがとても気持ちいいよ。普通の記法のほうが、左右…

マイケル・ジャクソンの思い出(ただし、錯覚)

長男:「昔さ、さんま祭りの目黒川ライブにさ、」父親:「んん」長男:「マイケル・ジャクソン来てなかったっけ?」父親:「来ないよ、目黒川ライブには」長男:「そうかなー。俺、生で見たような気がするんだけど」父親:「なんかの勘違いだよ」長男:「マ…

あれっ、あの顔は

今朝、NHKニュース見ていたら、id:ogijunさんが出てた、読書家代表みたいな感じで。