killingout_n-bita https://blog.hatena.ne.jp/killingout_n-bita/ オボエガキ用 https://killingout-n-bita.hatenadiary.org/ Lambda 温州蜜柑 概要 ラムダ式の定義 BNFによる定義 前提) 記号 identifier = {a,b,c,...,x,y,z,...} 1) ::= 2) ::= (λ.) （ラムダ抽象） 3) ::= () （関数適用） where, identifierは可算無限集合（自然数集合Nと濃度が同じ集合） 集合による定義 Vを可算無限個の変数の集合とする。 ラムダ式(lambda term)の集合とは、次の条件1)〜3)を満たす最小の集合Λのこと。 1) 2) (ラムダ抽象) 3) (関数適用) 参考リンク Wikipedia(ラムダ計算 - Wikipedia) 住井 英二郎氏(pdf)(http://w… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkillingout-n-bita.hatenadiary.org%2Fentry%2F20120225%2F1330185142" title="ラムダ計算まとめ - オボエガキ用" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-02-25 00:52:22 rich https://killingout-n-bita.hatenadiary.org/entry/20120225/1330185142 1.0 100%