IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž インターãƒãƒƒãƒˆã®ä½¿ã‚れ方やãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’把æ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“開発を行ㆠãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“。ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—られるデータé‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“。ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„味ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘を推測ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... インターãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ 速ãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“スã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“れらã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® 基盤技術も日々進æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„インターãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“スã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJæŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“課題ã«å–り組んã§
E. Kmettã•ã‚“ã«åœè«–å¦ç¿’ã®æ•™æã‚’èžã„ã¦ã¿ãŸ - taketoncheir.log
先週末ã€ekmett勉強会ãªã‚‹ä¼šãŒé–‹ã‹ã‚Œã¾ã—ãŸã€‚ （発起人ã®@tanakhã•ã‚“ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ï¼ï¼‰ ekmett勉強会 (partake) ekmettã¨ã¯ã€Haskellã‚„Scalaã«ã¦é‡è¦ãªlibrary群をã€ã‚ã‚Šãˆãªã„スピードã§ä½œã‚Šä¸Šã’ã¦ã„ãEdward Kmmetã•ã‚“ã®ã“ã¨ã§ã™ã€‚ ekmett (github) 勉強会ã«ã¯ekmettã•ã‚“ãŒãƒ“デオãƒãƒ£ãƒƒãƒˆã§å‚åŠ ã•ã‚Œã¦ã„ã¦ã€ä¼šã®æœ€å¾Œã¯è³ªå•å¤§ä¼šã¨ãªã‚Šã¾ã—ãŸã€‚ ãã®ä¸ã§ã€ç§ãŒ 「Kmettã•ã‚“ã®æŠ½è±¡åŠ›ã®æºæ³‰ã¯ã©ã“ã«ã‚ã‚‹ã®ã‹ï¼Ÿã€ ã¨å°‹ããŸã¨ã“ã‚（@nushioã•ã‚“ã€é€šè¨³ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ï¼ï¼‰ 「（æ„訳ã™ã‚‹ã¨ï¼‰åœè«–〠ã¨ã®ãŠç”ãˆã§ã—ãŸã€‚ @taketon_ Exactly. =) Category theory is just a great source of generalized tools that people have b
åœè«–ã¨ã‹ãƒ¢ãƒŠãƒ‰ãªã‚“ã¦ç°¡å˜ã ã‹ã‚‰scalaを使ã£ã¦èª¬æ˜Žã—ã¦ã¿ãŸ - ã らã らã—ã¦ãŸã„ãªã
ã¯ã˜ã‚㫠関数型ã¨ã„ãˆã°ãƒ¢ãƒŠãƒ‰ã€ãƒ¢ãƒŠãƒ‰ã¨ã„ãˆã°é›£ã—ã„ã¨ã„ã†äº‹ãŒå··ã§è¨€ã‚ã‚Œã¦ã„ã¾ã™ãŒã€ã„ããªã‚Šãƒ¢ãƒŠãƒ‰ã‚’ç†è§£ã—よã†ã¨ã™ã‚‹ã‹ã‚‰é›£ã—ãæ€ãˆã‚‹ã ã‘ã§ã€åœè«–ã‹ã‚‰é †åºã‚’追ã£ã¦ç†è§£ã—ã¦ã„ã‘ã°å…¨ç„¶é›£ã—ãç„¡ã„ã‚“ã よã£ã¦äº‹ã‚’分ã‹ã£ã¦è²°ãˆã‚Œã°ã„ã„ãªãã¨æ€ã„書ã„ã¦è¦‹ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ ãŸã ã€åœè«–ã¨ã„ã£ã¦ã‚‚é©ç”¨ç¯„囲ãŒã¨ã£ã¦ã‚‚広ãã€å¿œç”¨ç·¨ã«ãªã‚‹ã¨åˆ†ã‘ã‚ã‹ã‚“ãªããªã£ã¦ãã‚‹ã®ã§ã€ã“ã“ã§ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°åˆ†é‡Žã«ç‰¹åŒ–ã—ãŸFP(functional programing)åœè«–*1ã«ã¤ã„ã¦æ›¸ãã¾ã™ã€‚ ã¾ãŸã€èª¬æ˜Žã‚’ç°¡å˜ã«ã™ã‚‹ç‚ºã«ç´°ã‹ã„部分をã„ã‚ã„ã‚çœç•¥ã—ã¦ã„ã¾ã™ã€‚å¦è¡“çš„ãªå®šç¾©ã¨ã—ã¦ã¯æ£ç¢ºã§ã¯ãªã„ã®ã§ã€ã“ã®ã‚¨ãƒ³ãƒˆãƒªã®èª¬æ˜Žã¯å¤§ä½“åˆã£ã¦ã‚‹ä½ã®æ°—æŒã¡ã§èªã‚“ã§ãã ã•ã„ã。 å°šã€ã¼ãã¯åœè«–ã®è©³ã—ã„事ã¯ã•ã£ã±ã‚Šåˆ†ã‹ã‚‰ãªã„ã®ã§ã€å¦å•çš„ãªè©±ã‚’振られã¦ã‚‚回ç”ã§ãã¾ã›ã‚“ｷﾘｯ åœã£ã¦ãªã‚“ãªã®ï¼Ÿ åœè«–ã¨è¨€ãˆã°ã€åœã§ã™ã€‚ åœã£ã¦ä½•ãªã®ã‹ã¨ã„ã†ã¨ã€å¯¾è±¡(obje
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
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)
ä»£æ•°çš„æ§‹é€ ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³
è¦æ±‚開発アライアンスã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã€ŽObject-Functional Analysis and Design: 次世代モデリングパラダイムã¸ã®é“標ã€ã§ä½¿ç”¨ã™ã‚‹ã‚¹ãƒ©ã‚¤ãƒ‰ã®èƒŒæ™¯èª¬æ˜Žç¬¬3å¼¾ã§ã™ã€‚ ã€Œä»£æ•°æ§‹é€ çš„ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã€ã¨ã—ã¦ç”¨æ„ã—ãŸä»¥ä¸‹ã®å›³ã‚’説明ã—ã¾ã™ã€‚ 関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ã€æ•°å¦ç”±æ¥ã®æ‰‹æ³•ã‚’駆使ã—ã¦ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã—ã¦ã„ãã¾ã™ã€‚ã“ã®ãŸã‚å…ƒã«ãªã£ãŸæ•°å¦ç†è«–ã«å¯¾ã™ã‚‹æœ¬è³ªçš„ãªç†è§£ã¯é‡è¦ã§ã¯ã‚ã‚‹ã®ã§ã™ãŒã€æ•°å¦ç†è«–上ã§ã¯é‡è¦ã§ã¯ã‚ã‚‹ã‚‚ã®ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çš„ã«ã¯ã»ã¨ã‚“ã©ä½¿ã‚ã‚Œãªã„概念やã€æ•°å¦ç†è«–上ã§ã¯æžè‘‰ã®è°è«–ãŒãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çš„ã«ã¯é‡è¦ã¨ã„ã†ã“ã¨ã‚‚ã‚ã‚Šãã†ã§ã™ã€‚ãã†ã„ã†æ„味ã§ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãŸã‚ã«å…ƒã«ãªã‚‹æ•°å¦ç†è«–ã‚’å¦ã¶ã®ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã®ç¿’å¾—ã¨ã„ã†æ„味ã§ã¯é 回りã§ã™ã€‚ ãã“ã§ã€ã“ã†ã„ã£ãŸæ•°å¦ç”±æ¥ã®æ‰‹æ³•ã‚’オブジェクト指å‘プãƒã‚°ãƒ©ãƒžã«é¦´æŸ“ã¿ã®æ·±ã„デザインパターンã¨ã—ã¦æ•´å‚™ã—ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒŸ
オブジェクト・モデリングã®ãƒœãƒˆãƒ«ãƒãƒƒã‚¯
è¦æ±‚開発アライアンスã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã€ŽObject-Functional Analysis and Design: 次世代モデリングパラダイムã¸ã®é“標ã€ã§ä½¿ç”¨ã™ã‚‹ã‚¹ãƒ©ã‚¤ãƒ‰ã®èƒŒæ™¯èª¬æ˜Žç¬¬2å¼¾ã§ã™ã€‚ 「オブジェクトモデリングã€ã¨ã—ã¦ç”¨æ„ã—ãŸä»¥ä¸‹ã®å›³ã‚’説明ã—ã¾ã™ã€‚ オブジェクト・モデルã®æ§‹æˆã‚ªãƒ–ジェクト指å‘分æž/è¨è¨ˆã§ã¯ã‚·ã‚¹ãƒ†ãƒ を色々ãªè¦³ç‚¹ã®ãƒ¢ãƒ‡ãƒ«ã‚’組ã¿åˆã‚ã›ã¦è¨˜è¿°ã—ã¾ã™ã€‚ ã“ã“ã§ã¯ã€é™çš„æ§‹é€ ãƒ¢ãƒ‡ãƒ«ã€çŠ¶æ…‹æ©Ÿæ¢°ãƒ¢ãƒ‡ãƒ«ã€å”調モデルã®3種類ã®ãƒ¢ãƒ‡ãƒ«ã«ã‚ˆã‚‹è»¸ã«ã¤ã„ã¦è€ƒãˆã¾ã™ã€‚(ã“ã‚Œã¨ã¯åˆ¥ã®è»¸ã§ã€ãƒ‰ãƒ¡ã‚¤ãƒ³ãƒ»ãƒ¢ãƒ‡ãƒ«ï¼ã‚¢ãƒ—リケーション・モデルã®è»¸ã€è«–ç†ãƒ¢ãƒ‡ãƒ«ï¼ç‰©ç†ãƒ¢ãƒ‡ãƒ«ã®è»¸ã€ã‚‚ã‚ã‚Šã¾ã™ã€‚) é™çš„æ§‹é€ ãƒ¢ãƒ‡ãƒ«ã¯ã€ãƒ¢ãƒ‡ãƒ«ã®é™çš„æ§‹é€ ã‚’ã‚¯ãƒ©ã‚¹å›³ã‚„ã‚³ãƒ³ãƒãƒ¼ãƒãƒ³ãƒˆå›³ãªã©ã‚’用ã„ã¦è¨˜è¿°ã—ã¾ã™ã€‚ドメイン・モデルやé…備モデルã®ä¸æ ¸ãƒ¢ãƒ‡ãƒ«ã¨ã—ã¦ç”¨ã„られã¾ã™ã€‚ 状態機械モデルã¯ã€ã‚ªãƒ–ジェクトã®çŠ¶æ…‹é·ç§»ãƒ¢ãƒ‡ãƒ«ã‚’状態機械図や状態é·ç§»è¡¨ã§è¨˜è¿°ã—ã¾
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 comfortable with these, don’t wa
Home
ã“ã‚Œã¯ã€Typesafe 社㮠Director Professional Services ã§ã‚ã‚‹ Heiko Seeberger æ°ã«ã‚ˆã‚‹ã€ŒIntroduction to Category Theory in Scalaã€ã®ç¿»è¨³æ–‡ã§ã™ã€‚誤訳ã€èª¤è¨˜ãªã©ãŒã‚ã‚Šã¾ã—ãŸã‚‰ã€ 日本Scalaユーザーズグループã®ã€Œåœè«–入門　レビューã®ãŠé¡˜ã„ã€ãƒˆãƒ”ックã«æŠ•ç¨¿ã—ã¦ã„ãŸã ãã‹ã€@quassia88 ã«ã”連絡ãã ã•ã„。 ã‚‚ã—å›ãŒåƒ•ã¿ãŸã„ã«ã€ä»¥å‰ã¯Javaディベãƒãƒƒãƒ‘ーã§ã€Scalaã®ãƒ•ã‚¡ãƒ³ã«ãªã£ãŸã°ã‹ã‚Šãªã‚‰ã€å›ã¯å¤šåˆ†é…ã‹ã‚Œæ—©ã‹ã‚Œã€ãƒ¢ãƒŠãƒ‰ã‚„ら関手やらã®ã€åœè«–ã®åˆ†é‡Žã‹ã‚‰ã‚„ã£ã¦ããŸè¬Žã«éé‡ã™ã‚‹ã ã‚ã†ã€‚ãã†ã„ã£ãŸæœªçŸ¥ã®æ¦‚念ã¯ã€å›ã‚’ã€è‡ªåˆ†ãŒæã‚ã—ãã¾ã¬ã‘ãªã‚“ã˜ã‚ƒãªã„ã‹ã€ã¨ã„ã†æ°—分ã«ã•ã›ã‚‹ã“ã¨ã ã¨æ€ã†ã€‚ã‚‚ã—å›ãŒãã†ã„ã†æ¦‚念ã«æ—¢ã«è¦ªã—ã‚“ã§ã„ã‚‹ãªã‚‰ã€æ™‚間を無駄ã«ã™ã‚‹ã“ã¨ã¯ãªã„ã€ã™ãã«ã“ã®ãƒšãƒ¼ã‚¸ã‚’é–‰ã˜ã¦ã»ã—ã„。もã—ãã†ã§ãª
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
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
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 transformations in category theory. For the natural competence of bacteria to take up foreign DNA, see Genetic transformation. For other uses, see Transformation (mathematics) (disambiguation). In category theory, a branch of mathematic
å¯æ„›ã„åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãª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 ãª
第一級関数 - Wikipedia
ã“ã®è¨˜äº‹ã¯æ¤œè¨¼å¯èƒ½ãªå‚考文献や出典ãŒå…¨ã示ã•ã‚Œã¦ã„ãªã„ã‹ã€ä¸å分ã§ã™ã€‚ å‡ºå…¸ã‚’è¿½åŠ ã—ã¦è¨˜äº‹ã®ä¿¡é ¼æ€§å‘上ã«ã”å”力ãã ã•ã„。（ã“ã®ãƒ†ãƒ³ãƒ—レートã®ä½¿ã„方） 出典検索?: "第一級関数" – ニュース · 書ç±Â · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーãƒÂ · TWL (2023å¹´11月) 計算機科å¦ã«ãŠã„ã¦ã€ç¬¬ä¸€ç´šé–¢æ•°ï¼ˆã ã„ã„ã£ãã‚…ã†ã‹ã‚“ã™ã†ã€è‹±: first-class functionã€ãƒ•ã‚¡ãƒ¼ã‚¹ãƒˆã‚¯ãƒ©ã‚¹ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³ï¼‰[1]ã¨ã¯ã€é–¢æ•°ã‚’第一級オブジェクトã¨ã—ã¦æ‰±ã†ã“ã¨ã®ã§ãるプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®æ€§è³ªã€ã¾ãŸã¯ãã®ã‚ˆã†ãªé–¢æ•°ã®ã“ã¨ã§ã‚る。ãã®å ´åˆãã®é–¢æ•°ã¯ã€åž‹ã®ã‚る言語ã§ã¯ function type（en:Function type）ãªã©ã¨å‘¼ã°ã‚Œã‚‹åž‹ã‚’æŒã¡ã€ã¾ãŸãã®å€¤ã¯é–¢æ•°ã‚ªãƒ–ジェクトãªã©ã«ãªã‚‹ã€‚具体的ã«ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®å®Ÿè¡Œæ™‚ã«ç”Ÿæˆã•ã‚Œã€ãƒ‡
ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœ - Wikipedia
åœè«–ã«ãŠã„ã¦ã€åœãŒãƒ‡ã‚«ãƒ«ãƒˆé–‰ï¼ˆãƒ‡ã‚«ãƒ«ãƒˆã¸ã„ã€è‹±èªž: cartesian closed）ã§ã‚ã‚‹ã¨ã¯ã€å¤§é›‘把ã«è¨€ãˆã°ä»»æ„ã®äºŒã¤ã®å¯¾è±¡ã®ç›´ç©ä¸Šã§å®šç¾©ã•ã‚Œã‚‹å°„ãŒç›´ç©å› åã®ä¸€æ–¹ã§å®šç¾©ã•ã‚Œã‚‹å°„ã¨è‡ªç„¶ã«åŒä¸€è¦–ã§ãã‚‹ã“ã¨ã§ã‚る。デカルト閉ãªåœã¯ãƒ©ãƒ ダ計算ã®è‡ªç„¶ãªè¨å®šãŒã§ãã‚‹ã¨ã„ã†ç‚¹ã§æ•°ç†è«–ç†å¦ãŠã‚ˆã³ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç†è«–ã«ãŠã„ã¦ç‰¹ã«é‡è¦ã§ã‚る。デカルト閉åœã®æ¦‚念ã¯ãƒ¢ãƒŽã‚¤ãƒ‰åœã«ä¸€èˆ¬åŒ–ã•ã‚Œã‚‹ï¼ˆãƒ¢ãƒŽã‚¤ãƒ‰é–‰åœã‚’å‚照）。 åœ C ãŒãƒ‡ã‚«ãƒ«ãƒˆé–‰ã§ã‚ã‚‹ã¨ã¯ã€ä»¥ä¸‹ã®ä¸‰æ¡ä»¶ C ã¯çµ‚対象をæŒã¤ã€‚ C ã®ä»»æ„ã®äºŒå¯¾è±¡ X, Y ã«å¯¾ã—ã€C ã¯ãれらã®ç›´ç© X × Y を対象ã«æŒã¤ã€‚ C ã®ä»»æ„ã®äºŒå¯¾è±¡ Y, Z ã«å¯¾ã—ã€C ã¯ãれらã®å†ªå¯¾è±¡ ZY を対象ã«æŒã¤ã€‚ ãŒå…¨ã¦æº€ãŸã•ã‚Œã‚‹ã“ã¨ã‚’ã„ã†ã€‚上ãµãŸã¤ã®æ¡ä»¶ã¯ã€çµ„ã¿åˆã‚ã›ã¦ã€ŒC ã®å¯¾è±¡ã‹ã‚‰ãªã‚‹ä»»æ„ã®æœ‰é™æ—（空ã§ã‚‚構ã‚ãªã„）ã«å¯¾ã—ã€ãれらã®ç›´ç©å¯¾è±¡ãŒ C ã«å˜åœ¨ã™ã‚‹ã€ã¨ã„ã†ä¸€ã¤ã®æ¡
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://choreographlife.jp/pdf/intro.pdf
Commutative, Associative and Distributive Laws
Amazon.co.jp: Category Theory (Oxford Logic Guides): Awodey, Steve: 本
Cartesian Closed Category
Cartesian closed category - Wikipedia
{{#tags}}- {{label}}
{{/tags}}