コンビネータ

(コンピュータ)
こんびねーた

【combinator】自由変数を含まないλ式のこと.
計算論を始めとしてλ式,λ計算を扱う理論において重要視されている.λ計算において対象をコンビネータのみに制限したものをコンビネータ論理と呼ぶこともある.

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ