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

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

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

参照用 記事

2017-05-23から1日間の記事一覧

型付きラムダ計算 構文論 再入門 2/2: カリー/ハワード対応のために

「型付きラムダ計算 構文論 再入門 1/2: カリー/ハワード対応のために」の続きです。前回 1/2 の内容: 予備知識と参考資料 大きなラムダ計算とは何か 概要と目標 集合と写像に関する基礎的事項 型システム 今回 2/2 の内容: 疑似ラムダ項の構文 ラムダ項…