Church encoding（(数学) ラムダ計算内で数学的構）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

Church encoding

可算名詞不可算名詞

日本語の意味

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

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

活用形複数形

plural of Church encoding

原形: Church encoding

日本語の意味

「Church encodings」は「Church encoding」の複数形です。Church encodingとは、ラムダ計算などの形式体系において、データ（数値、ブール値、リストなど）を関数だけで表現する手法を指します。

Church encodings allow functional programmers to represent natural numbers and lists purely within the lambda calculus.

チャーチによる符号化は、関数型プログラマーがラムダ計算だけで自然数やリストを表現することを可能にします。

Webで検索する