Unlambda記法 適用 `FG F、Gは任意の式。 コンビネータ計算記法 適用 (FG) F、Gは任意の式。 Iota記法 適用 *FG F、Gは任意の式。 Jot記法 空白のコード → 恒等関数 X0 → X S K X1 → S (K X) Xは任意の式で、S、Kはコンビネータ。