[B! Functional Programming] yyamanoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

yyamano id:yyamano

Functional Programmingã«é–¢ã™ã‚‹yyamanoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (12)

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

JOI æ˜¥åˆå®¿ã®è¬›ç¾©è³‡æ–™ - ç´”ç²‹é–¢æ•°åž‹é›‘è¨˜å¸³
id:iwiwi ã•ã‚“ã‹ã‚‰ã”ç´¹ä»‹ã«ä¸Žã‚Šã¾ã—ã¦ã€JOIæ˜¥åˆå®¿ã«ã¦è¬›ç¾©ã‚’ã•ã›ã¦é ‚ãã¾ã—ãŸã€‚ãƒ†ãƒ¼ãƒžã¯ãªã‚“ã§ã‚‚è‰¯ã„ã¨ã®ã“ã¨ã§ã—ãŸã®ã§ã€é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ã¨ã„ã†ã“ã¨ã§è©±ã•ã›ã¦é ‚ãã¾ã—ãŸã€‚ã‚¹ãƒ©ã‚¤ãƒ‰ã‚’ä»¥ä¸‹ã«å…¬é–‹ã—ã¦ãŠã‚Šã¾ã™ã€‚ é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€View more presentations from tanakh. è´ã„ã¦é ‚ã„ãŸçš†ã•ã¾ã€æ‹™ã„è¬›ç¾©ã§ã¯ã‚ã‚Šã¾ã—ãŸãŒã€ã©ã†ã‚‚ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã—ãŸã€‚äºŒæ™‚é–“ã‚‚é ‚ã‘ã‚‹ã¨ã®ã“ã¨ã ã£ãŸã®ã§ã€ã‚ã‚Œã‚‚ã“ã‚Œã‚‚è©±ã—ãŸã„ã¨ãªã£ã¦ã€ã¾ã¨ã¾ã‚Šã®ãªã„ç™ºè¡¨ã«ãªã£ã¦ã—ã¾ã£ãŸæ„ŸãŒå¦ã‚ã¾ã›ã‚“ãŒã€å°‘ã—ã§ã‚‚é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é…åŠ›ãŒä¼ã‚ã‚Œã°å¹¸ã„ã§ã™ã€‚é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ã¨ã„ã†ã“ã¨ã§ã€é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’å…¨ãçŸ¥ã‚‰ãªã„äººã‚’ã‚¿ãƒ¼ã‚²ãƒƒãƒˆã«ä½œã‚Šã¾ã—ãŸãŒã€å°‘ã€…ç„¡ç†ãŒã‚ã£ãŸã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ç§ã¯ãƒãƒ«ãƒ¼å€¤ãŒ1ã‚’åˆ‡ã‚‰ãªã„ã¨ãªã‹ãªã‹æº–å‚™ã«å–ã‚ŠæŽ›ã‹ã‚Œãªãã¦ã€å½“æ—¥ã¯æº–å‚™ä¸è¶³ã§è³‡æ–™ã®ãƒŸã‚¹ã‚‚ç›®ç«‹ã£ãŸã—ã€è³‡æ–™ã®é€€å±ˆã•ã‚’
yyamano 2010/04/02
Functional Programming
ãƒªãƒ³ã‚¯
ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹
John Hughes, Institutionen fÃ¶r Datavetenskap, Chalmers Tekniska HÃ¶gskola, 41296 GÃ¶teborg, SWEDEN. [email protected] ã“ã®æ—¥æœ¬èªžè¨³ã¯åŽŸè‘—è€…ã®æ‰¿è«¾ã‚’å¾—ã¦å±±ä¸‹ãŒã“ã“ã«å…¬é–‹ã™ã‚‹ã‚‚ã®ã§ã™ã€‚ ã“ã®è¨³æ–‡ã«ã¤ã„ã¦ã®ã€å¾¡æŒ‡æ‘˜ãªã©ã¯å±±ä¸‹ä¼¸å¤«(nobsun .at. sampou.org)ã¾ã§ãŠããŒã„ ã„ãŸã—ã¾ã™ã€‚ ç¿»è¨³æœ€çµ‚æ›´æ–°æ—¥ : 2011-09-17 åŽŸæ–‡ "Why Functional Programming Matters" æ—¥æœ¬èªžè¨³PostScript ã“ã®è«–æ–‡ã¯1984å¹´ä»¥æ¥ä½•å¹´ã‚‚ã®ã‚ã„ã Chalmerså¤§å¦ã®ãƒ¡ãƒ¢ã¨ã—ã¦å›žè¦§ã•ã‚ŒãŸã€‚ 1989å¹´ã¨1990å¹´ã«å¹¾åˆ†ã‹æ”¹è¨‚ã‚’ã—ãŸã®ãŒ[Hug89]ã¨ [Hug90]ã§ã‚ã‚‹ã€‚ã“ã®ç‰ˆã¯ã‚‚ã¨ã®Chalmerå¤§å¦ã®ãƒ¡ãƒ¢ ã®nroffåŽŸç¨¿ã‚’ã‚‚ã¨ã«
yyamano 2007/12/19
Functional Programming
ãƒªãƒ³ã‚¯
é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ä»£å…¥ - ã‚ã©ã‘ãªã„è©±
é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ã€ã‚ˆãã€Œä»£å…¥ã¯ä½¿ã£ã¦ã¯ãªã‚‰ãªã„ã€ã¨è¨€ã‚ã‚Œã¾ã™ã€‚é–¢æ•°åž‹è¨€èªžã®ä¸€ç¨®ã§ã‚ã‚‹ Emacs Lisp ã‚’ç”Ÿæ¥ã¨ã™ã‚‹åƒ•ã¯ã€ã“ã®è¨€è‘‰ã«é•·å¹´æ‚©ã¾ã•ã‚Œã¦ãã¾ã—ãŸã€‚ä»£å…¥ã‚’ä½¿ã‚ãªã„ã§å®Ÿç”¨çš„ãªãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãã“ã¨ã¯ç„¡ç†ã ã‹ã‚‰ã§ã™ã€‚ ã‚‚ã¡ã‚ã‚“ã€å•é¡Œã®å†…å®¹ãŒæ•°å¦ã®é–¢æ•°ã«é¡žä¼¼ã—ãŸã‚‚ã®ãªã‚‰ã€ä»£å…¥ã‚‚å‰¯ä½œç”¨ã‚‚ãªã„ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãã“ã¨ã¯ç°¡å˜ã§ã™ã€‚éšŽä¹—(factorial)ã®ã‚³ãƒ¼ãƒ‰ã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ã«å¥‡éº—ã«å®Ÿè£…ã§ãã¾ã™ã€‚ (defun factorial(n) (if (= n 1) 1 (* n (factorial (1- n))))) ã—ã‹ã—ã€ã“ã†æ›¸ã‘ã‚‹ã“ã¨ã¨ã€å®Ÿéš›ã«ã“ã†æ›¸ãã‹ã¨ã„ã†ã“ã¨ã¨ã¯åˆ¥å•é¡Œã§ã™ã€‚ Scheme ã®ã‚ˆã†ã«æœ«å°¾æœ€é©åŒ–ã‚’å®Ÿè£…ã—ã¦ã„ã¦ã€æœ«å°¾å†å¸°ã‚’ãƒ«ãƒ¼ãƒ—ã«å¤‰æ›ã—ã¦ãã‚Œã‚‹ãªã‚‰ã€ä¸Šè¨˜ã‚’æœ«å°¾å†å¸°ã«å¤‰æ›ã—ãŸã‚³ãƒ¼ãƒ‰ã‚’æ›¸ãã§ã—ã‚‡ã†ã€‚ ã—ã‹ã—ã€Emacs Lisp ã«ã¯æœ«å°¾æœ€é©åŒ–ãŒã‚ã‚Šã¾ã›ã‚“ã‹ã‚‰ã€ã‚¹ã‚¿ãƒƒ
yyamano 2007/12/19
gotoãŒã‚ˆããªã„æœ¬å½“ã®ç†ç”±ã€‚é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åˆ©ç‚¹ã¯é«˜éšŽé–¢æ•°ã¨é…å»¶è©•ä¾¡ã€‚ã‚‚ã†å°‘ã—è‰¯ãè€ƒãˆãªã„ã¨ã€ã“ã®ä¸»å¼µãŒæ£ã—ã„ã®ã‹ã©ã†ã‹åƒ•ã«ã¯ã‚ã‹ã‚‰ãªã„ã€‚

Emacs

Functional Programming
ãƒªãƒ³ã‚¯
ä¿ºæ§˜è¨€èªž Lazy ã‚’ä½œã‚‹ã€‚ç•ªå¤–ç·¨ã€‚Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã€‚ - è¨€èªžã‚²ãƒ¼ãƒ
Y ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¨ã¯ä½•ã‹ï¼Ÿ ã‚ãªãŸã¯ã©ã‚“ãªè¨€è‘‰ã§ã‚‚ä½¿ã†äº‹ãŒå‡ºæ¥ã¾ã™ã€‚ã—ã‹ã—ã€çŸ¥ã‚‰ãªã„è¨€è‘‰ã‚’ä½¿ã†æ™‚ã¯ã€ä»Šã¾ã§çŸ¥ã£ã¦ã„ã‚‹è¨€è‘‰ã§èª¬æ˜Žã§ããªãã¦ã¯ãªã‚Šã¾ã›ã‚“ã€‚ ä¾‹ãˆã°ã€ã€Œã‚«ãƒ‹ã€ã¨ã€Œã‚³ãƒãƒƒã‚±ã€ã¨ã€Œã‚¯ãƒªãƒ¼ãƒ ã€ã ã‘ã‚’çŸ¥ã£ã¦ã„ã‚‹æ™‚ã€ã‚ãªãŸã¯ã€Œã‚«ãƒ‹ã‚¯ãƒªãƒ¼ãƒ ã‚³ãƒãƒƒã‚±ã€ã«ã¤ã„ã¦èªžã‚‹äº‹ãŒå‡ºæ¥ã¾ã™ã€‚ã€Œã€Žã‚«ãƒ‹ã‚¯ãƒªãƒ¼ãƒ ã‚³ãƒãƒƒã‚±ã€ã¨ã¯ã€ã€Žã‚«ãƒ‹ã€ã®å‘³ã®ã™ã‚‹ã€Žã‚¯ãƒªãƒ¼ãƒ ã€ã®å…¥ã£ãŸã€Žã‚³ãƒãƒƒã‚±ã€ã§ã‚ã‚‹ã€‚ã€ã—ã‹ã—ã€ã€Œã‹ã¼ã¡ã‚ƒã‚³ãƒãƒƒã‚±ã€ã«ã¤ã„ã¦ã¯èªžã‚‹äº‹ã¯å‡ºæ¥ã¾ã›ã‚“ã€‚ãªãœãªã‚‰ã€Œã‹ã¼ã¡ã‚ƒã€ã«ã¤ã„ã¦ä½•ã‚‚çŸ¥ã‚‰ãªã„ã‹ã‚‰ã§ã™ã€‚ ã•ã¦ã“ã“ã§å•é¡Œã€‚ã€Œçš®ã€ã‚„ã€Œå‰¥ã„ã ç‰©ã€ã«ã¤ã„ã¦çŸ¥ã£ã¦ã„ã‚‹æ™‚ã€æ¬¡ã®èª¬æ˜Žã¯é©å½“ã§ã—ã‚‡ã†ã‹ï¼Ÿã€Œã€Žã‚¿ãƒžãƒã‚®ã€ã¨ã¯ã€ã€Žã‚¿ãƒžãƒã‚®ã€ã®ã€Žçš®ã€ã‚’å‰¥ã„ãŸç‰©ã§ã‚ã‚‹ã€‚ã€ç§ãŸã¡ã¯ã€ã‚¿ãƒžãƒã‚®ã®çš®ã‚’å‰¥ã„ã¦ã‚‚ã‚¿ãƒžãƒã‚®ã§ã‚ã‚‹äº‹ã‚’çŸ¥ã£ã¦ã„ã¾ã™ã€‚ã—ã‹ã—ã€ã‚¿ãƒžãƒã‚®ã‚’èª¬æ˜Žã™ã‚‹ã®ã«ã‚¿ãƒžãƒã‚®ã‚’è©±é¡Œã«å‡ºã—ã¦ã‚‚è‰¯ã„ã‚‚ã®ã§ã—ã‚‡ã†ã‹ï¼Ÿã‚¤ãƒ³ãƒã‚è‡ã„æ„Ÿã˜ãŒã—ã¾ã›ã‚“ã‹ï¼Ÿã“ã†ã„ã†ã®ã‚’
yyamano 2007/10/22
ã‚ˆãç†è§£ã§ããªã‹ã£ãŸã€‚

Functional Programming
ãƒªãƒ³ã‚¯
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…æ–¹æ³•è«–ã®ã™ã™ã‚---ç›®æ¬¡ | æ—¥çµŒ xTECHï¼ˆã‚¯ãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰
ç†è€… ä½äº• è‹±äºŒéƒŽ ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”ç©¶åˆ†é‡ŽãŒã‚ã‚‹ã€‚ã“ã®åˆ†é‡Žã®ç ”ç©¶è€…ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„ï¼‰ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„è¨€èªžã‚„ãƒ¢ãƒ‡ãƒ«ã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”ç©¶ã—ã¦ã„ã‚‹ã€‚ãŸã ï¼Œãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã ã€‚ ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ã‚½ãƒ•ãƒˆã‚¦ã‚¨ã‚¢ç§‘å¦ã®æ§˜ã€…ãªç ”ç©¶ã‚’ï¼Œã§ãã‚‹ã ã‘æ™®é€šã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ãï¼ˆã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–ã‚ˆã‚Šã‚‚å®Ÿç”¨ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ãã€‚ æ›´æ–°ã¯æ¯Žæœˆç¬¬2æ°´æ›œæ—¥ï¼ˆ1æœˆã®ã¿ç¬¬3æ°´æ›œæ—¥ï¼‰
yyamano 2007/07/20
Programming language

Functional Programming

pi-calculus
ãƒªãƒ³ã‚¯
Practical Common Lisp
that book is dead sexy â€”Xach on #lisp (more blurbs) This page, and the pages it links to, contain text of the Common Lisp book Practical Common Lisp published by Apress These pages now contain the final text as it appears in the book. If you find errors in these pages, please send em ail to [email protected]. These pages will rem ain online in perpetuityâ€”I hope they will serve as a useful introdu
yyamano 2007/02/01
Functional Programming
ãƒªãƒ³ã‚¯
Photo Tourism: Microsoft Research, Interactive Visual Media Group
yyamano 2007/01/26
Functional Programming
ãƒªãƒ³ã‚¯
UNIX pipes as IO monads
Monadic i/o and UNIX shell programming This is an essay inspired by Philip Wadler's paper "How to Declare an Imperative" [Wadler97]. We will show uncanny similarities between monadic i/o in Haskell, and UNIX filter compositions based on pipes and redirections. UNIX pipes (treated semantically as writing to temporary files) are quite similar to monads. Furthermore, at the level of UNIX programming,
yyamano 2006/11/27
Functional Programming

Unix
ãƒªãƒ³ã‚¯
Computer Science - Vrije Universiteit Amsterdam
Exchange programme VU Graduate Winter School Honours programme VU-NT2 Semester in Amsterdam
yyamano 2006/10/12
Functional Programming

Software Design
ãƒªãƒ³ã‚¯
Uppsala Masterâ€™s Theses in Computing Science 178 Examensarbete DV3 2000-11-01 ISSN 1100â€“1836 Design Patterns for Simulations in Erlang/OTP Ulf EkstrÂ¨om Information Technology Computing Science Department Uppsala University Box 311 S-751 05 Uppsala S
Uppsala Masterâ€™s Theses in Computing Science 178 Examensarbete DV3 2000-11-01 ISSN 1100â€“1836 Design Patterns for Simulations in Erlang/OTP Ulf EkstrÂ¨om Information Techno logy Computing Science Department Uppsala University Box 311 S-751 05 Uppsala Sweden This work has been carried out at SjÂ¨oland & Thyselius Telecom AB Sehlstedtsgatan 6 SE-115 28 Stockholm Sweden Abstract The growing ï¬eld of Desi
yyamano 2006/10/12
Functional Programming

Software Design
ãƒªãƒ³ã‚¯
Pattern Languages of Functional Programs
These pages are for people interested in applying the ideas of patterns and pattern languages to the doing, understanding, and teaching of functional programming. This is just the beginning of what some hope will be a productive area of study. The web pages here are in a beta-release state. Why Patterns? Pattern languages describe how to build things. As such, patterns can be a good tool for helpi
yyamano 2006/10/12
Functional Programming

Software Design
ãƒªãƒ³ã‚¯
FPS - Functional Pattern System | MSCS | Victoria University of Wellington
These patterns can be used with any object-oriented language to advance software design. The patterns form a system, i.e., a collaborating set of patterns. In their "Related Patterns" sections the patterns refer to each other and to many other published design patterns. Each of the relevant areas (object-orientation, functional programming, design patterns) is introduced in the first part of
yyamano 2006/10/12
Patterns

Functional Programming
ãƒªãƒ³ã‚¯
1