終代数とは
終代数の情報をYahoo!JAPANで検索
・ヒビルテ(2003-06)
最後に,プログラム変換へのひとつの応用を述べておこう.始代数 μX.F(X) と終代数 νX.F(X) の等しさの応用である.この2つが等しいと, ... 始代数と終代数 ... 要は、始代数と終代数の等しさを仮定するかわりに、 ...
・非正格関数の融合変換における始代数の存在について
純粋関数型言語の最適化手法としてプログラムの代数的性質に基づいた推論と変 ... 終代数 )νF. が一致する場合、 catamorphism. と. して定義される関数 ... の難しさは,始代数=終代数という仮定が満たされにくいこと ...
・KAKEN - 赤間 陽二(30272454)
終代数. 計算代数. monotone modified 実現可能性解釈. WKL_0. 環境計算. 計算論的学習. データマイニング. 外延性. 形式算術. Markov principle. プログラム抽出. 極限計算. 切断射影集合. ラムダ計算 ...
・[haskell-jp:289] Re: 不動点としての再帰プログラム
始代数μX.F(X) と終代数νX.F(X) は等しい. > * 正負両方の位置にパラメータを持つようなオペレータに対しても, > 不動点が存在する. ふむー、何か色々あるんだなー。 -- ML: haskell-jp / quickml.com 使い方: ...
・[haskell-jp:287] Re: 不動点としての再帰プログラム
始代数μX.F(X) と終代数νX.F(X) は等しい. * 正負両方の位置にパラメータを持つようなオペレータに対しても, 不動点が存在する. ( 長谷川立 「チュートリアル パラメトリック・ポリモルフィズム」 コンピュータ ...
終代数の情報をGoogleで検索
・
