終代数とは
終代数の情報をYahoo!JAPANで検索
・ヒビルテ(2003-06)
最後に,プログラム変換へのひとつの応用を述べておこう.始代数 μX.F(X) と終代数 νX.F(X) の等しさの応用である.この2つが等しいと, ... 始代数と終代数 ... 要は、始代数と終代数の等しさを仮定するかわりに、 ...
・2003
終代数は等しいとしているので,得られた 2 つの関数を合成することができ,A B ... しかし、実際の関数型言語に関する論文の多くでは、始代数と終代数の等しさに関する説明はな ... 領域理論に興味を持った理由である「始代数と終代数が等しくなる条件」 ...
・非正格関数の融合変換における始代数の存在について
純粋関数型言語の最適化手法としてプログラムの代数的性質に基づいた推論と変 ... 終代数 )νF. が一致する場合、 catamorphism. と. して定義される関数 ... の難しさは,始代数=終代数という仮定が満たされにくいこと ...
・[haskell-jp:287] Re: 不動点としての再帰プログラム
始代数μX.F(X) と終代数νX.F(X) は等しい. * 正負両方の位置にパラメータを持つようなオペレータに対しても, 不動点が存在する. ( 長谷川立 「チュートリアル パラメトリック・ポリモルフィズム」 コンピュータ ...
・情報処理学会電子図書館-会誌「情報処理」
... 報告 (鳥脇 純一郎・杉原 厚吉・辻 三郎・福島 邦彦・外山 敬介) 講座. 抽象データタイプの代数的仕様記述法の基礎(4):終代数意味論に基づく抽象型構成子の仕様記述,実現ならびにその検証 (稲垣 康善・坂部 俊樹) その他 ...
終代数の情報をGoogleで検索
