「CEK機械」を解説文に含む見出し語の検索結果(1~5/5件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/27 16:50 UTC 版)「CEK機械」の記事における「Defunctionalizationとの関係」の解説CE...
ナビゲーションに移動検索に移動CEK機械[1]とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。CEKとは、機械の状態を構成する3つの要素である ...
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれる...
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれる...
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれる...
< 前の結果 | 次の結果 >