[B! åœè«–] r-westã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

r-west id:r-west

åœè«–ã«é–¢ã™ã‚‹r-westã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (11)

${{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}}

Scala åˆå¿ƒè€…ãŒç±³ç”°ã®è£œé¡Œã‚’ Scala ã§è€ƒãˆã¦ã¿ãŸ
2. è‡ªå·±ç´¹ä»‹ - åå‰ï¼š é«˜ç€¬ å’Œä¹‹ (ãŸã‹ã› ã‹ãšã‚†ã) - æ‰€å±žï¼š Chatwork æ ªå¼ä¼šç¤¾ @å¤§é˜ª - ãŸã¶ã‚“å¾—æ„ãªã“ã¨ï¼š - ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰é–‹ç™º (React / Redux / TypeScript) - ãƒ†ã‚£ãƒ¼ãƒãƒ³ã‚° (ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ / æ©Ÿæ¢°å¦ç¿’ / æ•°å¦ / çµ„ã¿è¾¼ã¿ã‚·ã‚¹ãƒ†ãƒ ) - ã²ã¨ã“ã¨ï¼š - Scala ã®ã‚¤ãƒ™ãƒ³ãƒˆã¯ 2 å›žç›®ã§ã™ ðŸ’ª 2 3. 1. æœ¬æ—¥ã®èŒ¶ç•ªãƒ‘ãƒ¼ãƒˆ 2. åœè«–ã®å…¬ç† 3. å‡½æ‰‹ï¼Œè‡ªç„¶å¤‰æ›ï¼Œå‡½æ‰‹åœ 4. ç±³ç”°ã®è£œé¡Œ ã‚¢ã‚¸ã‚§ãƒ³ãƒ€ 3 - ã“ã®ç™ºè¡¨ã‚’èžã„ã¦å¾—ã‚‰ã‚Œã‚‹ã‚‚ã® ðŸ‘¨â€ðŸ« - åœè«–ã®ä¸ã§ã‚‚ç™»ç«œé–€çš„ãªãƒˆãƒ”ãƒƒã‚¯ã§ã‚ã‚‹ "ç±³ç”°ã®è£œé¡Œ" ã‚’çŸ¥ã‚‹ã“ã¨ãŒã§ãã‚‹ - "ç±³ç”°ã®è£œé¡Œ" ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çš„ä½ç½®ã¥ã‘ã‚’çŸ¥ã‚‹ã“ã¨ãŒã§ãã‚‹ - â€» å¾Œã‚ã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã‚‚ãªã„ã®ã§ã€40 åˆ†ã‚’ã‚„ã‚„ã‚ªãƒ¼ãƒãƒ¼ã™ã‚‹ã‚„ã‚‚ ðŸ˜—
r-west 2020/10/19
scala

åœè«–

å¾Œã§èªã‚€
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼ã®ãŸã‚ã®åœè«–ï¼ˆä¸Šï¼‰ - bitterharvestâ€™s diary
ã€Žãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®åœè«–ã€ã¯ã“ã‚Œã¾ã§ã®åˆ†ã‚’ã¾ã¨ã‚ã¦PDFãƒ•ã‚¡ã‚¤ãƒ«ã«ã—ã¾ã—ãŸã€‚å‚è€ƒã«ã—ã¦ãã ã•ã„ã€‚
r-west 2018/09/16
Haskell

åœè«–

PDF
ãƒªãƒ³ã‚¯
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
r-west 2017/11/17
åœè«–

Haskell
ãƒªãƒ³ã‚¯
åœè«–ã«æœ€çŸã§å…¥é–€ã™ã‚‹ - ä¿ºã® Colimit ã‚’è¶Šãˆã¦ã‚†ã‘
ã¯ã˜ã‚ã« å¯¾è±¡èªè€… æ•°å¦ä»¥å‰ æ•°å¦ã®åŸºç¤Ž ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ä»£æ•° åœè«– ã‚‚ã£ã¨æ‰‹å–ã‚Šæ—©ãåœè«–ã®å‹‰å¼·ã‚’å§‹ã‚ãŸã„äººã¸ ãŠã‚ã‚Šã« ç´¹ä»‹ã—ãŸæ›¸ç± ã¯ã˜ã‚ã« ç§ãŒåœè«–ã¨ã„ã†åˆ†é‡Žã‚’çŸ¥ã‚‹ãã£ã‹ã‘ã¯ã€ãŠãã‚‰ãã“ã®æ–‡ç« ã‚’èªã‚“ã§ã„ã‚‹ã»ã¨ã‚“ã©ã®äººã¨åŒæ§˜ã« Haskell ã®å‹‰å¼·ã‚’ã—ãŸã“ã¨ãŒãã£ã‹ã‘ã§ã—ãŸã€‚ Haskell ã®ãƒ¢ãƒŠãƒ‰ãªã©ã‚’åˆ©ç”¨ã™ã‚‹ä¸Šã§ã¯åœè«–ã‚’ç†è§£ã™ã‚‹å¿…è¦ã¯å…¨ããªã„ã®ã§ã™ãŒã€åž‹ã‚·ã‚¹ãƒ†ãƒ ã‚„å‡¦ç†ç³»ã«é–¢ã—ã¦è©³ã—ãçŸ¥ã‚ŠãŸãã¦è«–æ–‡ã‚’èªã‚€ã¨åœè«–ã®è¨€è‘‰ãŒæ™®é€šã«ä½¿ã‚ã‚Œã¦ã„ã¦ã€ç†è§£ã§ããšã«æ–å¿µã—ã¦ã„ã¾ã—ãŸã€‚ ãã“ã§ã€å½“æ™‚æ•°äººãŒé›†ã¾ã£ã¦ã‚„ã£ã¦ã„ãŸåœè«–å‹‰å¼·ä¼šã«å‚åŠ ã—ã¦åœè«–ã®å‹‰å¼·ã‚’å§‹ã‚ã¾ã—ãŸã€‚å½“æ™‚èªã‚“ã§ã„ãŸæ›¸ç±ã¯ Conceptual Mathematics: A First Introduction to Categories ã§ã—ãŸã€‚ã“ã®æœ¬ã¯åœè«–ã®åˆå¦è€…å‘ã‘ã«æ›¸ã‹ã‚ŒãŸæœ¬ã§ã€æ•°å¦çš„ãªçŸ¥è˜ã‚’ã»ã¨ã‚“ã©ä»®å®šã›ãšã«ç†è§£ã§ãã‚‹ã‚ˆã†ã«æ›¸ã‹ã‚Œ
r-west 2016/02/27
åœè«–

mathematics

haskell

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®ä½¿ã‚ã‚Œæ–¹ã‚„ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’æŠŠæ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“é–‹ç™ºã‚’è¡Œã† ãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“ã€‚ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—ã‚‰ã‚Œã‚‹ãƒ‡ãƒ¼ã‚¿é‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“ã€‚ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„å‘³ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘ã‚’æŽ¨æ¸¬ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ é€Ÿãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“ã‚¹ã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“ã‚Œã‚‰ã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® åŸºç›¤æŠ€è¡“ã‚‚æ—¥ã€…é€²æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“ã‚¹ã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJ æŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“èª²é¡Œã«å–ã‚Šçµ„ã‚“ã§
r-west 2013/09/05
åœè«–

Programming

haskell
ãƒªãƒ³ã‚¯
Agda ã«ã‚ˆã‚‹åœè«–å…¥é–€
Menu Menu Agda ã§è¨¼æ˜Žã—ãªãŒã‚‰åœè«–ã‚’å¦ã¶ã¨ã„ã†äºˆå®šã§ã™ã€‚ã‚ã¾ã‚Šå…¥é–€ã§ã¯ãªã„ã‹ã‚‚ã€‚ Higher-Order Categorical Logic ã® 0ç« ã«ç›¸ç‰ã™ã‚‹å†…å®¹ã§ã™ã€‚ BitBucket category-exercise-in-agda source code Agda ã®å…¥é–€ã®è¦ç´„ Agda ã®å…¥é–€ Agda ã®é›†åˆã® Level Agda ã® record Agda ã®Reasoning Caategory module ã¨åœã®å…¥é–€ è‡ªç„¶å¤‰æ› IdentityFunctor ã¨ Hom Reasoning Monad ã®çµåˆå‰‡ Sets ã¨ Monoid ã‚’ä½¿ã£ãŸ Monad ã®ä¾‹ Kleisli åœã®æ§‹æˆ ã“ã“ã¾ã§ãŒ Monad ã‚’ç†è§£ã™ã‚‹ãŸã‚ã®éƒ¨åˆ†ã€‚ä»¥ä¸‹ã¯ã€Adjoint é–¢é€£ã§ã™ã€‚ Adjoint ã‹ã‚‰ã€€Monad ã‚’å°Žã Kleisli åœã«ã‚ˆã‚‹ Mona
r-west 2013/08/23
functional

åœè«–

agda

å¾Œã§èªã‚€

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
é–¢æ•°ã‚’æ‰±ãˆã‚‹ã ã‘ã§ã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’è¡¨ç¾ã™ã‚‹ã«ã¯ä¸ååˆ†éŽãŽã‚‹ - xuwei-k's blog
ã¤ã¾ã‚Šãªãœã‹ã„ããªã‚Šé«˜éšŽåž‹ã®è©±ã§ã™ã€‚ ã“ã‚Œ é–¢æ•°ã‚’æ‰±ãˆã‚‹ã“ã¨ã¯ã©ã®ã‚ˆã†ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®èƒ½åŠ›ã‚’ã‚ã’ã‚‹ã‹ ã«å¯¾ã™ã‚‹ä¾¿ä¹—ã¨ã„ã†ã‹ãƒ„ãƒƒã‚³ãƒŸã¨ã—ã¦ã€‚ ã¤ã„å…ˆæ—¥ã‚‚ã‚ã‚‹äººãŒã“ã‚“ãªã“ã¨ https://twitter.com/koropicot/status/365014333413011457 ã‚’è¨€ã£ã¦ã„ã¦*1ã€ã€Œã§ã™ã‚ˆããƒ¼ã€ã¨å‹æ‰‹ã«ç´å¾—ã—ã¦ã„ãŸã‚Šã—ã¾ã—ãŸãŒã€‚ ã¤ã¾ã‚ŠScalazã§ã‚ˆãã¿ã‚‹ã‚ˆã†ãªé«˜éšŽåž‹ trait Monad[F[_]] extends Applicative[F] { implicit val listMonad = new Monad[List]{ ãŒãªã„ã¨ã€ãƒ¢ãƒŠãƒ‰ã¨ã—ã¦æŠ½è±¡åŒ–ã‚„å…±é€šåŒ–ãŒã§ããªã„ã€ã¨ã„ã†è©±ã§ã™ã€‚*2 é«˜éšŽåž‹ã«ã¤ã„ã¦ã¯ãŸã¨ãˆã°ã“ã‚Œ (ã‚‚ã‚Šãã°)Scalaã«ã‚ˆã‚‹é«˜éšŽåž‹å¤‰æ•° - Higher-kind Generics ã¨ã‹èªã‚“ã§ãã ã•ã„ã€‚ é–¢æ•°ãŒã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆã¨ã—ã¦æ‰±
r-west 2013/08/08
ãƒ‰ç´ äººã¨ã—ã¦ã¯doè¨˜æ³•ç„¡ãã¡ã‚ƒè¾›ã„ãªä½ã«æ€ã£ã¦ãŸã‘ã©ã€ãªã‚“ã§ã‚‚ã„ã„ã‹ã‚‰ãƒ¢ãƒŠãƒ‰ã‚’ã©ã†ã«ã‹ã™ã‚‹ã¿ãŸã„ãªãƒ¡ã‚¿ãªäº‹ãŒå‡ºæ¥ãªã„ã£ã¦ã“ã¨ï¼Ÿãã‚Œã£ã¦Scalaã§ã‚‚scalazã¨ã‹ã§ãªã„ã¨ã‚ã‚“ã¾ã‚„ã‚“ãªã„äº‹ã£ã¦ã‚¤ãƒ¡ãƒ¼ã‚¸ã ã‘ã©ã€ä½•ã‹å‹˜é•

Java8

åœè«–

scala
ãƒªãƒ³ã‚¯
ã¯ã¦ãªãƒ–ãƒã‚° | ç„¡æ–™ãƒ–ãƒã‚°ã‚’ä½œæˆã—ã‚ˆã†
å¤ä¼‘ã¿ä½•é£Ÿã¹ã¦ã‚‹ï¼Ÿé ‘å¼µã‚‰ãªã„ç·¨ ã€Œã†ã‰ã‰ï¼ä½•ã§ã¿ã‚“ãªä¸€æ—¥ä¸ãŠè…¹ç©ºã„ã¦ã‚‹ã‚“ã ãƒ¼ï¼ã€å†·è”µåº«ã‚’é–‹ãå ãˆã‚‹å¤ä¼‘ã¿ã€‚æ¯ã•ã‚“ã®å«ã³ã‚’èžãã€2ãƒ€ãƒ¼ã‚¹ã®åµãŒä¸€æ–‰ã«ã“ã¡ã‚‰ã‚’è¦‹ã¦æ…°ã‚ã‚‹ã‚ˆã†ãªé¡”ã‚’ã—ãŸã€‚åˆ†ã‹ã£ã¦ã‚‹ã‚ã‚ˆã€å ãˆãŸã£ã¦ã”é£¯ã¯å‡ºã¦ã“ãªã„ã‚ã‚ˆï¼ ä½œã‚‹â†’é£Ÿã¹ã‚‹â†’ç‰‡ä»˜ã‘ã‚‹â†’ä½œã‚‹ã®ç„¡é™ãƒ«ãƒ¼ãƒ— ãã“ã«ã€é€è¿Žã¨â€¦
r-west 2011/12/14
ã“ã‚Œã¯ã„ã„ï¼

haskell

åœè«–
ãƒªãƒ³ã‚¯
ãƒ¢ãƒŠãƒ‰ã®ãŸã‚ã®åœè«–å…¥é–€ - é‡ã®ä¸Šã§processã¯å¹¾ã¤è¸Šã‚Œã‚‹ã‹ï¼Ÿ
ã€Œãƒ¢ãƒŠãƒ‰ã¯è‡ªå·±é–¢æ‰‹åœã®ãƒ¢ãƒŽã‚¤ãƒ‰å¯¾è±¡ã«ã™ãŽãªã„ã€ã¨ãƒ¯ãƒ‰ãƒ©ãƒ¼ã¯ã„ã£ãŸãŒãã®äº‹ã‚’èª¬æ˜Žã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ æ¬¡ã®ã‚‚ã®ã‚’èª¬æ˜Žã—ã¾ã™ã€‚ å¯¾è±¡ å°„ çµåˆå‰‡ æ’ç‰å°„ åœ é–¢æ‰‹ è‡ªç„¶å¤‰æ› åœã®åŸºç¤Ž åœã¯ä»¥ä¸‹ã®ã‚‚ã®ã‹ã‚‰æ§‹æˆã•ã‚Œã¾ã™ å°„ å¯¾è±¡ å°„ã¯ã‚½ãƒ¼ã‚¹ã¨ã‚¿ãƒ¼ã‚²ãƒƒãƒˆã‚’çµã¶çŸ¢å°ã¨ã•ã‚Œã¾ã™ XãŒã‚½ãƒ¼ã‚¹YãŒã‚¿ãƒ¼ã‚²ãƒƒãƒˆã®ç¤¾ã¯æ¬¡ã®é€šã‚Šã«è¨˜è¿°ã•ã‚Œã¾ã™ã€‚ å°„ã®çµåˆ ã®äºŒã¤ã®å°„ãŒå˜åœ¨ã—ãŸå ´åˆçµåˆã™ã‚‹äº‹ãŒã§ãã¾ã™ ã•ã‚‰ã«ä»¥ä¸‹ã®å…¬ç†ã‚’æº€ãŸã™å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ æ’ç‰å°„ çµåˆå‰‡ æ’ç‰å°„ ä»»æ„ã®å¯¾è±¡Xã«å¯¾ã—ã¦å°„ ãŒå˜åœ¨ã—æ’ç‰å°„ã¨ã„ã†ã€ã•ã‚‰ã«ä»»æ„ã®å°„ã«å¯¾ã—ã¦ ãŒæˆã‚Šç«‹ã¤ã€‚ çµåˆå‰‡ ãŒæˆã‚Šç«‹ã¡ã“ã‚Œã‚’çµåˆå‰‡ã¨ã„ã†ã€‚ é–¢æ‰‹ åœCã¨åœGãŒå˜åœ¨ã—ãŸã¨ã—ã¦ã€ Cã‹ã‚‰Gã«å¯¾ã—ã¦ å¯¾è±¡ å°„ ã‚’å¯¾å¿œã•ã›ã‚‹ã‚‚ã®ã§ã‚ã‚‹ã€‚ã“ã®æ™‚é–¢æ‰‹ã¯ä»¥ä¸‹ã®æ€§è³ªã‚’ä¿ã£ã¦ã„ãªã‘ã°ãªã‚‰ãªã„ã€‚ æ’ç‰å°„ å°„ã®åˆæˆ è‡ªç„¶å¤‰æ› åœCã¨åœDã®é–“ã«ã€Fã€Gã¨ã„ã†é–¢æ‰‹ãŒå˜åœ¨ã—ã€ Fã‹ã‚‰Gã¸ç§»ã™å°„ ãŒå˜
r-west 2011/07/24
ç°¡æ½”ã§ãƒ”ãƒ³ãƒã‚¤ãƒ³ãƒˆã§åŠ©ã‹ã‚‹ã€‚å¾Œã«ç¶šãã‚¨ãƒ³ãƒˆãƒªã‚‚ã€‚

haskell

monad

åœè«–

å¾Œã§èªã‚€

å¾Œã§æ›¸ã
ãƒªãƒ³ã‚¯
Arrow ã® first ãŒæº€ãŸã™ã¹ãå…¬ç†ãŒå¼ã ã‘ã ã¨ã‚ã‹ã‚Šã«ãã„ã®ã§å›³å¼ã«ã—ã¦ã¿ã‚‹ã€‚ - ã‚‰ã‚€ã ç•‘ã§ã¤ã‹ã¾ãˆã¦ (catcher in the Î»)
first ã¨ pure ã¯å›³å¼ã®ä¸ã§ã¯é–¢æ‰‹ã£ã½ã•ã‚’å‡ºã™ãŸã‚ First ã¨ Pure ã®ã‚ˆã†ã«å…ˆé å¤§æ–‡å—ã«ã—ã¦ã¿ãŸã€‚ å¤šç›¸ãªã‚‚ã®ã«ã¯æ°—åˆ†ã«ã‚ˆã£ã¦åž‹ã‚’è£œè¶³ã—ãŸã€‚ ï¼‘ï¼Žï¼»æ‹¡å¼µï¼½ first (pure f) = pure (fÃ—id) Hom(X,Y) ã§ X ã‹ã‚‰ Y ã¸ã®å°„ã®é›†ã¾ã‚Šã‚’è¡¨ã™ã¨ (-)Ã—id_D Hom(B,C) --------------> Hom(BÃ—D,CÃ—D) ï½œ ï½œ ï½œ Pure ï½œ Pure â†“ â†“ Hom(B,C) --------------> Hom(BÃ—D,CÃ—D) First_D ä¸Šè¾ºã¯é€šå¸¸ã®é–¢æ•°ã®ä¸–ç•Œã€ä¸‹è¾ºã¯ Arrow ã®ä¸–ç•Œã€‚ first (pure f) = pure (fÃ—id) ã§ f = id ã¨ã™ã‚‹ã¨ first (pure id) = pure (idÃ—id) pure id ã‚‚ pure (idÃ—id) ã‚‚ idA ãªã®ã§ firs
r-west 2010/11/28
ã™ã£ã‹ã‚Šå¿˜ã‚Œã¦ã‚‹â€¦ã€‚

åœè«–

Haskell

å¾Œã§èªã‚€
ãƒªãƒ³ã‚¯
åœã¨é–¢æ‰‹
é›†åˆã¨å†™åƒã€ä½ç›¸ç©ºé–“ã¨é€£ç¶šå†™åƒã€ç¾¤ã¨æº–åŒåž‹ç‰ã‚’ç·æ‹¬çš„ã«æ‰±ã†æ¦‚å¿µãŒåœã¨é–¢æ‰‹ã§ã™ã€‚ã‚‚ã¡ã‚ã‚“ä½ç›¸å¹¾ä½•å¦ã§é‡è¦ãªã®ã¯ãƒ›ãƒ¢ãƒã‚¸ãƒ¼ã‚„ãƒ›ãƒ¢ãƒˆãƒ”ãƒ¼ã«ä»£è¡¨ã•ã‚Œã‚‹ã‚ˆã†ã«ã€ä½ç›¸ç©ºé–“ã¨é€£ç¶šå†™åƒã®åœã‹ã‚‰ç¾¤ã¨æº–åŒåž‹ã®åœã¸ã®ãƒ›ãƒ¢ãƒˆãƒ”ãƒ¼ä¸å¤‰é–¢æ‰‹ã§ã™ã€‚ ã“ã†ã„ã£ãŸé¢¨ã«æ•°å¦ã§ã¯ã‚ã‚‹æ¦‚å¿µã‚’ã©ã‚“ã©ã‚“ã¨æŠ½è±¡åŒ–ã•ã›ã¦ã„ãã¨ã„ã†ã®ã¯è‰¯ãè¡Œã‚ã‚Œã‚‹ã“ã¨ã§ã™ã€‚æŠ½è±¡åŒ–ã¨ã„ã†ã®ã¯ä¸Žãˆã‚‰ã‚ŒãŸå¯¾è±¡ã®é‡è¦ãªæ€§è³ªã®ã¿ã®æŠœãå‡ºã™ã€ä½™åˆ†ãªæƒ…å ±ã¯æ¨ã¦ã‚‹ã¨ã„ã†ä½œæ¥ã§ã€æ€è€ƒã‚’æ˜Žç¢ºã«ã—ã¦ãã‚Œã¾ã™ã€‚ ãã‚Œã¨ã‚‚ã†ä¸€ã¤ã€æŠ½è±¡åŒ–ã•ã‚ŒãŸä¸ã§è€ƒãˆãŸæ¦‚å¿µã¨ã„ã†ã®ã¯ã€å…·ä½“æ€§ã‚’æ±‚ã‚ã‚‰ãŸæ™‚ã«åºƒãå¿œç”¨ãŒããã¨ã„ã†ç‚¹ã§ã™ã€‚ã“ã“ã§å®šç¾©ã™ã‚‹åœï¼ˆé–¢æ‰‹ï¼‰ã«ãŠã‘ã‚‹(co)limitã®è€ƒãˆã¯ãã®ã¾ã¾ã€é›†åˆã€ä½ç›¸ç©ºé–“ã€ç¾¤ãªã©ã«åæ˜ ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ åœè«–ã®æœ‰åãªæ•™ç§‘æ›¸ã¨ã—ã¦ã¯ã€ŒCategories for the working mathematicianã€ã€Mac98ã€‘ãŒæœ‰åã§ã‚ã‚‹ã€‚æ—¥æœ¬èªžç‰ˆã®ã€M
r-west 2009/07/12
å¾Œã§èªã‚€

åœè«–
ãƒªãƒ³ã‚¯
1