「ラムダ計算ã€ã‚’独å¦ã§å¦ç¿’ã™ã‚‹ãŸã‚ã®ï¼Œè¬›ç¾©ãƒŽãƒ¼ãƒˆã‚„PDFã®ãƒªãƒ³ã‚¯é›†ã€€ï¼ˆå¾©ç¿’用ã®å•é¡Œä»˜ã） - 主ã«è¨€èªžã¨ã‚·ã‚¹ãƒ†ãƒ 開発ã«é–¢ã—ã¦è¬›ç¾©ãƒŽãƒ¼ãƒˆã®ç›®æ¬¡ã¸ ラムダ計算ã¯ï¼Œã‚³ãƒ³ãƒ”ュータ・サイエンスã®é‡è¦ãªï¼‘分野。 「λã€ã‚’使ã£ã¦å„種ã®é–¢æ•°ã‚’記述ã—，λã©ã†ã—ã®è¨ˆç®—方法を習得ã™ã‚Œã°ãƒ»ãƒ»ãƒ» Haskellã‚„F#ãªã©ã®é–¢æ•°åž‹è¨€èªžã‚’ç¿’å¾—ã™ã‚‹ãŸã‚ã«å½¹ç«‹ã¤ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦ï¼Œé–¢æ•°ã«ã¤ã„ã¦ã®ç†è§£ã‚’æ·±ã‚ã‚‹ã“ã¨ãŒã§ãる。 複雑ãªã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ を簡易ã«è¨˜è¿°ã—ã¦ï¼ŒæŒ™å‹•ã‚„性質を予測ã™ã‚‹ã“ã¨ãŒã§ãる。 計算機科å¦ã®ï¼Œã‚ˆã‚Šæ·±ã„専門的ãªè©±é¡Œã‚’ç†è§£ã™ã‚‹ãŸã‚ã®è¶³ãŒã‹ã‚Šã‚’得られる。 ãªã©ã®ãƒ¡ãƒªãƒƒãƒˆãŒã‚る。 下記ã«ï¼Œç‹¬å¦ã§Î»è¨ˆç®—を勉強ã™ã‚‹ãŸã‚ã®ï¼Œ 入門レベルã®è¬›ç¾©ãƒŽãƒ¼ãƒˆã‚„Webページを掲載ã™ã‚‹ã€‚ èªã¿ã‚„ã™ã„便利ãªã‚‚ã®ãƒ»ã‚ã‹ã‚Šã‚„ã™ã„ã‚‚ã®ã‹ã‚‰ï¼Œå¿œç”¨çš„ãªã‚‚ã®ã¸ã¨ä¸¦ã¹ã¦ã‚る。 質ã®é«˜ã„ã‚‚ã®ã ã‘ã‚’ç²¾é¸ã—，ã‚ã‹ã‚Šã¥ã‚‰ã„資料ã¯é™¤å¤–ã—ã¦ã‚る。 ラムダ計算ã®æ¦‚è¦ ãƒ©ãƒ ãƒ€è¨ˆç®—ã®åŸºç¤Ž ラムダ計算ã®å¿œç”¨ 復習ã®ãŸã‚ã®å•é¡Œï¼ˆå…¥é–€ãƒ¬ãƒ™ãƒ«ï¼‰ ※λ計算を利用ã—ãŸè¨ˆç®—é‡ãƒ»è¨ˆç®—複雑性・計算å¯èƒ½
関数型言語を採用ã™ã‚‹ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆãŒå¢—åŠ ã€æžœãŸã—ã¦æœ¬å½“ã«é–‹ç™ºåŠ¹çŽ‡ã¯é«˜ã„ã®ã‹ï¼Ÿ | スラド デベãƒãƒƒãƒ‘ー
Rubyを使ã£ã¦ã€Œãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ã€ã‚’èªã¿è§£ã（改定）─ å‰ç·¨ ─ 但ã—後編ã®äºˆå®šãªã—
Lecture 19 | Programming Paradigms (Stanford)
人力検索 - 関数型言語（プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžScheme, Haskellãªã©ï¼‰ã‚’勉強ã—よã†ã¨æ€ã£ã¦ã„ã¾ã™ã€‚ 関数型言語ã®å‹‰å¼·æ–¹æ³•
Uranus
2011-01-11
java使ã„ã®ãŸã‚ã®Scala ã®å‹‰å¼·ã®ãŸã‚ã®è³‡æ–™ä½œã‚Š scalaã£ã¦ç´ 晴らã—ã„ ã„ã‚ã„ã‚1 - nazokingã®ãƒ–ãƒã‚°
Lispç³»ã§Google App Engine開発ã€Closureã¨ã„ã†é¸æŠžè‚¢ | エンタープライズ | マイコミジャーナル
IBM Developer
IBM Developer
SICP関数型言語ã®å‹‰å¼·ã«ã€Œè¨ˆç®—機プãƒã‚°ãƒ©ãƒ ã®æ§‹é€ ã¨è§£é‡ˆã€ã‚’èªã‚‚ㆠ- ã²ã’ã½ã‚“ OSã¨ã‹ä½œã£ã¡ã‚ƒã†ã‹Mona-
第7回 関数脳ã®ã¤ãり方　First Season
畳ã¿è¾¼ã¿é–¢æ•°ã®æ¯”較 (fold / accumulate / inject / reduce) - blanket log
{{#tags}}- {{label}}
{{/tags}}