最終更新日:2025/12/02
編集履歴(0)
元となった辞書の項目

Church encodings

名詞
活用形 複数形
日本語の意味
「Church encodings」は「Church encoding」の複数形です。Church encodingとは、ラムダ計算などの形式体系において、データ(数値、ブール値、リストなど)を関数だけで表現する手法を指します。
このボタンはなに?

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

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★