λ定義{数学的定義} ラムダ計算の定義 【ラムダ計算と証明 番外編 / 数学 解説】ラムダ計算解説の番外編です。 この動画→ https://youtu.be/1lwmJuV_zuk とセットでご視聴お願いします。数学好きには、身近な例から徐々に本質に迫っていくよりも、最初にキッチリした定義を説明したほうが分かりやすいのでは?と思い解説し直してみました。1 https://youtu.be/1l...youtu.be 論理学入門 II — ラムダ計算と関数型言語 Part I 「型のないラムダ計算」20/03/27 マルゼミの講演資料です。講演資料のpdfには、こちらからアクセスできます。https://www.marulabo.net/docs/logic2/youtu.be
ラムダ計算の定義 【ラムダ計算と証明 番外編 / 数学 解説】ラムダ計算解説の番外編です。 この動画→ https://youtu.be/1lwmJuV_zuk とセットでご視聴お願いします。数学好きには、身近な例から徐々に本質に迫っていくよりも、最初にキッチリした定義を説明したほうが分かりやすいのでは?と思い解説し直してみました。1 https://youtu.be/1l...youtu.be
論理学入門 II — ラムダ計算と関数型言語 Part I 「型のないラムダ計算」20/03/27 マルゼミの講演資料です。講演資料のpdfには、こちらからアクセスできます。https://www.marulabo.net/docs/logic2/youtu.be