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

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

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

参照用 記事

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

アリティ付きフラット・ラムダ計算 (2):モジュールの概要

「アリティ付きフラット・ラムダ計算 (1)」において、 アリティ付きラムダ計算は、通常のラムダ計算のサブセットというよりは、なにか別な世界を形成するように思えます。 と言いました。「なにか別な世界」がどんな世界なのかはそれほどハッキリしてません…