概要 ラムダ式の定義 BNFによる定義 前提) 記号 identifier = {a,b,c,...,x,y,z,...} 1) ::= 2) ::= (λ.) （ラムダ抽象） 3) ::= () （関数適用） where, identifierは可算無限集合（自然数集合Nと濃度が同じ集合） 集合による定義 Vを可算無限個の変数の集…