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

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

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

参照用 記事

2012-06-19から1日間の記事一覧

高階関数を持たないが型の順序を持つラムダ計算

ラムダ計算の強力さの理由(のひとつ)は、任意の高階関数が定義可能なことでしょう。しかし、1階の関数があれば高階関数は必要ない状況もあります。α、βがデータ型だとして、関数の型 α->β は必要だが、(α->β)->γ なんてのは要らない、って設定です。これか…