PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
DOCUMENTATION CENTER SEARCH
Mathematica
>
関数型プログラミング
>
Mathematica
組込みシンボル
純関数
純関数と規則で使う変数
一般的な表記と慣例
チュートリアル »
|
Apply
CompiledFunction
関連項目 »
|
属性
関数型プログラミング
言語の概要
スコープ構文
Mathematica シンタックス
その他 »
Function
(&)
Function
[
body
]
および
body
&
等は,純関数である.その形式的なパラメータは,
#
(または
#1
),
#2
等である.
Function
[
x
,
body
]
単一の形式的なパラメータ
x
を持った純関数である.
Function
[{
x
1
,
x
2
,
...
},
body
]
形式的なパラメータのリストを持った純関数である.
詳細
Function
[
body
]
や
body
&
が,引数のセットに適用された場合,
#
(または
#1
)は第1引数で,
#2
は第2引数で置換される.
#0
は,関数自体で置換される.
この関数に
#
i
より多い数の引数が存在する場合,余分になった引数は無視される.
»
##
は,与えられたすべての引数の列を表す.
»
##
n
は,第
n
以降の引数を表す.
»
Function
は,LISPや形式論理学の
に対応する.
Function
の属性は
HoldAll
である.この関数本体は,形式パラメータが引数と置換された後に評価される.
Function
[{
x
1
,
...
},
body
]
の名称を持った形式パラメータ
x
i
は局所的なものとして取り扱われ,関数に与えられる実際の引数との混同を避けるために必要に応じて
x
i
$
と変名される.
»
Function
の構文はどのようにもネストすることができる.そのそれぞれが,内側の名前付き変数が必要に応じて改名されるスコープ構文として取り扱われる.
»
Function
[
params
,
body
, {
attr
1
,
attr
2
,
...
}]
は,評価の目的で属性
attr
i
を持っているように取り扱われる純関数である.
»
例題
すべて閉じる
例
(3)
パラメータが1つの純関数:
In[1]:=
Out[1]=
In[2]:=
Out[2]=
In[3]:=
Out[3]=
パラメータが2つの純関数:
In[1]:=
Out[1]=
In[2]:=
Out[2]=
を純関数に設定する:
In[1]:=
Out[1]=
純関数を使う:
In[2]:=
Out[2]=
スコープ
(12)
一般化と拡張
(4)
アプリケーション
(3)
特性と関係
(11)
考えられる問題
(4)
おもしろい例題
(2)
関連項目
Apply
CompiledFunction
チュートリアル
純関数
純関数と規則で使う変数
一般的な表記と慣例
その他
属性
関数型プログラミング
言語の概要
スコープ構文
Mathematica シンタックス
関連リンク
NKS|Online
(
A New Kind of Science
)
バージョン 1 の新機能
© 2008 Wolfram Research, Inc.