English Dictionary

corecursion

名詞

不可算名詞

The dual to recursion, that acts on the computed result, rather than the input.

日本語の意味

入力ではなく計算済みの結果に基づいて処理を行う、再帰の対極に位置する概念。

Corecursion enables programmers to generate potentially infinite data structures by defining how results evolve rather than how inputs are consumed.

入力ではなく計算された結果に作用する再帰の双対は、結果がどのように展開するかを定義することで、潜在的に無限のデータ構造を生成できるようにプログラマを助けます。

意味（1）

The dual to recursion, that acts on the computed result, rather than the input.

The natural numbers N may be defined by corecursion as 0∪n+1|n∈ N.