[B! åœ] yuisekiã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

yuiseki id:yuiseki

åœã«é–¢ã™ã‚‹yuisekiã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (49)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

Object-Funcational Analysis and design
2. â¾ƒè‡ªâ¼°å·±ç´¹ä»‹ â€¢â€¯ â½‡æ—¥æœ¬Javaãƒ¦ãƒ¼ã‚¶ã‚°ãƒ«ãƒ¼ãƒ—ã€‚ â€¢â€¯ ä»£è¡¨ä½œ â€¢â€¯ XML SmartDoc (XMLâ½‚æ–‡æ›¸å‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ) â€¢â€¯ Relaxer (XML/Javaã‚¹ã‚ãƒ¼ãƒžã‚³ãƒ³ãƒ‘ã‚¤ãƒ©) â€¢â€¯ é–‹ç™ºä¸ â€¢â€¯ SimpleModeler (Scala DSLãƒ¢ãƒ‡ãƒ«ã‚³ãƒ³ãƒ‘ã‚¤ãƒ©) â€¢â€¯ SmartDox (â½‚æ–‡æ›¸å‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ) â€¢â€¯ g3 (ã‚µãƒ¼ãƒ“ã‚¹ãƒžãƒƒã‚·ãƒ¥ã‚¢ãƒƒãƒ—ãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯) â€¢â€¯ g4 (Androidã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯) â€¢â€¯ è¿‘è‘— â€¢â€¯ ã€Œä¸Šæµâ¼¯å·¥ç¨‹UMLãƒ¢ãƒ‡ãƒªãƒ³ã‚°ã€(â½‡æ—¥çµŒBP) â€¢â€¯ ã€Œãƒžã‚¤ãƒ³ãƒ‰ãƒžãƒƒãƒ—ã§ã¯ã˜ã‚ã‚‹ãƒ¢ãƒ‡ãƒªãƒ³ã‚°è¬›åº§ã€(ç¿”æ³³ç¤¾) â€¢â€¯ ã€Œãƒœã‚¯ã‚‰ã®Scalaã€(Softbank Creative) 4. é–¢é€£ã‚µã‚¤ãƒˆ â€¢â€¯ Modegramming Style (ãƒ†ã‚ã‚¹ãƒˆDSLé§†å‹•é–‹ç™ºã‚’ ãƒ†ãƒ¼ãƒžã«ã—ãŸãƒ–ãƒã‚°) â€¢â€¯ http://modegramming.b
yuiseki 2013/02/17
æ•°å¦

åœè«–

åœ

ä»£æ•°çš„æ§‹é€
ãƒªãƒ³ã‚¯
Object-Functional Analysis and Design : æ¬¡ä¸–ä»£ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ã¸ã®é“æ¨™
2. â¾ƒè‡ªâ¼°å·±ç´¹ä»‹ â€¢â€¯ (æ ª)åŒ BusinessPlaceã€‚â½‡æ—¥æœ¬Javaãƒ¦ãƒ¼ã‚¶ã‚°ãƒ«ãƒ¼ãƒ—å‰¯ä¼šâ»‘â¾§é•·ã€‚ edge2.ccä¸»å®°ã€‚ â€¢â€¯ ä»£è¡¨ä½œ â€¢â€¯ XML SmartDoc (XMLâ½‚æ–‡æ›¸å‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ) â€¢â€¯ Relaxer (XML/Javaã‚¹ã‚ãƒ¼ãƒžã‚³ãƒ³ãƒ‘ã‚¤ãƒ©) â€¢â€¯ é–‹ç™ºä¸ â€¢â€¯ SimpleModeler (Scala DSLãƒ¢ãƒ‡ãƒ«ã‚³ãƒ³ãƒ‘ã‚¤ãƒ©) â€¢â€¯ SmartDox (â½‚æ–‡æ›¸å‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ) â€¢â€¯ g3 (ã‚µãƒ¼ãƒ“ã‚¹ãƒžãƒƒã‚·ãƒ¥ã‚¢ãƒƒãƒ—ãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯) â€¢â€¯ g4 (Androidã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯) â€¢â€¯ è¿‘è‘— â€¢â€¯ ã€Œä¸Šæµâ¼¯å·¥ç¨‹UMLãƒ¢ãƒ‡ãƒªãƒ³ã‚°ã€(â½‡æ—¥çµŒBP) â€¢â€¯ ã€Œãƒžã‚¤ãƒ³ãƒ‰ãƒžãƒƒãƒ—ã§ã¯ã˜ã‚ã‚‹ãƒ¢ãƒ‡ãƒªãƒ³ã‚°è¬›åº§ã€(ç¿”æ³³ç¤¾) â€¢â€¯ ã€Œãƒœã‚¯ã‚‰ã®Scalaã€(Softbank Creative)
yuiseki 2013/02/17
æ•°å¦

åœè«–

åœ

ä»£æ•°çš„æ§‹é€
ãƒªãƒ³ã‚¯
Commutative, Associative and Distributive Laws
Commutative, Associative and Distributive Laws Wow! What a mouthful of words! But the ideas are simple. Commutative Laws The "Commutative Laws" say we can swap numbers over and still get the same answer ... ... when we add:
yuiseki 2013/02/17
æ•°å¦

åœè«–

åœ

ä»£æ•°çš„æ§‹é€
ãƒªãƒ³ã‚¯
ä»£æ•°çš„æ§‹é€ ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³
è¦æ±‚é–‹ç™ºã‚¢ãƒ©ã‚¤ã‚¢ãƒ³ã‚¹ã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã€ŽObject-Functional Analysis and Design: æ¬¡ä¸–ä»£ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ã¸ã®é“æ¨™ã€ã§ä½¿ç”¨ã™ã‚‹ã‚¹ãƒ©ã‚¤ãƒ‰ã®èƒŒæ™¯èª¬æ˜Žç¬¬3å¼¾ã§ã™ã€‚ ã€Œä»£æ•°æ§‹é€ çš„ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã€ã¨ã—ã¦ç”¨æ„ã—ãŸä»¥ä¸‹ã®å›³ã‚’èª¬æ˜Žã—ã¾ã™ã€‚ é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ã€æ•°å¦ç”±æ¥ã®æ‰‹æ³•ã‚’é§†ä½¿ã—ã¦ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã—ã¦ã„ãã¾ã™ã€‚ã“ã®ãŸã‚å…ƒã«ãªã£ãŸæ•°å¦ç†è«–ã«å¯¾ã™ã‚‹æœ¬è³ªçš„ãªç†è§£ã¯é‡è¦ã§ã¯ã‚ã‚‹ã®ã§ã™ãŒã€æ•°å¦ç†è«–ä¸Šã§ã¯é‡è¦ã§ã¯ã‚ã‚‹ã‚‚ã®ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çš„ã«ã¯ã»ã¨ã‚“ã©ä½¿ã‚ã‚Œãªã„æ¦‚å¿µã‚„ã€æ•°å¦ç†è«–ä¸Šã§ã¯æžè‘‰ã®è°è«–ãŒãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çš„ã«ã¯é‡è¦ã¨ã„ã†ã“ã¨ã‚‚ã‚ã‚Šãã†ã§ã™ã€‚ãã†ã„ã†æ„å‘³ã§ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãŸã‚ã«å…ƒã«ãªã‚‹æ•°å¦ç†è«–ã‚’å¦ã¶ã®ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã®ç¿’å¾—ã¨ã„ã†æ„å‘³ã§ã¯é å›žã‚Šã§ã™ã€‚ ãã“ã§ã€ã“ã†ã„ã£ãŸæ•°å¦ç”±æ¥ã®æ‰‹æ³•ã‚’ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ãƒ—ãƒã‚°ãƒ©ãƒžã«é¦´æŸ“ã¿ã®æ·±ã„ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã¨ã—ã¦æ•´å‚™ã—ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒŸ
yuiseki 2013/02/17
æ•°å¦

åœè«–

åœ

ä»£æ•°çš„æ§‹é€
ãƒªãƒ³ã‚¯
ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆãƒ»ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ã®ãƒœãƒˆãƒ«ãƒãƒƒã‚¯
è¦æ±‚é–‹ç™ºã‚¢ãƒ©ã‚¤ã‚¢ãƒ³ã‚¹ã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã€ŽObject-Functional Analysis and Design: æ¬¡ä¸–ä»£ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ã¸ã®é“æ¨™ã€ã§ä½¿ç”¨ã™ã‚‹ã‚¹ãƒ©ã‚¤ãƒ‰ã®èƒŒæ™¯èª¬æ˜Žç¬¬2å¼¾ã§ã™ã€‚ ã€Œã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆãƒ¢ãƒ‡ãƒªãƒ³ã‚°ã€ã¨ã—ã¦ç”¨æ„ã—ãŸä»¥ä¸‹ã®å›³ã‚’èª¬æ˜Žã—ã¾ã™ã€‚ ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆãƒ»ãƒ¢ãƒ‡ãƒ«ã®æ§‹æˆã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘åˆ†æž/è¨è¨ˆã§ã¯ã‚·ã‚¹ãƒ†ãƒ ã‚’è‰²ã€…ãªè¦³ç‚¹ã®ãƒ¢ãƒ‡ãƒ«ã‚’çµ„ã¿åˆã‚ã›ã¦è¨˜è¿°ã—ã¾ã™ã€‚ ã“ã“ã§ã¯ã€é™çš„æ§‹é€ ãƒ¢ãƒ‡ãƒ«ã€çŠ¶æ…‹æ©Ÿæ¢°ãƒ¢ãƒ‡ãƒ«ã€å”èª¿ãƒ¢ãƒ‡ãƒ«ã®3ç¨®é¡žã®ãƒ¢ãƒ‡ãƒ«ã«ã‚ˆã‚‹è»¸ã«ã¤ã„ã¦è€ƒãˆã¾ã™ã€‚(ã“ã‚Œã¨ã¯åˆ¥ã®è»¸ã§ã€ãƒ‰ãƒ¡ã‚¤ãƒ³ãƒ»ãƒ¢ãƒ‡ãƒ«ï¼ã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ãƒ»ãƒ¢ãƒ‡ãƒ«ã®è»¸ã€è«–ç†ãƒ¢ãƒ‡ãƒ«ï¼ç‰©ç†ãƒ¢ãƒ‡ãƒ«ã®è»¸ã€ã‚‚ã‚ã‚Šã¾ã™ã€‚) é™çš„æ§‹é€ ãƒ¢ãƒ‡ãƒ«ã¯ã€ãƒ¢ãƒ‡ãƒ«ã®é™çš„æ§‹é€ ã‚’ã‚¯ãƒ©ã‚¹å›³ã‚„ã‚³ãƒ³ãƒãƒ¼ãƒãƒ³ãƒˆå›³ãªã©ã‚’ç”¨ã„ã¦è¨˜è¿°ã—ã¾ã™ã€‚ãƒ‰ãƒ¡ã‚¤ãƒ³ãƒ»ãƒ¢ãƒ‡ãƒ«ã‚„é…å‚™ãƒ¢ãƒ‡ãƒ«ã®ä¸æ ¸ãƒ¢ãƒ‡ãƒ«ã¨ã—ã¦ç”¨ã„ã‚‰ã‚Œã¾ã™ã€‚ çŠ¶æ…‹æ©Ÿæ¢°ãƒ¢ãƒ‡ãƒ«ã¯ã€ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆã®çŠ¶æ…‹é·ç§»ãƒ¢ãƒ‡ãƒ«ã‚’çŠ¶æ…‹æ©Ÿæ¢°å›³ã‚„çŠ¶æ…‹é·ç§»è¡¨ã§è¨˜è¿°ã—ã¾
yuiseki 2013/02/17
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Introduction to Category Theory in Scala
If you are a former Java developer and have become a Scala fanboy like me, you will probably sooner or later encounter terms like monad, functor or other mysteries from the realm of category theory which make you feel like a little dummkopf (screamingly funny for a German like me, according to www.dict.cc this seems to be a proper English verb).Â If you already feel comforta ble with these, donâ€™t wa
yuiseki 2013/02/17
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Home
ã“ã‚Œã¯ã€Typesafe ç¤¾ã® Director Professional Services ã§ã‚ã‚‹ Heiko Seeberger æ°ã«ã‚ˆã‚‹ã€ŒIntroduction to Category Theory in Scalaã€ã®ç¿»è¨³æ–‡ã§ã™ã€‚èª¤è¨³ã€èª¤è¨˜ãªã©ãŒã‚ã‚Šã¾ã—ãŸã‚‰ã€ æ—¥æœ¬Scalaãƒ¦ãƒ¼ã‚¶ãƒ¼ã‚ºã‚°ãƒ«ãƒ¼ãƒ—ã®ã€Œåœè«–å…¥é–€ã€€ãƒ¬ãƒ“ãƒ¥ãƒ¼ã®ãŠé¡˜ã„ã€ãƒˆãƒ”ãƒƒã‚¯ã«æŠ•ç¨¿ã—ã¦ã„ãŸã ãã‹ã€@quassia88 ã«ã”é€£çµ¡ãã ã•ã„ã€‚ ã‚‚ã—å›ãŒåƒ•ã¿ãŸã„ã«ã€ä»¥å‰ã¯Javaãƒ‡ã‚£ãƒ™ãƒãƒƒãƒ‘ãƒ¼ã§ã€Scalaã®ãƒ•ã‚¡ãƒ³ã«ãªã£ãŸã°ã‹ã‚Šãªã‚‰ã€å›ã¯å¤šåˆ†é…ã‹ã‚Œæ—©ã‹ã‚Œã€ãƒ¢ãƒŠãƒ‰ã‚„ã‚‰é–¢æ‰‹ã‚„ã‚‰ã®ã€åœè«–ã®åˆ†é‡Žã‹ã‚‰ã‚„ã£ã¦ããŸè¬Žã«éé‡ã™ã‚‹ã ã‚ã†ã€‚ãã†ã„ã£ãŸæœªçŸ¥ã®æ¦‚å¿µã¯ã€å›ã‚’ã€è‡ªåˆ†ãŒæã‚ã—ãã¾ã¬ã‘ãªã‚“ã˜ã‚ƒãªã„ã‹ã€ã¨ã„ã†æ°—åˆ†ã«ã•ã›ã‚‹ã“ã¨ã ã¨æ€ã†ã€‚ã‚‚ã—å›ãŒãã†ã„ã†æ¦‚å¿µã«æ—¢ã«è¦ªã—ã‚“ã§ã„ã‚‹ãªã‚‰ã€æ™‚é–“ã‚’ç„¡é§„ã«ã™ã‚‹ã“ã¨ã¯ãªã„ã€ã™ãã«ã“ã®ãƒšãƒ¼ã‚¸ã‚’é–‰ã˜ã¦ã»ã—ã„ã€‚ã‚‚ã—ãã†ã§ãª
yuiseki 2013/02/17
scala

åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Amazon.co.jp: Category Theory (Oxford Logic Guides): Awodey, Steve: æœ¬
yuiseki 2013/02/17
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Category theory - Wikipedia
Schematic representation of a category with objects X, Y, Z and morphisms f, g, g âˆ˜ f. (The category's three identity morphisms 1X, 1Y and 1Z, if explicitly represented, would appear as three arrows, from the letters X, Y, and Z to themselves, respectively.) Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac La
yuiseki 2013/02/17
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Functor - Wikipedia
This article is about the mathematical concept. For other uses, see Functor (disambiguation). "Functoriality" redirects here. For the Langlands functoriality conjecture in number theory, see Langlands program Â§Â Functoriality. In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such a
yuiseki 2013/02/17
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Natural transformation - Wikipedia
"Natural operation" redirects here. For the natural sum and natural product on ordinals, see Ordinal arithmetic Â§Â Natural operations. This article is about natural transf ormations in category theory. For the natural competence of bacteria to take up foreign DNA, see Genetic transf ormation. For other uses, see Transf ormation (mathematics) (disambiguation). In category theory, a branch of mathematic
yuiseki 2013/02/17
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
å¯æ„›ã„åœ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
å¯¾è±¡ã®é›†ã¾ã‚Šã€å°„ã®é›†ã¾ã‚ŠãŒé›†åˆã¨ãªã‚‹ã‚ˆã†ãªåœã¯å°ã•ã„åœï¼ˆsmall categoryï¼‰ã¨å‘¼ã³ã¾ã™ã€‚ã“ã“ã§ã¯ã€å°ã•ãªåœã®ãªã‹ã§ã‚‚ç‰¹ã«ã€å¯¾è±¡é›†åˆã‚„å°„é›†åˆãŒèº«è¿‘ãªãƒ¢ãƒŽã§ã‚ã‚‹ã‚ˆã†ãªåœã‚’å¯æ„›ã„åœã¨ã—ã¦ç´¹ä»‹ã—ã¾ã™ã€‚ å†…å®¹ï¼š ã‚„ã›ãŸåœ ç›´ç©ã€ç›´å’Œã€å§‹å¯¾è±¡ã€çµ‚å¯¾è±¡ ãƒ¢ãƒŽã‚¤ãƒ‰ç©ã¨ãƒ¢ãƒŽã‚¤ãƒ‰é–‰æ§‹é€ ã‚‚ã†ã²ã¨ã¤ã®ãƒ¢ãƒŽã‚¤ãƒ‰é–‰åœ å¯æ„›ã„è±Šé¥’åœ ã‚„ã›ãŸåœ CãŒåœã ã¨ã—ã¦ã€æ¬¡ã®æ¡ä»¶ã‚’æº€ãŸã™ã¨ãã‚„ã›ãŸåœï¼ˆthin categoryï¼‰ã¨ã„ã„ã¾ã™ã€‚ ä»»æ„ã®å¯¾è±¡A, Bã«å¯¾ã—ã¦ã€ãƒ›ãƒ ã‚»ãƒƒãƒˆC(A, B) ãŒç©ºé›†åˆã‹å˜å…ƒé›†åˆã€‚ CãŒã‚„ã›ãŸåœã®ã¨ãã€é–¢ä¿‚ A â‰¦ B ã‚’æ¬¡ã®ã‚ˆã†ã«å®šç¾©ã—ã¾ã™ã€‚ A â‰¦ B â‡” C(A, B) ãŒç©ºã§ã¯ãªã„ Cã¯ã‚„ã›ã¦ã„ã‚‹ã®ã§ã€ã€Œç©ºã§ã¯ãªã„ã€ã¯ã€Œå˜å…ƒé›†åˆã§ã‚ã‚‹ã€ã§ã‚‚åŒã˜ã§ã™ã€‚æ¬¡ã®ã“ã¨ã¯ã™ãã«ã‚ã‹ã‚Šã¾ã™ã€‚ ä»»æ„ã®å¯¾è±¡Aã«ã¤ã„ã¦ã€A â‰¦ A ä»»æ„ã®å¯¾è±¡A, B, Cã«ã¤ã„ã¦ã€A â‰¦ B ã‹ã¤ B â‰¦ C ãª
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
ç¬¬ä¸€ç´šé–¢æ•° - Wikipedia
ã“ã®è¨˜äº‹ã¯æ¤œè¨¼å¯èƒ½ãªå‚è€ƒæ–‡çŒ®ã‚„å‡ºå…¸ãŒå…¨ãç¤ºã•ã‚Œã¦ã„ãªã„ã‹ã€ä¸ååˆ†ã§ã™ã€‚ å‡ºå…¸ã‚’è¿½åŠ ã—ã¦è¨˜äº‹ã®ä¿¡é ¼æ€§å‘ä¸Šã«ã”å”åŠ›ãã ã•ã„ã€‚ï¼ˆã“ã®ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆã®ä½¿ã„æ–¹ï¼‰ å‡ºå…¸æ¤œç´¢?:Â "ç¬¬ä¸€ç´šé–¢æ•°"Â â€“Â ãƒ‹ãƒ¥ãƒ¼ã‚¹Â Â· æ›¸ç±Â Â· ã‚¹ã‚«ãƒ©ãƒ¼Â Â· CiNiiÂ Â· J-STAGEÂ Â· NDLÂ Â· dlib.jpÂ Â· ã‚¸ãƒ£ãƒ‘ãƒ³ã‚µãƒ¼ãƒÂ Â· TWL (2023å¹´11æœˆ) è¨ˆç®—æ©Ÿç§‘å¦ã«ãŠã„ã¦ã€ç¬¬ä¸€ç´šé–¢æ•°ï¼ˆã ã„ã„ã£ãã‚…ã†ã‹ã‚“ã™ã†ã€è‹±: first-class functionã€ãƒ•ã‚¡ãƒ¼ã‚¹ãƒˆã‚¯ãƒ©ã‚¹ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³ï¼‰[1]ã¨ã¯ã€é–¢æ•°ã‚’ç¬¬ä¸€ç´šã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆã¨ã—ã¦æ‰±ã†ã“ã¨ã®ã§ãã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®æ€§è³ªã€ã¾ãŸã¯ãã®ã‚ˆã†ãªé–¢æ•°ã®ã“ã¨ã§ã‚ã‚‹ã€‚ãã®å ´åˆãã®é–¢æ•°ã¯ã€åž‹ã®ã‚ã‚‹è¨€èªžã§ã¯ function typeï¼ˆen:Function typeï¼‰ãªã©ã¨å‘¼ã°ã‚Œã‚‹åž‹ã‚’æŒã¡ã€ã¾ãŸãã®å€¤ã¯é–¢æ•°ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆãªã©ã«ãªã‚‹ã€‚å…·ä½“çš„ã«ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®å®Ÿè¡Œæ™‚ã«ç”Ÿæˆã•ã‚Œã€ãƒ‡
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
Cartesian Closed Category
Cartesian Closed Categoryã‚’è©³ç´°ã‚’é£›ã°ã—ã¦èª¬æ˜Žã—ã¦ã¿ãŸã‚¹ãƒ©ã‚¤ãƒ‰ã€‚ å‚è€ƒã«ã—ãŸæœ¬ã¯B.C.Pierceã®Basic Category Theory for Computer Scientistsã€‚ ãŸã ã—ã€CCCã«é–¢ã‚ã‚‹éƒ¨åˆ†ä»¥å¤–å…¨ã¦é£›ã°ã—ã¦ã„ã‚‹ã€‚Read less
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦

ã‚«ãƒ«ãƒ†ã‚·ã‚¢ãƒ³é–‰åœ

ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœ
ãƒªãƒ³ã‚¯
ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœ - Wikipedia
åœè«–ã«ãŠã„ã¦ã€åœãŒãƒ‡ã‚«ãƒ«ãƒˆé–‰ï¼ˆãƒ‡ã‚«ãƒ«ãƒˆã¸ã„ã€è‹±èªž: cartesian closedï¼‰ã§ã‚ã‚‹ã¨ã¯ã€å¤§é›‘æŠŠã«è¨€ãˆã°ä»»æ„ã®äºŒã¤ã®å¯¾è±¡ã®ç›´ç©ä¸Šã§å®šç¾©ã•ã‚Œã‚‹å°„ãŒç›´ç©å› åã®ä¸€æ–¹ã§å®šç¾©ã•ã‚Œã‚‹å°„ã¨è‡ªç„¶ã«åŒä¸€è¦–ã§ãã‚‹ã“ã¨ã§ã‚ã‚‹ã€‚ãƒ‡ã‚«ãƒ«ãƒˆé–‰ãªåœã¯ãƒ©ãƒ ãƒ€è¨ˆç®—ã®è‡ªç„¶ãªè¨å®šãŒã§ãã‚‹ã¨ã„ã†ç‚¹ã§æ•°ç†è«–ç†å¦ãŠã‚ˆã³ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç†è«–ã«ãŠã„ã¦ç‰¹ã«é‡è¦ã§ã‚ã‚‹ã€‚ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœã®æ¦‚å¿µã¯ãƒ¢ãƒŽã‚¤ãƒ‰åœã«ä¸€èˆ¬åŒ–ã•ã‚Œã‚‹ï¼ˆãƒ¢ãƒŽã‚¤ãƒ‰é–‰åœã‚’å‚ç…§ï¼‰ã€‚ åœ C ãŒãƒ‡ã‚«ãƒ«ãƒˆé–‰ã§ã‚ã‚‹ã¨ã¯ã€ä»¥ä¸‹ã®ä¸‰æ¡ä»¶ C ã¯çµ‚å¯¾è±¡ã‚’æŒã¤ã€‚ C ã®ä»»æ„ã®äºŒå¯¾è±¡ X, Y ã«å¯¾ã—ã€C ã¯ãã‚Œã‚‰ã®ç›´ç© X Ã— Y ã‚’å¯¾è±¡ã«æŒã¤ã€‚ C ã®ä»»æ„ã®äºŒå¯¾è±¡ Y, Z ã«å¯¾ã—ã€C ã¯ãã‚Œã‚‰ã®å†ªå¯¾è±¡ ZY ã‚’å¯¾è±¡ã«æŒã¤ã€‚ ãŒå…¨ã¦æº€ãŸã•ã‚Œã‚‹ã“ã¨ã‚’ã„ã†ã€‚ä¸ŠãµãŸã¤ã®æ¡ä»¶ã¯ã€çµ„ã¿åˆã‚ã›ã¦ã€ŒC ã®å¯¾è±¡ã‹ã‚‰ãªã‚‹ä»»æ„ã®æœ‰é™æ—ï¼ˆç©ºã§ã‚‚æ§‹ã‚ãªã„ï¼‰ã«å¯¾ã—ã€ãã‚Œã‚‰ã®ç›´ç©å¯¾è±¡ãŒ C ã«å˜åœ¨ã™ã‚‹ã€ã¨ã„ã†ä¸€ã¤ã®æ¡
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦

ã‚«ãƒ«ãƒ†ã‚·ã‚¢ãƒ³é–‰åœ

ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœ
ãƒªãƒ³ã‚¯
Cartesian closed category - Wikipedia
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦

ã‚«ãƒ«ãƒ†ã‚·ã‚¢ãƒ³é–‰åœ

ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœ
ãƒªãƒ³ã‚¯
å®Ÿé¨“ã‚µã‚¤ãƒˆç¥žã®ç›® - æ—¥æœ¬æ”¿åºœè¦³å¯Ÿ -
æˆ‘ã€…ã¯èªžã‚Œã‚‹ã»ã©ã€æ—¥æœ¬æ”¿åºœã‚’çŸ¥ã£ã¦ã„ã‚‹ã®ã ã‚ã†ã‹ï¼Ÿ ã¨ã‚Šã‚ãˆãšã€æ”¿åºœã®ç™ºä¿¡ã™ã‚‹æƒ…å ±ã ã‘é›†ã‚ã¦ã¿ãŸã€‚ (ã“ã‚Œã¯ãƒ—ãƒªã‚»ãƒƒãƒˆæ¸ˆã¿RSSãƒªãƒ¼ãƒ€ãƒ¼ã§ã™ã€‚)
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
åœè«–
åœè«–ï¼ˆCategory Theoryï¼‰ åº åœ é–¢æ‰‹ è‡ªç„¶å¤‰æ› éšä¼´é–¢æ‰‹ è¡¨ç¾å¯èƒ½æ€§ å‚è€ƒæ›¸ [ åº ] åœã®ç†è«–ã¯æ•°å¦ã®ç†è«–çš„ãªæ§‹é€ ã‚’æ˜Žç¢ºã«ã™ã‚‹ã®ã«å½¹ç«‹ã¤ã€‚ ä»¥ä¸‹ã€åœè«–ã«ã¤ã„ã¦ã¾ã¨ã‚ã‚‹ã“ã¨ã«ã™ã‚‹ã€‚ [ åœ ] ã€Œå¯¾è±¡ã€ã¨ã‚ˆã°ã‚Œã‚‹ãƒ¢ãƒŽï¼ˆ = æ•°å¦çš„ãªå¯¾è±¡ ï¼‰ã®ã‚¯ãƒ©ã‚¹ã¨å¯¾è±¡ X ã‹ã‚‰ Yã¸ã® ã€Œå°„ï¼ˆmorphismï¼‰ã€ã¨ã‚ˆã°ã‚Œã‚‹è¦ç´ ã‹ã‚‰ãªã‚‹é›†åˆ Hom(X, Y) ãŒæŒ‡å®šã•ã‚Œã¦ã„ã¦ã€f âˆˆ Hom(X, Y) ã¨ g âˆˆ Hom(Y, Z) ã«å¯¾ã—ã¦ã¯ãã®ã€Œåˆæˆã€ã¨ã‚ˆã°ã‚Œã‚‹å°„ gf ãŒå®šã‚ã‚‰ã‚Œã¦ã„ã¦ã€ä»¥ä¸‹ã®ï¼“æ¡ä»¶ã‚’ æº€ãŸã—ã¦ã„ã‚‹ã¨ãã“ã‚Œã‚‰ã®ç·åˆæ¦‚å¿µ C ã‚’ åœï¼ˆcategoryï¼‰ã¨ã‚ˆã¶ã€‚ ï¼ˆCat 1ï¼‰ å°„ã®åˆæˆã¯çµåˆæ³•å‰‡ h(gf) = (hg)f ã‚’ã¿ãŸã™. ï¼ˆCat 2ï¼‰ ä»»æ„ã®å¯¾è±¡ X ã«å¯¾ã—ã¦ âˆƒÎµâˆˆHom(X, X) âˆ€fâˆˆHom(X, Y)âˆ€gâˆˆ
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
æ•°æ¤œï¼‘ç´šã¸ã®é“æ¨™
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
åœè«– | å£±å¤§æ•´åŸŸ
ã“ã®ãƒšãƒ¼ã‚¸ã«ã¤ã„ã¦ â€»ç‰¹ã«æ–ã‚‰ãªã„é™ã‚Šã€åœã¯locally smallã§ã‚ã‚‹ã¨ä»®å®šã—ã¦ã„ã¾ã™ã€‚ â€»ä¸Šã‹ã‚‰é †ã«èªã‚€ã“ã¨ã‚’æƒ³å®šã—ã¦ã„ã¾ã™ã€‚ â€»å®šç¾©ãŒæ›¸ã„ã¦ãªã„è¨€è‘‰ãŒã‚ã£ãŸã‚Šã™ã‚‹ã®ã§ã€ãã®å ´åˆã¯nLabã‚’è¦‹ã‚‹ãªã‚Šã—ã¦ãã ã•ã„ã€‚ â€»é¸æŠžå…¬ç†ã¯ç‰¹ã«æ–ã‚‰ãšä½¿ã„ã¾ã™ã€‚ æ„è¦‹ãƒ»è³ªå•ãƒ»æ„Ÿæƒ³ãƒ»èª¤å—ã‚„æ•°å¦çš„é–“é•ã„ã®æŒ‡æ‘˜ãªã©ã¯Twitterã§ç›´æŽ¥ãƒªãƒ—ã‚„DMã™ã‚‹ã‹ã€ãƒžã‚·ãƒ¥ãƒžãƒã§é€ã£ã¦ãã ã•ã„ã€‚ â˜…ãŠçŸ¥ã‚‰ã›â˜…ã€€ã“ã®ãƒšãƒ¼ã‚¸ã®PDFãŒç´™ã®æœ¬ã«ãªã‚Šã¾ã—ãŸã€‚â†“ã®ãƒªãƒ³ã‚¯ã‹ã‚‰è³¼å…¥ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ å…¨ã¦ã®æ¦‚å¿µã¯Kanæ‹¡å¼µã§ã‚ã‚‹: ç¬¬0ç« ï½žç¬¬2ç« (Cauchyå®Œå‚™åŒ–ã¯é™¤ã) å…¨ã¦ã®æ¦‚å¿µã¯Kanæ‹¡å¼µã§ã‚ã‚‹IIï½žè±Šç©£åœè«–ï½ž: ç¬¬3ç« 2-categoryã€è±Šç©£åœ â– PDFã®é‡ãŒå¤šã™ãŽã‚‹ã¨æ€ã†ã®ã§ç¬¬0ç« ï½žKanæ‹¡å¼µã®PDF(kan_extension.pdf)ã¾ã§ã®å†…å®¹ã‚’çŸãã¾ã¨ã‚ãŸPDFã‚’ä½œã‚Šã¾ã—ãŸâ‡’å¯èƒ½ãªé™ã‚Šæœ€çŸã§Kan æ‹¡å¼µã«åˆ°
yuiseki 2013/02/12
åœè«–

åœ

æ•°å¦
ãƒªãƒ³ã‚¯
1 2 3 æ¬¡ã®ãƒšãƒ¼ã‚¸