CombinatorW

CombinatorW

TemplateBox[{}, CombinatorW]コンビネータを表す．

詳細

  • TemplateBox[{}, CombinatorW]コンビネータはTemplateBox[{}, CombinatorW]xy を に削減する特性を持つ．
  • CombinatorWについての変換は自動的には適用されない．
  • CombinatorWの出力は，TemplateBox[{}, CombinatorW]のようにStandardFormまたはTraditionalFormである．このタイプセット形式は cW を使って入力できる．

例題

すべて開くすべて閉じる

例  (1)

結合論理の標準削減規則を適用する：

特性と関係  (1)

TemplateBox[{}, CombinatorW]コンビネータは，TemplateBox[{}, CombinatorS]，TemplateBox[{}, CombinatorK]，TemplateBox[{}, CombinatorI]によってTemplateBox[{}, CombinatorS]TemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorI])として表すことができる：

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

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

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