■ コンビネーターとは
コンビネーターとは、自由変数を持たない関数であり、他の関数や値を組み合わせて新しい計算を構成する基本単位です。変数束縛を使わずに関数適用のみで計算を記述できるため、ラムダ計算の簡約形として扱われます。プログラムを関数の組み合わせとして表現する際の最小構成要素であり、関数型言語や計算理論で重要な役割を持ちます。
■ SKコンビネーターとは
SKコンビネーターは、SとKという2つの基本コンビネーターだけで任意の計算を表現できる体系です。Kは第1引数を返し第2引数を無視し、Sは関数適用の分配を行います。この2つを組み合わせることでラムダ計算と同等の計算能力を持ち、変数を使わずに関数の振る舞いを記述できることが特徴です。計算理論における最小完全系の代表例です。
■ Iコンビネーターとは
Iコンビネーターは、与えられた引数をそのまま返す恒等関数です。定義は I x = x と極めて単純ですが、計算の単位元として重要な役割を持ちます。SK体系では I = S K K として表現可能であり、独立した原始要素でなくとも構成できる点が特徴です。関数の評価や簡約の確認、構造の基準として広く利用されます。
■ Yコンビネーターとは
Yコンビネーターは、名前を使わずに再帰を実現するための不動点コンビネーターです。関数に自身を引数として渡すことで、自己参照的な構造を作り出します。これにより、明示的な再帰定義なしで繰り返し処理を記述できます。ラムダ計算における重要な構成要素であり、関数型言語の再帰の理論的基盤となっています。
■ カリー化とは
カリー化とは、複数引数の関数を1引数の関数の連鎖に変換する手法です。例えば f(a, b) を f(a)(b) の形に変換します。これにより部分適用が可能となり、関数を段階的に構築できます。関数をデータのように扱えるため、関数型プログラミングにおいて柔軟な抽象化を実現する基本技術です。
■ モノイドとは
モノイドとは、結合的な二項演算と単位元を持つ代数構造です。演算は順序を変えずにまとめられ、単位元を加えても値が変わらない性質を持ちます。例えば整数の加算（0が単位元）や文字列の連結（空文字が単位元）が典型例です。プログラムではデータの集約や畳み込み処理の基礎として広く利用されます。
■ 関手（Functor）とは
関手は、構造を保ったまま値を別の値に写す仕組みです。具体的には、コンテナの中身に対して関数を適用する操作を提供します。map関数として実装されることが多く、リストやオプション型などに対して一貫した変換を可能にします。データ構造を壊さずに処理を適用できる抽象として、関数型プログラミングで重要です。
■ ラムダ計算とは
ラムダ計算は、関数の定義と適用だけで計算を表現する形式体系です。変数、関数抽象、関数適用の3要素で構成され、プログラムの本質を関数の変換として捉えます。チューリング完全であり、現代の関数型言語の理論的基盤となっています。計算可能性やプログラム意味論の研究でも重要です。
■ β簡約とは
β簡約は、ラムダ計算における基本的な計算規則で、関数適用を展開する操作です。具体的には (λx. M) N を Mの中のxをNに置き換えることで評価します。これにより関数の実行が進みます。ラムダ計算における「計算そのもの」を表す操作であり、評価戦略や最適化の理解にも関係します。
■ 不動点とは
不動点とは、ある関数に適用しても値が変わらない要素のことです。つまり f(x) = x を満たすxです。プログラミングでは再帰の定義と深く関係し、Yコンビネーターなどを用いて構築されます。不動点の概念は数学や計算理論、プログラム意味論において重要であり、自己参照的な構造の基盤となります。
