WOLFRAM

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

CombinatorB

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

詳細
Details and Options Details and Options
例題  
例  
特性と関係  
関連項目
関連するガイド
履歴
引用書式

CombinatorB

CombinatorB

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

詳細

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

例題

すべて開く すべて閉じる

例  (1)

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

特性と関係  (2)

TemplateBox[{}, CombinatorB]は関数の合成を表す：

TemplateBox[{}, CombinatorB]コンビネータはTemplateBox[{}, CombinatorS]とTemplateBox[{}, CombinatorK]でTemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorS])TemplateBox[{}, CombinatorK]と表すことができる：

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

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2025_combinatorb, author="Wolfram Research", title="{CombinatorB}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorB.html}", note=[Accessed: 30-April-2026]}

BibLaTeX

@online{reference.wolfram_2025_combinatorb, organization={Wolfram Research}, title={CombinatorB}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorB.html}, note=[Accessed: 30-April-2026]}