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

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

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

参照用 記事

2009-09-03から1日間の記事一覧

Catyとデカルト分配圏

Catyで使う型定義とスクリプトの構文については、「Jcentric型システムの宣言スタイル・スキーマ構文」と「Catyスクリプトの構文」で述べました。意味論はほとんど述べてません。ここで、意味に関するオオザッパな話を少しだけ書いておきます。デカルト分配…

重い荷物

父親:「あれっ、なんでこんなにランドセルが重いんだ?」長男:「えっ」父親:「教科書入れ替えるのが面倒なんで、全部詰め込んでるんだな」長男:「あ、うん」父親:「もう、横着にもほどがあるなー」長男:「あの、でも…」父親:「重いだろ、これ」長男:…