最終更新日：2025/11/23

(computing) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.

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

正解を見る

co-recursive

元となった辞書の項目

co-recursive

比較不可

(computing) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.

日本語の意味

(計算機科学) 入力ではなく、出力に基づいて定義される、アルゴリズムや定義の形態。すなわち、結果の特徴や性質を元にその動作が再帰的に示される方式を意味する。

The paper presented a co-recursive specification of the stream generator that made reasoning about infinite data structures simpler.

その論文は、ストリーム生成器が出力に基づいて定義された仕様を提示し、無限データ構造についての推論を容易にした。

意味（1）

(computing) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.

Co-recursive algorithms allow infinite large objects to be used without necessarily running out of memory.