WOLFRAM

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

CombinatorI

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

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

CombinatorI

CombinatorI

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

詳細

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

例題

すべて開く すべて閉じる

例  (2)

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

Wolfram Language code: CombinatorIx //. {CombinatorSx_y_z_ :> xz(yz), CombinatorIx_ :> x}

結合論理の公理を使ってTemplateBox[{}, CombinatorI]恒等式を証明する：

Wolfram Language code: FindEquationalProof[CombinatorI == , "CombinatorAxioms"]

アプリケーション  (1)

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

Wolfram Language code: thm = CombinatorS(CombinatorK(CombinatorSCombinatorI))(CombinatorS(CombinatorKCombinatorK)CombinatorI) == ;
Wolfram Language code: proof = FindEquationalProof[thm, "CombinatorAxioms"]

特性と関係  (3)

TemplateBox[{}, CombinatorI]コンビネータは 項 に等しい：

Wolfram Language code: Function[x, x][]

TemplateBox[{}, CombinatorI]コンビネータは恒等関数に等しい：

Wolfram Language code: Identity[x]

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

Wolfram Language code: CombinatorSCombinatorKCombinatorK //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}

TemplateBox[{}, CombinatorI]についての式は一意的ではない：

Wolfram Language code: CombinatorSCombinatorKCombinatorS //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}
Wolfram Research (2020), CombinatorI, Wolfram言語関数， https://reference.wolfram.com/language/ref/CombinatorI.html.

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_combinatori, organization={Wolfram Research}, title={CombinatorI}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorI.html}, note=[Accessed: 13-September-2026]}