「代数的データ型」を解説文に含む見出し語の検索結果(11~20/323件中)
PureScriptPureScriptのロゴパラダイム関数型プログラミング、純粋関数型言語 登場時期.mw-parser-output .plainlist--only-child>ol,...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「計算機科学での利用」の解説リストや木構造など、プログラミングで...
ISWIM は、Peter J. Landin が考案し、1966年の Communications of the ACM 誌で発表した The Next 700 Programming Langua...
ナビゲーションに移動検索に移動 文字列suffixに対する非決定性接尾辞オートマトン。ε遷移はグレーで表している。接尾辞オートマトン(せつびじオートマトン、英: suffix automato...
ナビゲーションに移動検索に移動 文字列suffixに対する非決定性接尾辞オートマトン。ε遷移はグレーで表している。接尾辞オートマトン(せつびじオートマトン、英: suffix automato...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/08/04 02:47 UTC 版)「Glasgow Haskell Compiler」の記事における「型システムの拡張」の...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...