2021-07-01から1ヶ月間の記事一覧
1. 計算モデルについて 1.1 計算モデル 1.2 解釈可能性、エミュレート可能性 1.3 Church-Turingの提唱 2. ラムダ計算 2.1 構文とその直感的意味 2.1.1 略記 2.1.2 Curry化された多変数関数 2.2 代入 2.3 α変換 2.4 β変換 2.5 Church-Rosser性 3. ラムダ計算…
1. 計算モデルについて 1.1 計算モデル 1.2 解釈可能性、エミュレート可能性 1.3 Church-Turingの提唱 2. ラムダ計算 2.1 構文とその直感的意味 2.1.1 略記 2.1.2 Curry化された多変数関数 2.2 代入 2.3 α変換 2.4 β変換 2.5 Church-Rosser性 3. ラムダ計算…