検索結果

* 関数型言語の [[高階関数#fold|fold]] 相当：jax.lax.fori_loop<ref>{{Cite web |title=jax.lax.fori_loop — * 関数型言語の [[高階関数#unfold|unfold]] 相当：jax.lax.while_loop<ref>{{Cite web |title=jax.lax.while_l …

…binator}}、'''不動点結合子'''、ふどうてんけつごうし）とは、与えられた[[サブルーチン|関数]]の[[不動点]]（のひとつ）を求める[[高階関数]]である。'''不動点演算子'''（ふどうてんえんざんし、{{lang-en-short|fixed-point operator}}）、'''パラド …

第一級関数は[[関数型言語]]には必要不可欠であり、[[高階関数]]のような形で日常的に用いられる。例として、関数とリストを引数に取り、リストの各要素に関数を適用した結果のリストを返すmap (mapcar) 関数が …

[[関数型プログラミング言語]]の観点では、累積和は加算に限らず任意の二項演算子へと一般化できる。この一般化によって得られる[[高階関数]]はscanと呼ばれ、foldと密接に関連している。scanとfoldはどちらも与えられた二項演算子を同じ数列に適用するが、両者には違いがある。sca [[Category:高階関数]] …

[[Category:高階関数]] …

…の[[リスト (抽象データ型)|リスト]]から新たなリストを作成するために用いられるものである。 これは、 [[高階関数#map|map関数]]や[[高階関数#filter|filter関数]]などとは異なり、数学における集合内包表記 (en:[[:en:Set-builder_notation|Set-bu …依存関係にある（すなわち、ネストされる）が、パイプ文字で区切られた修飾子は並列に評価される（マルチスレッドで動作するという意味でなく、単に修飾子が[[高階関数#zip|zip]]されるという意味である）。 <syntaxhighlight lang="haskell"> …

[[Category:高階関数]] …

* [[高階関数]] …

…phen Cole Kleene]]によって1930年代に考案された。Quantum lambda calculiの目的は量子プログラミング言語を[[高階関数]]の理論で拡張することである。 …

…は ''f'' という関数をもらってそれを ''n'' 回適用したものを返す関数である。つまり、チャーチ数は1引数関数を受け取り、1引数関数を返す[[高階関数]]である。（チャーチの提唱した元々のラムダ計算は、ラムダ式の引数が少なくとも一回は関数の本体に出現していなくてはならないことになっていた。そのため、そ …ブジェクト]]を用いて同じことが実現できる。このような機能はサブ関数が明示的に書かれている場合にのみ用いることができ、したがってこの機能がそのまま[[高階関数]]をサポートしていることにはならない。いくつかの手続的な[[オブジェクト指向プログラミング|オブジェクト指向言語]]では関数を任意の階数に書くことがで …

…数計算|函数として定義]]された[[作用素 (関数解析学)|作用素]]である。ひとまずは表記法の問題として、微分演算を（[[計算機科学]]における[[高階関数|高階函数]]と同じ仕方で）入力函数に別の函数を返す抽象的な演算と考えるのが有効である。 …

{{lang|en|Haskell}} は[[高階関数]]や[[静的型付け|静的]][[ポリモーフィズム|多相型付け]]、[[定義]]可能な[[演算子 (コンピュータ言語)|演算子]]、例外処理といった多く {{lang|en|Haskell}} は[[第一級関数]]をサポートしており、[[高階関数]]を定義することができる。つまり、関数の引数として関数を与えたり、返り値として関数を返すことができる。無名関数は <code>\</code> (バッ …

{{see also|高階関数}} …

…}}は[[計算機科学]]にて、[[木構造 (データ構造)|木構造]]、[[ガベージコレクション]]、[[動的型付け]]、[[if文|条件分岐]]、[[高階関数]]、[[再帰]]、[[セルフホスティング]]、[[コンパイラ]]を含む多くのアイディアを切り開いた<ref>{{Cite web|和書|title=技 …

コンビネータ論理は、コンビネータまたは引数のみからなる関数適用によって結果が定義されている[[高階関数]]、'''コンビネータ'''に基づいている。 …