Church numeral（ラムダ記法を用いて自然数を表現す）とは - 英語 - 英語

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

検索内容:

Church numeral

A representation of a natural number using lambda notation.

日本語の意味

ラムダ記法を用いて自然数を表現するもの

To implement arithmetic in a pure lambda calculus interpreter, she encoded each number as a Church numeral.

純粋なラムダ計算のインタプリタで算術を実装するために、彼女は各数をラムダ式による自然数の表現として符号化した。

活用形複数形

plural of Church numeral

原形: Church numeral

日本語の意味

「Church numeral」の複数形、つまり「Church numeral」の形態が複数であることを示しています。

Church numerals provide a simple way to represent natural numbers in lambda calculus.

チャーチ数はラムダ計算における自然数を表現する簡単な方法を提供します。

Webで検索する