始代数とは
始代数の情報をYahoo!JAPANで検索
・CiteULike: 非正格関数の融合変換における始代数の存在について
... 特に再帰的なデータ型を始代数とみなすことによって得られる融合変換のための手法が知られている。 ... 非正格な言語のデータ型に対応する始代数が存在する為の十分条件を示す。 これにより関数の正格性を条件とせずに、始代数 ...
・ヒビルテ(2004-07-31)
ただし、正格な連続関数だけに制限した部分圏の始代数にはなっている。 ... このとき、(X,φ) が始代数 (X,φ-1) が終余代数。 でも、これじゃ定理2よりHaskellのほとんどのデータ型は始代数と考えて問題なくなっちゃうじゃないか。 ...
・Microsoft PowerPoint - slideshare
始代数の性質を用いる変換. cata-Fusion (fold-Promotion) ... 始代数と終余代数が一致する場合 ... データ型が始代数になるための条件であり、 十分多くのデータ型に適用可能なものを探す. その ...
・2006-12-10 -
LFixとGFixが、始代数と、終余代数を与えるなら、LFix fからGFix fへの射を作る、自然で簡単な方法が存在する。 ... そして、F始代数(T,in)から(S,int)への、F代数としての射が一意的に存在する。 ...
・非正格関数に対して適用可能な融合変換 - SlideShare
... 分離直和(separated sum)の形になっている 任意の f, g に対して f+g は正格 任意の f に対して F(f) = id + id×f も正格 List A は F の始代数とみなせる 20 ...
始代数の情報をGoogleで検索
