終代数とは

終代数の情報を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で検索




終代数ウォッチ!:その他リンク集

下水道
国論
関節
成分
神経
抗体価
校門
序説
生徒
ジンクス

終代数のニュース
インプラント
インプラントに関する総合ポータルサイト。
矯正歯科
矯正歯科の総合検索サイト。
審美歯科
全国の審美歯科の医院検索。
エステ
エステの総合検索ポータルサイト。
美容整形
美容整形の医院検索サイト。
キャディバッグ
キャディバッグのメーカーを年代別・性別にランキング表示。
高級マンション
高級 マンションの人気ランキング。
大阪のインプラント
インプラント 大阪は大阪インプラントセンター。
ホワイトニング 大阪
ホワイトニング 大阪の総合サイトはホワイトニングネット。
copyright(c)終代数の情報サイト.com