コンビネータ論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/10 14:50 UTC 版)
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(露: Моисей Эльевич Шейнфинкель、英: Moses Ilyich Schönfinkel)とハスケル・カリー(英: Haskell Brooks Curry)によって、記号論理での変数を消去するために導入された記法である。最近では、計算機科学において計算の理論的モデルで利用されてきている。また、関数型プログラミング言語の理論(意味論など)や実装にも応用がある。
- ^ Seldin, Jonathan. The Logic of Curry and Church.
- ^ John Tromp, Binary Lambda Calculus and Combinatory Logic, in Randomness And Complexity, from Leibniz To Chaitin, ed. Cristian S. Calude, World Scientific Publishing Company, October 2008. (pdf version)
- 1 コンビネータ論理とは
- 2 コンビネータ論理の概要
- 3 コンビネータ計算
- 4 コンビネータ計算の非決定性
- 5 応用
- 6 関連項目
- コンビネータ論理のページへのリンク