絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/12/02

例文

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

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

正解を見る

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

音声機能が動作しない場合はこちらをご確認ください

名詞

活用形複数形

plural of Church encoding

日本語の意味

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

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

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

項目の編集設定

例文の編集設定

問題の編集設定