検索キー. 年度=2003. 発表者名, 所属部署名=システム検証研究. 研究成果の種類=誌上発表, 著書 ... action algebras and action lattices are related by adjunctions ...
http://www.aist.go.jp/RRPDB/system/Koukai.List?Person=%83V%83X%83e%83%80%8C%9F%8F%D8%8C%A4%8B%86&Nendo=2003&Shuruiitem2=1,3
adjunctionsはたしかに美人だ 僕のヒップにしゃがんで「うちに来ない」と誘った
adjunctionsはタフかと聞くんだ 濡れたリップがしぼんだ 僕はちょっぴり笑った
Amazonでの検索結果
(Amazonの検索結果はありませんでした)
Powerd by AmazonWebService
adjunctions-Yahoo!ウェブ検索
研究成果発表データベース [検索画面]
AIST:Research Center for ...
The Categories of Kleene Algebras, Action Algebras and Action Lattices are Related by Adjunctions. Jun. 2003. PS03-005 ...
http://unit.aist.go.jp/cvs/English/TR-en/03tr-en.html
http://unit.aist.go.jp/cvs/English/TR-en/03tr-en.html
SAKAI Masahiro - CPL
CPL is a functional programming language based on category theory. Data types are declared in a categorical manner by adjunctions. ...
http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?CPL
http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?CPL
産総研:システム検証研究センター:テクニカルレポート
The Categories of Kleene Algebras, Action Algebras and Action Lattices are Related by Adjunctions. 2003年6月. PS03-005 ...
http://unit.aist.go.jp/cvs/TR/03tr.html
http://unit.aist.go.jp/cvs/TR/03tr.html
publication
I. Thermal situations, unbroken symmetries and criteria as classifying categorical adjunctions. 2002. 1360. Ojima, I. ...
http://www.math.kyoto-u.ac.jp/library/backnumber/2002.7.30-2.html
http://www.math.kyoto-u.ac.jp/library/backnumber/2002.7.30-2.html
adjunctions-Googleブログ検索
(f,g)/临接/となり/neighbour
then, every adjunction gives rise to a monad and every monad determines adjunctions. for example, eilenberg-moore category $\mathbb{c}^t$ has $(x,h:tx\to x)$ as objects and $id_x$ as id arrows, which is final; kleisli category ...
http://x09901145.spaces.live.com/Blog/cns!CF6C406AE9794BCB!191.entry
http://x09901145.spaces.live.com/Blog/cns!CF6C406AE9794BCB!191.entry
adjunctions-２ちゃんねる検索
posts - -
http:///test/read.cgi//
http:///test/read.cgi//
