Last Updated:2025/12/02
Edit Histories(0)
Source Word

Church encoding

Noun
countable uncountable
Japanese Meaning
(数学) ラムダ計算内で数学的構造に組み込まれた方法により、データおよび演算子を表現する手法 / ラムダ計算におけるデータと演算子の表現方法として、数学的構造を利用する技法
What is this buttons?

高度な関数型プログラマはしばしば、ラムダ計算におけるデータや演算子の表現法を基礎技術として教える。

plural

Dictionary quizzes to help you remember the meaning

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★