comonad-グラビアアイドル実用的情報 ブックマークに追加する

comonadはたしかに美人だ 僕のヒップにしゃがんで「うちに来ない」と誘った
comonadはタフかと聞くんだ 濡れたリップがしぼんだ 僕はちょっぴり笑った

Amazonでの検索結果

(Amazonの検索結果はありませんでした)


Powerd by AmazonWebService

comonad-Yahoo!ウェブ検索

ヒビルテ(2008-08-15)

The Comonad.Reader " Kan Extensions. 活動記録/20080529 - ocaml-nagoya ... Haskellを使って説明すると、登場するのがHaskellの型と関数からなる圏だけで、 ...
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080815

Triple, Monad, Cotriple, Comonad

Monad (triple) という概念がある。 ... その双対として comonad (cotriple) もある。 ... Comonad や monad は functorial な "resolution" の構成に使われることが多い。 ...
http://pantodon.shinshu-u.ac.jp/topology/literature/monad.html

ヒビルテ(2006-10-31)

Haskellでは以下のような product comonad を考えることがある。 ... duplicate duplicate = extend id instance Comonad ((,) a) where extract (c,x) ...
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20061031

渡邊 宏 の論文リスト

... Distributivity for a monad and a comonad, ... Watanabe, Combining a monad and a comonad , ETL Technical Report TR-99 ...
http://staff.aist.go.jp/hiroshi-watanabe/publication/Jhirowata.html

圏と関手の基本

Adjoint functor の対があると、 triple (monad) や cotriple (comonad) と呼ばれるも のが自然に得られる。 ... triple (monad) や cotriple (comonad) など ...
http://pantodon.shinshu-u.ac.jp/topology/literature/category.html

comonad-Googleブログ検索

愛・おぼえてますか

このような入力あるいは出力の相互的な連鎖をI/Oと呼ぶわけだが、コンピュータ同様に抽象的な立場からこれを観察することになれば、すなわちMonadとComonadの分配則がこれを表現している。 Distributivity for a Monad and a Comonad ...
http://ratiwo.blogspot.com/2008/06/blog-post_03.html

cpo圏で始代数が存在しないための条件

class functor w => comonad w where extract :: wa -> a duplicate :: wa -> w (wa) extend :: (wa -> b) -> (wa -> wb) extend f = fmap f . duplicate duplicate = extend id instance comonad ((,) a) where extract (c,x) = x duplicate (c,x) = (c ...
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20061031#p01

comonad-２ちゃんねる検索

posts - -
http:///test/read.cgi//

comonad-OKwave&Yahoo!知恵袋

comonad:その他の記事

連想コンテンツ

その他のカテゴリー