Application

fg または Application[f,g]

f の g への形式的な適用を表す．

詳細

  • Applicationは二項演算子である．fgh はApplication[Application[f,g],h]と解釈される．
  • Application[f,g]は組込みの意味を持たない．
  • Application[f,g]は fg と入力できる．記号 は ap または \[Application]と入力する．
  • Applicationを使ってコンビネータを含む項が構築できる．

例題

すべて開くすべて閉じる

例  (2)

結合項を表す：

コンビネータ論理の標準的な削減規則を適用する：

アプリケーション  (1)

コンビネータ内の恒等式を証明する：

特性と関係  (3)

形式的な適用からWolfram言語における適用に変換する：

演算子を置き換えることもできる：

Wolfram言語における適用から形式的な適用に変換する：

著名なコンビネータについての削減規則を得る：

結合項に規則を適用する：

考えられる問題  (1)

興味深い結合項の多くは，通常の形を持たず，永遠に変り続ける：

この項は長さ2の循環になる：

おもしろい例題  (2)

チューリング(Turing)の コンビネータの削減規則：

は固定点のコンビネータであることを証明する：

変数を除いて任意の項をコンビネータ形式に変換する：

引数を2倍にするコンビネータを求める：

関数適用のためのコンビネータを求める：

TemplateBox[{}, CombinatorS]とTemplateBox[{}, CombinatorK]についての標準結合削減規則を適用して結果を検証する：

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

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2024_application, author="Wolfram Research", title="{Application}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/Application.html}", note=[Accessed: 13-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_application, organization={Wolfram Research}, title={Application}, year={2020}, url={https://reference.wolfram.com/language/ref/Application.html}, note=[Accessed: 13-November-2024 ]}