「call/cc」を解説文に含む見出し語の検索結果(1～10/26件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/01 02:22 UTC 版)「継続」の記事における「call/cc」の解説Schemeの call-with-cur...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/15 09:28 UTC 版)「Scheme」の記事における「call-with-current-continuati...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/01 02:22 UTC 版)「継続」の記事における「限定継続」の解説計算の残り全体を扱う継続は、扱いづらいのみならず...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/09/28 06:08 UTC 版)「ジェネレータ (プログラミング)」の記事における「Scheme」の解説Schemeでは...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/24 15:49 UTC 版)「GNU Guile」の記事における「Scheme標準への遵守」の解説その歴史の多くの部...
ナビゲーションに移動検索に移動CEK機械[1]とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。CEKとは、機械の状態を構成する3つの要素である ...
ISWIM は、Peter J. Landin が考案し、1966年の Communications of the ACM 誌で発表した The Next 700 Programming Langua...
ナビゲーションに移動検索に移動ジェネレータは、プログラムにおいて、数列の各要素の値などを次々と生成（ジェネレート）し他の手続きに渡す、という機能を持っている手続きである。値を渡す方法としては、コールバ...
ナビゲーションに移動検索に移動ジェネレータは、プログラムにおいて、数列の各要素の値などを次々と生成（ジェネレート）し他の手続きに渡す、という機能を持っている手続きである。値を渡す方法としては、コールバ...
パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に採用した。この公理は、含...
< 前の結果 | 次の結果 >