始代数とは
始代数の情報をYahoo!JAPANで検索
・非正格関数の融合変換における始代数の存在について
換は重要な位置を占めており、特に再帰的なデータ型を始代数とみなすことによって ... よって、本論文では始代数の存在しない場合がある事をまず確認し、その場合の問題と ... 題が起こらないことを保証するための条件として、始代数が存在するための十分条件を提 ...
・別ウィンドウで開く
始代数の性質を用いる他の変換. short-cut deforestation ... 始代数と終余代数が一致する場合 ... 多項式関手であっても始代数が存在しないことがあることを示した。( 例: 恒等関手Id, 直積 ...
・Microsoft PowerPoint - slideshare
始代数の性質を用いる変換. cata-Fusion (fold-Promotion) ... 始代数と終余代数が一致する場合 ... データ型が始代数になるための条件であり、 十分多くのデータ型に適用可能なものを探す. その ...
・非正格関数に対して適用可能な融合変換
一方、プログラム変換の中にはデータ型が始代数であることを利用する ものが存在する。 ... 例えば、自然数は F X = 1 + X で定義される関手の、要素が A であるリストは LA X = 1 + A × X で定義される関手の始代数としてモデル化される。 ...
・CiteULike: 非正格関数の融合変換における始代数の存在について
... 特に再帰的なデータ型を始代数とみなすことによって得られる融合変換のための手法が知られている。 ... 非正格な言語のデータ型に対応する始代数が存在する為の十分条件を示す。 これにより関数の正格性を条件とせずに、始代数 ...
始代数の情報をGoogleで検索
