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

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

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

参照用 記事

2013-09-02から1日間の記事一覧

アリティ付きフラット・ラムダ計算 (1)

ラムダ計算の特徴のひとつは、容易に高階関数が定義できることです。例えば、λf.λx.(f x) と書けば、applyを定義したことになります。高階関数とカリー化を使えば、多変数関数を考える必要はありません。f(x, y) の代わりに (f x) y と書けます(丸括弧を省…