📝ラムダ抽象

このメモでは数学と計算機科学の接点を書く.

🪨ラムダ抽象とは

ラムダ計算ともいう. 📝関数を表現する一つの方法.

引数として与えられた値を元に新しい値を計算して返す「関数」を表現する方法.

関数型パラダイムにおける📝関数(Function)とは, 値を変換するもの. さらに分解すると,

• 変数
• ラムダ抽象
• 関数適用

プログラミング言語のシンタックスとしては, 🔖無名関数のこと. 関数値とも.

Topics

• 💡みんなでコンセンサスがとれた社会の価値関数が機械学習モデルから計算可能となるラムダ抽象となる

👉Related

• tags: 🔖数学
• refs.
  • 📝計算機科学(Computer Science)
  • 📝関数型プログラミング