不動点コンビネータとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 不動点コンビネータの意味・解説 

不動点コンビネータ

(Fixed-point combinator から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/12/27 00:35 UTC 版)

不動点コンビネータ(ふどうてんコンビネータ、: fixed point combinator不動点結合子、ふどうてんけつごうし)とは、与えられた関数不動点(のひとつ)を求める高階関数である。不動点演算子(ふどうてんえんざんし、: fixed-point operator)、パラドキシカル結合子: paradoxical combinator)などとも呼ばれる。ここで関数

グラフ簡約(en:Graph reductionを参照)による計算系では、不動点コンビネータへの適用(apply, application)は理論通り展開しても良いが、左の図のように循環のあるグラフに簡約するという一種の、のぞき穴的最適化が知られている。また、これはカリーのYコンビネータではないが(この図のように)便宜的にYという名前で呼ばれていることもある[7]

関数の自己参照による無名再帰

不動点コンビネータは識別子に束縛されていない関数が自分自身を呼び出す一般的な方法であるが、言語によっては特別な名前などで自分自身を呼び出すことができる。詳細は無名再帰を参照。

関連項目

脚注

  1. ^ This terminology appear to be largely folklore, but it does appear in the following:
    • Trey Nash, Accelerated C# 2008, Apress, 2007, ISBN 1590598733, p. 462--463. Derived substantially from Wes Dyer's blog (see next item).
    • Wes Dyer Anonymous Recursion in C#, February 02, 2007, contains a substantially similar example found in the book above, but accompanied by more discussion.
  2. ^ The If Works Deriving the Y combinator, January 10th, 2008
  3. ^ a b Goldberg, 2005
  4. ^ Haskell mailing list thread on How to define Y combinator in Haskell, 15 Sep 2006
  5. ^ The Y Combinator in Arc and Java - Javaコード
  6. ^ bind - Fixed point combinators in C++ - Stack Overflow - C++コード
  7. ^ たとえば、Turnerの"A New Implementation Technique for Applicative Languages"(doi:10.1002/spe.4380090105)の Figure. 3 と、その直前の説明を見よ。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「不動点コンビネータ」の関連用語

不動点コンビネータのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



不動点コンビネータのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの不動点コンビネータ (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS