WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

Curry[f,n]

Curry[f,n][x1]…[xn]が f[x1,…,xn]と等しくなるような，引数が n 個の関数 f の演算子形を表す．

Curry[f]

Curry[f][y][x]が f[x,y]と等しくなるような，2引数の関数 f の演算子形を表す．

Curry[f,{i1,…,in}]

Curry[f,{i1,…,in}][x1]…[xn]が f[xi1,…,xin]と等しくなるような，引数が n 個の関数 f の演算子形を表す．

Curry[f,k{i1,…,in}]

k≥Max[{i1,…,in}]のとき，Curry[f,k{i1,…,in}][x1]…[xk]が f[xi1,…,xin]と等しくなるような，引数が n 個の関数 f の k 個の引数を持つ演算子形を表す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
関連項目
履歴
引用書式

Curry

Curryはバージョン12.1で実験的に導入されたCurryAppliedとOperatorAppliedに置き換えられた．

Curry[f,n]

Curry[f,n][x1]…[xn]が f[x1,…,xn]と等しくなるような，引数が n 個の関数 f の演算子形を表す．

Curry[f]

Curry[f][y][x]が f[x,y]と等しくなるような，2引数の関数 f の演算子形を表す．

Curry[f,{i1,…,in}]

Curry[f,{i1,…,in}][x1]…[xn]が f[xi1,…,xin]と等しくなるような，引数が n 個の関数 f の演算子形を表す．

Curry[f,k{i1,…,in}]

k≥Max[{i1,…,in}]のとき，Curry[f,k{i1,…,in}][x1]…[xk]が f[xi1,…,xin]と等しくなるような，引数が n 個の関数 f の k 個の引数を持つ演算子形を表す．

詳細

  • Curry[f]はCurry[f,{2,1}]に等しい．
  • Curry[f,n]はCurry[f,{1,2,…,n}]に等しい．
  • Curry[f,{i1,…,in}]はCurry[f,Max[{i1,…,in}]->{i1,…,in}]に等しい．
  • Curry[f,{i1,…,in,opts}][x1]…[xk]は，オプションの列 opts について f[xi1,…,xin,opts]に等しい．
  • Curry[f,{i1,…,in}]のカリー化された ip番目の引数は f の p 番目の引数である．
  • Curry[f,arity][x1,…][y1,…]…[z1,…]はCurry[f,arity][x1,…,y1,…,z1,…]に等しいので，角カッコの構造は関係なく，引数の数のみが関係する．

例題

すべて開く すべて閉じる

例  (3)

2引数関数の第2引数をカリー化する：

Wolfram Language code: Curry[f][x][y]

3引数関数を，引数順は変えずにカリー化する：

Wolfram Language code: Curry[f, 3][x][y][z]

これは，2つの積分変数をカリー化してIntegrateをカリー化した形である：

Wolfram Language code: Curry[Integrate, {3, 1, 2}][x][y]

これを， と の変数を持つ関数に適用する：

Wolfram Language code: %[x Sin[y]]

これは以下に等しい：

Wolfram Language code: Integrate[x Sin[y], x, y]

スコープ  (6)

関数の第2引数をカリー化する：

Wolfram Language code: Dx = Curry[D][x]

この演算子を適用する：

Wolfram Language code: Dx[f[x]]

3引数の関数を，引数の順序はそのままにしてカリー化する：

Wolfram Language code: Curry[Nest, 3][f][x][4]

3引数の関数をカリー化し，関数に渡す前に置換を適用する：

Wolfram Language code: Curry[Nest, {3, 1, 2}][x][4][f]

以下は，4つの引数を取るカリー化された演算子であるが，関数 f にはそのうちの2つしか渡されない：

Wolfram Language code: Curry[f, {2, 4}][a][b][c][d]
Wolfram Language code: Curry[f, 4 -> {2, 3}][a][b][c][d]

任意のブラケット構造がある，カリー化され演算子の引数を使う：

Wolfram Language code: op = Curry[f, 3]
Wolfram Language code: op[a][b][c]
Wolfram Language code: op[a, b, c]
Wolfram Language code: op[a, b][c]
Wolfram Language code: op[][a][][][b, c]

デフォルトのオプション値でLevelをカリー化する：

Wolfram Language code: Sin[x[0] + 3]//Curry[Level][2]

オプションをLevelに渡す：

Wolfram Language code: Sin[x[0] + 3]//Curry[Level, {2, 1, Heads -> True}][2]
Wolfram Language code: Sin[x[0] + 3]//Curry[Level[##, Heads -> True]&][2]

アプリケーション  (5)

3つの関数のCompositionをカリー化する：

Wolfram Language code: Curry[Composition, 3]

3つの関数を順に入力する：

Wolfram Language code: %[f]
Wolfram Language code: %[g]
Wolfram Language code: %[h]

式にこの組合せを適用する：

Wolfram Language code: Construct[%, x]

いくつの引数を持つ関数を構成するか指定する：

Wolfram Language code: Curry[Composition, 3][f, g, h, x, y]

Curryを使って指定された順序関数の逆の順で構築する：

Wolfram Language code: oppositeAlphabeticOrder = Curry[AlphabeticOrder];
Wolfram Language code: {Order["a", "b"], oppositeAlphabeticOrder["a", "b"]}
Wolfram Language code: {Order["a", "a"], oppositeAlphabeticOrder["a", "a"]}

下付き文字がある変数の配列を構築する：

Wolfram Language code: Array[Curry[Subscript, 4][x], {2, 3, 2}]

Curryを使ってKとSの組合せを構築する：

Wolfram Language code: k = Curry[Identity, 2 -> {1}]; s = Curry[Function[#1[#3][#2[#3]]], 3];

SKKとSKSの組合せは単位元に等しい：

Wolfram Language code: s[k][k][x]
Wolfram Language code: s[k][s][x]

SとKを使ってBとCの組合せを構築する：

Wolfram Language code: b = s[k[s]][k]; c = s[s[k[s[k[s][k]]][s]][k[k]]];
Wolfram Language code: b[f][g][x]
Wolfram Language code: c[f][x][y]

特性と関係  (6)

Curry[f]はCurry[f,{2,1}]に等しい：

Wolfram Language code: Curry[f][a][b]
Wolfram Language code: Curry[f, {2, 1}][a][b]

Curry[f,0]は，引数がない関数については f[]を返す：

Wolfram Language code: Curry[f, 0]

たとえ追加的な引数が与えられても，中に何もない一対の角カッコが挿入される：

Wolfram Language code: Curry[f, 0][a, b]

Curryそれ自体をカリー化する：

Wolfram Language code: Curry[Curry][3][f][a][b][c]

Constructと比較する：

Wolfram Language code: Construct[f, a, b, c]

Curry[Construct,n][f]は，正の n についてはCurry[f,n-1]に等しい：

Wolfram Language code: Curry[Construct, 3][f][a][b][c]
Wolfram Language code: Curry[f, 2][a][b][c]

この関係は n=1についても成立する：

Wolfram Language code: Curry[Construct, 1][f]
Wolfram Language code: Curry[f, 0]

置換とその逆の2つのCurry演算子を構築する：

Wolfram Language code: perm = {2, 4, 1, 3} invperm = InversePermutation[perm]

結果は，引数の順序を変えずにCurryを使った場合に等しい：

Wolfram Language code: Curry[Curry[f, perm], invperm][a][b][c][d]
Wolfram Language code: Curry[f, 4][a][b][c][d]

長さが等しい2つの置換リストを取る：

Wolfram Language code: perm1 = {2, 4, 1, 3}; perm2 = {3, 2, 4, 1};

これに対応するCurry演算子を構築する：

Wolfram Language code: Curry[Curry[f, perm1], perm2][a][b][c][d]

あるいは，Curryとその置換の積を同じ順序で使う：

Wolfram Language code: Curry[f, PermutationProduct[perm1, perm2]][a, b, c, d]
Wolfram Research (2018), Curry, Wolfram言語関数， https://reference.wolfram.com/language/ref/Curry.html.

テキスト

Wolfram Research (2018), Curry, Wolfram言語関数， https://reference.wolfram.com/language/ref/Curry.html.

CMS

Wolfram Language. 2018. "Curry." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Curry.html.

APA

Wolfram Language. (2018). Curry. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Curry.html

BibTeX

@misc{reference.wolfram_2026_curry, author="Wolfram Research", title="{Curry}", year="2018", howpublished="\url{https://reference.wolfram.com/language/ref/Curry.html}", note=[Accessed: 08-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_curry, organization={Wolfram Research}, title={Curry}, year={2018}, url={https://reference.wolfram.com/language/ref/Curry.html}, note=[Accessed: 08-September-2026]}