Comonads are objects
Haskell programmers popularized the use of monads to structure imperative computations, complete with syntactic sugar in the form of do notation. However, category theorists predict that there is also a completely symmetric concept called a "comonad", which tickles our fancy. After all, if monads are so intriguing, then perhaps comonads are equally intriguing, and who doesn't like twice the intrig
自由モノイド - bitterharvest’s diary
４．自由モノイド åœè«–ã§ã¯ã€æ™®é性ã¨ã„ã†æ¦‚念ã¯ã¨ã¦ã‚‚大切ã§ã‚る。普é性ã¯ã€ãã®è¨€è‘‰ãŒç¤ºã™ã‚ˆã†ã«ã€æ•°å¦ã®å¤šãã®åˆ†é‡Žã§å…±é€šã™ã‚‹æ€§è³ªã‚’示ã—ãŸã‚‚ã®ã§ã‚る。å‰ã®è¨˜äº‹ã§èª¬æ˜Žã—ãŸæ¥µé™ã¨ä½™æ¥µé™ã‚‚広ã„分野ã§ã®å…±é€šã®æ€§è³ªã§ã‚ã‚‹ãŸã‚ã€åœè«–ã§ã®é‡è¦ãªæ™®é性ã®ä¸€ã¤ã¨ãªã£ã¦ã„る。ã“ã“ã§ã¯ã€æ™®é性ã®ã•ã‚‰ãªã‚‹ä¾‹ã¨ã—ã¦è‡ªç”±ãƒ¢ãƒŽã‚¤ãƒ‰ã‚’説明ã™ã‚‹ã€‚ ４．１　自由モノイドã®å®šç¾© åŠ ç®—ã‚„ä¹—ç®—ãªã©ã®äºŒé …演算åを用ã„ã¦è¨ˆç®—ã•ã‚Œã‚‹ã‚‚ã®ã¯ãƒ¢ãƒŽã‚¤ãƒ‰ã¨å‘¼ã°ã‚Œã‚‹ã€‚モノイドã«ã¤ã„ã¦ã‚‚æ™®é性を考ãˆã‚‹ã“ã¨ãŒã§ãる。ãã‚Œã¯è‡ªç”±ãƒ¢ãƒŽã‚¤ãƒ‰ã¨å‘¼ã°ã‚Œã‚‹ã‚‚ã®ã 。ã“れを説明ã™ã‚‹ãŸã‚ã«ã€ãƒ¢ãƒŽã‚¤ãƒ‰ã«ã¤ã„ã¦ã€ã¾ãšã¯ã€é›†åˆè«–ã§ã®å®šç†ã‹ã‚‰å§‹ã‚ã¦ã¿ã‚ˆã†ã€‚ １）集åˆè«–ã§ã®å®šç¾© 集åˆè«–ã§ã®ãƒ¢ãƒŽã‚¤ãƒ‰ã¯ã€ã‚る集åˆ\(M\)ã«å¯¾ã—ã¦ã€ 1)ã€€äºŒé …æ¼”ç®—å\(\mu\)ãŒå˜åœ¨ã—ã€\(\mu : M \times M \rightarrow M\)ã§ã‚る。 2)　å˜ä½å¾‹ãŒæˆã‚Šç«‹ã¤ã€‚å³ã¡ã€å˜ä½å…ƒ
写åƒå¯¾è±¡ï¼æŒ‡æ•°å¯¾è±¡ - bitterharvest’s diary
７．６　指数対象 写åƒå¯¾è±¡ã«ã¯åˆ¥ã®è¡¨ç¾æ³•ãŒã‚る。ã¾ãŸã€ã“ã¡ã‚‰ã®æ–¹ãŒã‚ˆã知られã¦ã‚‚ã„る。ãã‚Œã¯æŒ‡æ•°å¯¾è±¡ã¨å‘¼ã°ã‚Œã‚‹ã€‚ 対象\(A\)ã‹ã‚‰å¯¾è±¡\(B\)ã¸ã®å°„ã®é›†ã¾ã‚Š\(A \Rightarrow B\)を写åƒå¯¾è±¡ã¨å‘¼ã‚“ã 。åŒã˜ã‚ˆã†ã«å°„ã®é›†ã¾ã‚Šãªã®ã ãŒã€ãƒ‰ãƒ¡ã‚¤ãƒ³\(A\)ã‚’è‚©ã«ã€ã‚³ãƒ‰ãƒ¡ã‚¤ãƒ³\(B\)ã‚’ãã®ä¸‹ã«ã€å³ã¡ã€\(B^A\)ã¨è¨˜è¿°ã—ãŸã‚‚ã®ã‚’ã€æŒ‡æ•°å¯¾è±¡ã¨ã„ã†ã€‚写åƒå¯¾è±¡ã¨æŒ‡æ•°å¯¾è±¡ã¯è¨˜è¿°ã®ä»•æ–¹ãŒç•°ãªã‚‹ã ã‘ã§ã€æ„味ã™ã‚‹ã¨ã“ã‚ã¯åŒã˜ã§ã‚る。ã—ã‹ã—ã€æŒ‡æ•°å¯¾è±¡ã®å½¢ã§è¨˜è¿°ã™ã‚‹ã¨ã€ä½•ã¨ãªã馴染ã¿ã‚„ã™ã„。ã“ã‚Œã¯ã€æŒ‡æ•°ã¨ã„ã†æ¦‚念をä¸å¦ç”Ÿã®æ™‚ã«å¦ã¶ã®ã§ã€ç†ŸçŸ¥ã—ã¦ã„ã‚‹ãŸã‚ã 。都åˆã®ã‚ˆã„ã“ã¨ã«ã€æŒ‡æ•°å¯¾è±¡ã¯æŒ‡æ•°ã¨æ¦‚念を共有ã—ã¦ã„る。ãã®ä¾‹ã‚’示ãã†ã€‚ ドメイン\(A\)を変ãˆãŸã¨ãã«ã€ãã®æŒ‡æ•°å¯¾è±¡ã«ã¯å°„ãŒã„ãã¤å˜åœ¨ã™ã‚‹ã‹ã‚’考ãˆã¦ã¿ã‚ˆã†ã€‚\(B^A\)ã¯\(A\)ã‹ã‚‰\(B\)ã¸ã®å°„ã®é›†ã¾ã‚Š(集åˆ)を表ã—ã¦ã„る。\(A\)
アプリカティブ関手ã£ã¦ãªã«ï¼Ÿãƒ¢ãƒŽã‚¤ãƒ‰åœã¨ã®é–¢ä¿‚ã¯ï¼Ÿèª¿ã¹ã¦ã¿ã¾ã—ãŸï¼ | 雑記帳
ã“ã®è¨˜äº‹ã¯ Category Theory Advent Calendar 2018 7日目 ã‹ã¤ Haskell (ãã®2) Advent Calendar 2018 7日目ã®è¨˜äº‹ã§ã™ã€‚ Category Theory Advent Calendar 2018ã®6日目ã¯corollary2525ã•ã‚“ã®ã€Œéšä¼´ã¯ã€€ã‚らゆるã¨ã“ã‚ã«ã€€ç¾ã‚Œã‚‹ã€ã€8日目ã¯ç©ºå¸ã€9日目ã¯t_uemura669101ã•ã‚“ã®ã€Œãƒˆãƒã‚¹ã¨é«˜éšŽè«–ç†ã€ã§ã™ã€‚ Haskell (ãã®2) Advent Calendar 2018ã®6日目ã¯ç©ºå¸ã€8日目ã¯takoeight0821ã•ã‚“ã®ã€ŒType defaultingã«ã¤ã„ã¦ã®åˆç´šçš„ãªè§£èª¬ã€ã§ã™ã€‚ ã“ã®è¨˜äº‹ã¯ã©ã†ã„ã†è¨˜äº‹ã‹ åœè«–ã®æ–¹ã‹ã‚‰æ¥ãŸäººå‘ã‘： デカルトç©ã‚„テンソルç©ã®ä¸€èˆ¬åŒ–ã§ã‚る「モノイドç©ã€ã®è©±ã¨ã€ã€Œå†…部ホムã€ã®è©±ã‚’ã—ã¾ã™ã€‚文献ã«ã‚ˆã£ã¦ã¯å†…部ホムã¯ãƒ¢ãƒŽã‚¤ãƒ‰ç©ã®å³éšä¼´ã¨ã—ã¦å°Ž
矢å°ã®ãƒ‘ターンã§ç†è§£ã™ã‚‹ Functor〜Applicative〜Monad - Qiita
F[A]→F[B] ã«è‡³ã‚‹çŸ¢å°ã‚’比ã¹ã¦ã€ã„ã‚ã„ã‚ãªåž‹ã‚¯ãƒ©ã‚¹ã‚’ã¾ã¨ã‚ã¦ç†è§£ã™ã‚‹ã€Cats 入門者å‘ã‘記事。 ã¯ã˜ã‚ã« ã“ã®è¨˜äº‹ã§ã¯ã€Cats ã®åž‹ã‚¯ãƒ©ã‚¹ã‚’テーマã«ã™ã‚‹ã€‚ Cats ã¯é–¢æ•°åž‹ãª Scala プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°1ã®ãŸã‚ã®ãƒ©ã‚¤ãƒ–ラリãªã®ã§ã€ã“ã®è¨˜äº‹ã§ã‚‚関数を扱ã†ã€‚関数型パラダイムã§é–¢æ•°2ã¨ã„ã†ã¨æ•°å¦ã®é–¢æ•°ã¨ã ã„ãŸã„åŒã˜ã ã‹ã‚‰ã€å®šç¾©åŸŸã®é›†åˆã‹ã‚‰å€¤åŸŸã®é›†åˆã¸ã®ãƒžãƒƒãƒ”ングã®ã“ã¨ã«ãªã‚‹ã€‚ãŸã ã—ã€æ•°å¦ã§ã¯å†™åƒã‚„å°„ãªã©ã¨è¨€ã†ãŒã€è¨˜å·ã§ã‚‚矢å°ï¼ˆâ†’）ã ã—ã€å›³ã®ä¸Šã§ã‚‚矢å°ãªã®ã§ã€ã“ã®è¨˜äº‹ã§ã¯çŸ¢å°ã¨ã„ã†ã“ã¨ã«ã™ã‚‹ã€‚ ã¾ãŸæ‰±ã†åž‹ã‚¯ãƒ©ã‚¹ã¨ã—ã¦ã¯ã€Functorã€Applicativeã€Monad ã®å‘¨è¾ºã‚’メインã¨ã™ã‚‹ã€‚å‰åŠã§ã¯ãれら㮠Scala トレイトãŒè¦æ±‚ã™ã‚‹å®Ÿè£…å¿…é ˆãƒ¡ã‚½ãƒƒãƒ‰ã®ã†ã¡ã€F[A]→F[B] ã«å‘ã‹ã†çŸ¢å°ã«é‚„å…ƒã§ãã‚‹ã‚‚ã®3ã«ç€ç›®ã—ã¦æ•´ç†ã—ã€ã•ã‚‰ã«å¾ŒåŠã§ã¯ã€ãれらã®å‘¨è¾ºã«è¦‹ã‚‰ã‚Œã‚‹ã‚‚ã†ä¸€ã¤ã®ãƒ‘ター
Arrowã¾ã‚ã‚Šã®å°„ã®åˆæˆã„ã‚ã„ã‚ - Qiita
Milewski æ°ã®åœè«–講座ã®ç¬¬1ç« Category: The Essence of Compositionã‚’èªã‚“ã§ãŸã‚‰ã€å†’é ã‚ãŸã‚Šã«æ¬¡ã®ã‚ˆã†ãªä¸€æ–‡ãŒã‚ã£ãŸã€‚ But the essence of a category is composition. Or, if you prefer, the essence of composition is a category. å°„ã®åˆæˆã“ããŒåœã®æœ¬è³ªã§ã€ã¾ãŸãã®é€†ã‚‚æˆã‚Šç«‹ã¤ã¨ã„ã†ã€‚ Cats ã 㨠cats.arrowパッケージã®Arrowã‚„Categoryã¨ã„ã£ãŸåž‹ã‚¯ãƒ©ã‚¹ã§ã€ã„ã‚ã„ã‚ãªãƒ‘ターンã®åˆæˆãŒæä¾›ã•ã‚Œã¦ã„るらã—ã„。今回ã¯ã“れを調ã¹ã¦ã¿ãŸã€‚ (Cats ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã¯ 2.12ã® 2.0.0-M1。ソースã¯ã“ã“) Arrow ã®éšŽå±¤ cats.arrow パッケージ内ã®Arrow関連ã®ç¶™æ‰¿é–¢ä¿‚ã¯ã€ä¸‹å›³ã®ã‚ˆã†ã«ãªã‚‹ã€‚ 以é™ã€ã“れらã®åž‹ã‚¯ãƒ©
å˜ä¸€ä»£å…¥ã®ãƒ¢ãƒŽã‚¤ãƒ‰ã€ã‚¹ã‚¿ãƒ³ãƒ”ングモナドã€ãƒ¢ãƒŠãƒ‰å·¥å ´ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
昨日モニャドセミナー3を開催ã—ã¾ã—ãŸã€‚僕（檜山）ãŒã©ã†ã‚‚熱暴走ã—ã¦ã„ãŸï¼ˆç†±ã§æš´èµ°ã—ãŸã‚“ã˜ã‚ƒãªãã¦ã€æš´èµ°ã—ã¦ç†±ã‚’出ã—ãŸã®ã‹ã‚‚）ãらã„ãŒã‚ã‚Šã¾ã—ãŸã€‚ã¨ã‚Šã‚ãˆãšã€èª¬æ˜ŽãŒã‚ã‚„ãµã‚„ã ã£ãŸã¨ã“ã‚を補足ã—ã¾ã™ã€‚ 次ã®è©±ã‚’ã—ã¾ã—ãŸï¼› ã€Œç ´å£Šçš„ä»£å…¥ã¨å˜ä¸€ä»£å…¥ã‚’自明モノイドã§å®šå¼åŒ–ã§ãる。ãŸã ã—ã€å˜ä¸€ä»£å…¥ã®ãƒ¢ãƒ‡ãƒ«åŒ–ã¯å®Ÿéš›ã«ã‚„ã£ã¦ã¿ã‚‹ã¨å¾®å¦™ã«ã†ã¾ãã„ã‹ãªã„ã€ã¨ã€‚ã§ã€ã€Œã©ã“ãŒã†ã¾ãã„ã‹ãªã„ã®ã‹ï¼Ÿã€ã¨ã®ã”質å•ã€‚「昔やã£ã¦ã¿ãŸã¨ãã€ã†ã¾ãã„ã‹ãªã‹ã£ãŸè¨˜æ†¶ãŒã‚ã‚‹ã€ã¨è¦é ˜ã‚’å¾—ãªã„è¿”ç”ã‚’ã—ãŸã®ã§ã™ãŒã€ä½•ãŒã†ã¾ãã„ã‹ãªã‹ã£ãŸã‹ã‚µãƒƒãƒ‘リæ€ã„出ã›ã¾ã›ã‚“。 ã¨ã„ã†äº‹æƒ…ãªã®ã§ã€æœ€åˆã‹ã‚‰å…¨éƒ¨è¨ˆç®—ã—ç›´ã—ã¦ã¿ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚僕ã¯1æ¡ã®è¶³ã—ç®—ã¨ã‹ã—ょã£ã¡ã‚…ã†é–“é•ã†ã®ã§ã€ãã®ãƒ†ã®ãƒŸã‚¹ã§ã€Œã†ã¾ãã„ã‹ãªã„ã€ã¨æ€ã„込んã§ã„ãŸå¯èƒ½æ€§ã‚‚ã‚ã‚Šã¾ã™ã€‚以下ã«ã€ç¢ºèªã®éŽç¨‹ã‚’全部書ã下ã™ã®ã§ã€ã”興味ãŒã‚ã‚‹æ–¹ã¯ï¼ˆã„ã‚‹ã®ã‹ï¼Ÿï¼‰ãƒã‚§ãƒƒã‚¯ã—ã¦ã¿ã¦ãã ã•ã„。ãªã«ã‹é–“é•ã„
æ™®é性
æ™®é性 alg-d http://alg-d.com/math/kan_extension/ 2024 å¹´ 1 月 16 æ—¥ åœè«–ã§é‡è¦ãªè€ƒãˆæ–¹ã®ä¸€ã¤ãŒæ™®é性 (universal property) ã§ã‚る．普é性を使ã†ã¨ï¼Œä¸Ž ãˆã‚‰ã‚ŒãŸåœ C ã®ä¸ã§æ§˜ã€…ãªã€Œæ§‹æˆã€ãŒå¯èƒ½ã¨ãªã‚‹ï¼Ž 例ãˆã°ã€Œæ§‹æˆã€ã®ä¾‹ã¨ã—ã¦ï¼ŒSet, Grp, Top ãªã©ã®å¤šãã®åœã«ãŠã„ã¦ã¯ï¼ŒäºŒã¤ã®å¯¾è±¡ a, b ãŒä¸Žãˆã‚‰ã‚ŒãŸã¨ãã«ç›´ç©ã¨å‘¼ã°ã‚Œã‚‹æ–°ã—ã„対象 a × b ãŒå®šç¾©ã•ã‚Œã‚‹ï¼Žå®Ÿã¯ï¼Œä¸€èˆ¬ã®åœ C ã«ãŠã„ã¦ã‚‚ (å˜åœ¨ã™ã‚‹ã‹ã¯åˆ†ã‹ã‚‰ãªã„ãŒ) ç›´ç©ãŒå®šç¾©ã§ãる．ã¾ãšã¯ãれを見ã¦ã¿ã‚ˆã†ï¼Ž 定義. C ã‚’åœï¼Œa, b ∈ C を対象ã¨ã™ã‚‹ï¼Ža 㨠b ã®ç›´ç© (product) ã¨ã¯ï¼Œ3 ã¤çµ„ hu, p0, p1i ã§ã‚ã£ã¦ä»¥ä¸‹ã®æ¡ä»¶ã‚’満ãŸã™ã‚‚ã®ã§ã‚る． (1) u 㯠C ã®å¯¾è±¡ã§ã‚る． (2) p0 : u → a，p1
プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®åœè«– (執ç†ä¸)
Bartosz Milewski "Category Theory for Programmers" 原文: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ pdf: https://github.com/hmemcpy/milewski-ctfp-pdf 原文㯠pdf, TeX ソース, ç”»åƒãªã©å…¨ã¦ CC BY-SA 4.0 ライセンスã§ç„¡æ–™å…¬é–‹ã•ã‚Œã¦ã„ã¾ã™ï¼Žå½“和訳文もåŒãƒ©ã‚¤ã‚»ãƒ³ã‚¹ã§ç„¡æ–™å…¬é–‹ã—ã¾ã™ï¼Ž https://creativecommons.org/licenses/by-sa/4.0/ ã“ã®å’Œè¨³ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã¯ç¾åœ¨é€²è¡Œä¸ã§ã™ï¼Žå’Œè¨³ã«å”力ã—ã¦ãã ã•ã‚‹æ–¹ã¯æ˜¯éžã”連絡下ã•ã„．ガイドライン： https://zenn.dev/taketo1024/articles/4
Dynamorphism 概論
1. ã¯ã˜ã‚ã«1.1. ã¾ãˆãŒã ã“ã®è¨˜äº‹ã§ã¯ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦å‹•çš„計画法(Dynamic Programming)ã‚’è¡Œã†æ‰‹æ³•ã®ä¸€ã¤ã§ã‚ã‚‹ dynamorphism ã«ã¤ã„ã¦è§£èª¬ã—ã¾ã™ã€‚ ã—ã‹ã—ã€dynamorphism ã¨ã„ã†æ¦‚念ã¯ãã‚Œå˜ä½“ã§èª¬æ˜Žã§ãã‚‹ã‚‚ã®ã§ã¯ãªãã€F-代数 ã‚„ catamorphism, anamorphism, hylomorphism, histmorphism ãªã©ã®å„種概念を用ã„ãªã„ã¨èª¬æ˜Žã§ããªã„ã‚‚ã®ã§ã™ã€‚ãã“ã§ã“ã®è¨˜äº‹ã§ã¯é †ã€…ã¨ãれらã®æ¦‚念を追ã£ã¦ã„ãã€æœ€å¾Œã«dynamorphismã«è¡Œãç€ãよã†ãªæ§‹æˆã«ãªã£ã¦ã„ã¾ã™ã€‚ ãã®ãŸã‚ã€ã“ã®è¨˜äº‹ã¯ dynamorphism ã®èª¬æ˜Žè¨˜äº‹ã§ã‚ã‚‹ã¨åŒæ™‚ã«ã€F-(ä½™)代数や catamorphism, anamorphism ç‰ã«é–¢ã™ã‚‹è§£èª¬è¨˜äº‹ã§ã‚‚ã‚ã‚Šã¾ã™ã€‚ ã“ã“ã§ç•™æ„ã—ã¦ã„ãŸã ããŸã„点ãŒä½•ç‚¹ã‹ã‚ã‚Šã¾ã™ã€‚ã„ã‚ゆる
Scalaã§åœè«–ï¾ï½®ï½¯ï¾„å¦ã¶
à “à³”Í·Î°Ê”Ï§ 6 関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ã®ãƒ©ã‚¤ãƒ–ラリ ・Scalaz ・Cats etc… åœè«– ãƒ»åœ ãƒ»é–¢â¼¿ ãƒ»â¾ƒç„¶å¤‰æ› etc… 概念を 使ã£ã¦ã„ã‚‹ 使ㆠ⾒ãˆéš ã‚Œã—ã¦ã‚‚怖ããªã„ï¼ ï¾ï½®ï½¯ï¾„ã‚ã‹ã‚‹ï¼ ※ エンジニアã®ã‚ˆã⾔ㆠ「完全ã«ç†è§£ã—ãŸã€â†’ 「全然ã‚ã‹ã‚‰ã‚“〠→「ï¾ï½®ï½¯ï¾„ã‚ã‹ã‚‹ã€ã®ã€Œï¾ï½®ï½¯ï¾„ã‚ã‹ã‚‹ã€ã§ã¯ãªã ⽂å—通りã®ã€Œï¾ï½®ï½¯ï¾„ã‚ã‹ã‚‹ã€ãŒã‚´ãƒ¼ãƒ«ã§ã™
Home
https://github.com/scalajp/introduction-to-category-theory-in-scala-jp/wiki ã«ç§»å‹•ã—ã¾ã—ãŸã€‚ã“ã¡ã‚‰ã¯ã€ãƒŸãƒ©ãƒ¼ã¨ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ ã“ã‚Œã¯ã€Typesafe 社㮠Director Professional Services ã§ã‚ã‚‹ Heiko Seeberger æ°ã«ã‚ˆã‚‹ã€ŒIntroduction to Category Theory in Scalaã€ã®ç¿»è¨³æ–‡ã§ã™ã€‚誤訳ã€èª¤è¨˜ãªã©ãŒã‚ã‚Šã¾ã—ãŸã‚‰ã€ 日本Scalaユーザーズグループã®ã€Œåœè«–入門　レビューã®ãŠé¡˜ã„ã€ãƒˆãƒ”ックã«æŠ•ç¨¿ã—ã¦ã„ãŸã ãã‹ã€@quassia88 ã«ã”連絡ãã ã•ã„。 ã‚‚ã—å›ãŒåƒ•ã¿ãŸã„ã«ã€ä»¥å‰ã¯Javaディベãƒãƒƒãƒ‘ーã§ã€Scalaã®ãƒ•ã‚¡ãƒ³ã«ãªã£ãŸã°ã‹ã‚Šãªã‚‰ã€å›ã¯å¤šåˆ†é…ã‹ã‚Œæ—©ã‹ã‚Œã€ãƒ¢ãƒŠãƒ‰ã‚„ら関手やらã®ã€åœè«–ã®åˆ†é‡Žã‹ã‚‰ã‚„ã£ã¦ããŸè¬Žã«éé‡ã™ã‚‹ã ã‚ã†ã€‚ãã†ã„
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記
全体目次： 第1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ （ã“ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ï¼‰ 第2æ©ï¼šè¡Œåˆ—ã®åœ 第3æ©ï¼šæ¥µç«¯ãªåœé” 第4æ©ï¼šéƒ¨åˆ†åœ 第5æ©ï¼šå¤‰æ›ã‚ューã®åœ 第6æ©ï¼šæœ‰é™å¤‰æ›ã‚ューã¨åŠåœ 第7æ©ï¼šã‚¢ãƒŸãƒ€ã®åœ 第8æ©ï¼šé †åºé›†åˆã®åŸ‹ã‚è¾¼ã¿è¡¨ç¾ 第9æ©ï¼šåŸºæœ¬ã«æˆ»ã£ã¦ã€åœè«–感覚を養ã†ãƒãƒŠã‚·ã¨ã‹ 付録ï¼ç•ªå¤–ãªã©ï¼š ä¸é–“付録A：絵をæã„ã¦ã¿ãŸ 番外：åŒæœŸï¼éžåŒæœŸã®çµåˆ ä¸é–“付録B：アミダã¨ãƒ–レイド 番外：米田ã®è£œé¡Œã«å‘ã‘ã¦ã®ã‚ªã‚·ãƒ£ãƒ™ãƒª 一部ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®èƒŒæ™¯ã¨ã—ã¦ã€åœè«–（カテゴリー論）ãŒä½¿ã‚ã‚ŒãŸã‚Šã™ã‚‹ã›ã„ã‹ã€ä»¥å‰ã«æ¯”ã¹ã‚Œã°å¤šå°‘ã¯åœè«–ã«èˆˆå‘³ã‚’æŒã¤äººãŒå¢—ãˆãŸã‚ˆã†ãªæ°—ãŒã—ãªãã‚‚ãªã„よã†ãªã€‚ã§ã‚‚ã€å®‰ç›´ãªå…¥é–€çš„文書ã¯ã‚ã¾ã‚Šè¦‹ã‹ã‘ãªã„ã§ã™ã。もã¡ã‚ã‚“ã€ã‚·ãƒƒã‚«ãƒªã—ãŸæ•™ç§‘書や論説ã¯ã‚ã‚‹ã‚“ã§ã™ãŒã€ã©ã†ã‚‚シッカリã—éŽãŽã¦ã„るよã†ãªã€‚例ãˆã°ã€åœã®ä¾‹ã¨ã—ã¦ã€Œã‚³ãƒ³ãƒ‘クト・ãƒã‚¦ã‚¹ãƒ‰ãƒ«ãƒ•ç©ºé–“ã¨é€£ç¶šå†™åƒã®åœã€ã¨ã‹è¨€ã‚ã‚Œã¦ã‚‚ãã‡ï¼ˆã“ã®ä¾‹ã¯ã„ã„例ãªã‚“ã§ã™
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
åœè«–勉強会 @ ワークスアプリケーションズ
13 自由モノイド｜プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®åœè«– (執ç†ä¸)
Haskellã®zip関数を一般化ã™ã‚‹ã¨ä½•ã«ãªã‚‹ã‹
実例ã«ã‚ˆã‚‹PureScript
https://www.jstage.jst.go.jp/article/jcss/28/1/28_2020.075/_pdf/-char/ja
{{#tags}}- {{label}}
{{/tags}}