map, reduce ã‚‚ã„ã„ã‘ã© transduce ã‚‚ã - QiitaDeleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
ã‚¢ãƒãƒ¼æ¼”ç®—åã®æ›¸å¼æ¯”較 - Qiita
Introduction Rubyã®ãƒ©ãƒ ダå¼ã§ã‚¢ãƒãƒ¼æ¼”ç®—åを覚ãˆã¦ä½¿ã†ã‚ˆã†ã«ãªã‚Šã¾ã—ãŸï¼Žãã‚“ãªã‚る日，Groovyã«æ‰‹ã‚’出ã—ãŸã®ã§ã™ãŒï¼Œã‚¢ãƒãƒ¼æ¼”ç®—åã«ã‚ˆã‚‹ãƒ¡ã‚½ãƒƒãƒ‰å®šç¾©ã®æ›¸å¼ãŒRubyã¨ç•°ãªã‚‹ã®ã§ã€Œï¼Ÿã€ã¨ãªã£ã¦ï¼Œè‰²ã€…ãªè¨€èªžã®ã‚¢ãƒãƒ¼æ¼”ç®—åã®æ›¸å¼ã«ã¤ã„ã¦èª¿ã¹ã¦ã¿ã¾ã—ãŸï¼Ž 調ã¹ã¦ã¿ã‚‹ã¨ï¼Œã€Œãƒ©ãƒ ダå¼ã€ã€Œã‚¢ãƒãƒ¼æ¼”ç®—åã€ã€Œã‚¢ãƒãƒ¼é–¢æ•°ã€ã€Œã‚¯ãƒãƒ¼ã‚¸ãƒ£ã€ãªã©å‘¼ã³æ–¹ã‚‚仕組ã¿ã‚‚ã•ã¾ã–ã¾ã§ã‚り，åŒã˜ã‚‚ã®ã¨ã—ã¦æ‰±ã£ã¦è‰¯ã„ã®ã‹æ‚©ã¿ã¾ã—ãŸãŒï¼Œã›ã£ã‹ã調ã¹ãŸã®ã§å…¬é–‹ã—ã¾ã™ï¼Žã“ã®æŠ•ç¨¿å†…容ã§ã¯ï¼Œã€Žã€Œ=>ã€ã‹ã€Œ->ã€ã‚’使ã£ã¦ãƒ¡ã‚½ãƒƒãƒ‰ï¼ˆã®ã‚ˆã†ãªã‚‚ã®ï¼‰ã‚’定義ã—ã¦å¤‰æ•°ã«ä»£å…¥ã—，（メソッドã®ã‚ˆã†ã«ï¼‰å®Ÿè¡Œã§ãã‚‹ã€ã‚‚ã®ã‚’対象ã¨ã—ã¦ã„ã¾ã™ï¼Ž ä»–ã«ã‚‚ã‚¢ãƒãƒ¼æ¼”ç®—åã«ã‚ˆã‚Šãƒ¡ã‚½ãƒƒãƒ‰ï¼ˆã®ã‚ˆã†ãªã‚‚ã®ï¼‰ã‚’記述ã§ãる言語ã¯ã‚ã‚Šã¾ã™ãŒï¼ŒçŸæ™‚é–“ã§èª¿ã¹ãŸã®ã§æŠœã‘ãŒã‚ã‚Šã¾ã™ï¼Žã”指摘ã„ãŸã ã‘ã‚Œã°å¾ã€…ã«æ”¹è¨‚ã—ã¦ã„ããŸã„ã¨æ€ã£ã¦ã„ã¾ã™ï¼Žã§ãã‚Œã°ã‚µãƒ³ãƒ—ルプãƒã‚°ãƒ©ãƒ ã¨ã¨ã‚‚ã«ã”
Island Life - 関数型料ç†
About å—ã®å³¶ã®ãƒ—ãƒã‚°ãƒ©ãƒžã€‚ ãŸã¾ã«å½¹è€…。 Practical Schemeã®ä¸»ã€‚ WiLiKi:Shiro 最近ã®ã‚¨ãƒ³ãƒˆãƒª 米国ã®å¤§å¦é€²å¦ç„¡é™cxré«˜æ ¡å—験Defense振り返ã£ã¦ã¿ã‚‹ã¨2019å¹´ã¯è‰²ã€…å¦ã‚“ã§æ¥½...覚ãˆã‚‹ã‚ˆã‚Šå¿˜ã‚Œã‚‹æ–¹ãŒé›£ã—ã„(ã“ã¨ã‚‚ã‚ã‚‹)眼é¡ã®ã¤ã‚‹ã¨3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動ã£ã¦è‡ªåˆ†ã‚’æ™’ã‘出ã•ãã°ãªã‚‰ãªã„ã¨...More... 最近ã®ã‚³ãƒ¡ãƒ³ãƒˆ Emma SugarRush on CLtL2 (2024/12/25)shiro on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/14)1357 on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/01)ベアトリーãƒã‚§ on ãƒã‚¤ãƒãƒã‚¤ãƒãƒã‚¤ãƒ
「ラムダ計算ã€ã‚’独å¦ã§å¦ç¿’ã™ã‚‹ãŸã‚ã®ï¼Œè¬›ç¾©ãƒŽãƒ¼ãƒˆã‚„PDFã®ãƒªãƒ³ã‚¯é›†ã€€ï¼ˆå¾©ç¿’用ã®å•é¡Œä»˜ã） - 主ã«è¨€èªžã¨ã‚·ã‚¹ãƒ†ãƒ 開発ã«é–¢ã—ã¦
講義ノートã®ç›®æ¬¡ã¸ ラムダ計算ã¯ï¼Œã‚³ãƒ³ãƒ”ュータ・サイエンスã®é‡è¦ãªï¼‘分野。 「λã€ã‚’使ã£ã¦å„種ã®é–¢æ•°ã‚’記述ã—，λã©ã†ã—ã®è¨ˆç®—方法を習得ã™ã‚Œã°ãƒ»ãƒ»ãƒ» Haskellã‚„F#ãªã©ã®é–¢æ•°åž‹è¨€èªžã‚’ç¿’å¾—ã™ã‚‹ãŸã‚ã«å½¹ç«‹ã¤ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦ï¼Œé–¢æ•°ã«ã¤ã„ã¦ã®ç†è§£ã‚’æ·±ã‚ã‚‹ã“ã¨ãŒã§ãる。 複雑ãªã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ を簡易ã«è¨˜è¿°ã—ã¦ï¼ŒæŒ™å‹•ã‚„性質を予測ã™ã‚‹ã“ã¨ãŒã§ãる。 計算機科å¦ã®ï¼Œã‚ˆã‚Šæ·±ã„専門的ãªè©±é¡Œã‚’ç†è§£ã™ã‚‹ãŸã‚ã®è¶³ãŒã‹ã‚Šã‚’得られる。 ãªã©ã®ãƒ¡ãƒªãƒƒãƒˆãŒã‚る。 下記ã«ï¼Œç‹¬å¦ã§Î»è¨ˆç®—を勉強ã™ã‚‹ãŸã‚ã®ï¼Œ 入門レベルã®è¬›ç¾©ãƒŽãƒ¼ãƒˆã‚„Webページを掲載ã™ã‚‹ã€‚ èªã¿ã‚„ã™ã„便利ãªã‚‚ã®ãƒ»ã‚ã‹ã‚Šã‚„ã™ã„ã‚‚ã®ã‹ã‚‰ï¼Œå¿œç”¨çš„ãªã‚‚ã®ã¸ã¨ä¸¦ã¹ã¦ã‚る。 質ã®é«˜ã„ã‚‚ã®ã ã‘ã‚’ç²¾é¸ã—，ã‚ã‹ã‚Šã¥ã‚‰ã„資料ã¯é™¤å¤–ã—ã¦ã‚る。 ラムダ計算ã®æ¦‚è¦ ãƒ©ãƒ ãƒ€è¨ˆç®—ã®åŸºç¤Ž ラムダ計算ã®å¿œç”¨ 復習ã®ãŸã‚ã®å•é¡Œï¼ˆå…¥é–€ãƒ¬ãƒ™ãƒ«ï¼‰ ※λ計算を利用ã—ãŸè¨ˆç®—é‡ãƒ»è¨ˆç®—複雑性・計算å¯èƒ½
実装ã—ã¦ç†è§£ã™ã‚‹é…延評価ã®ä»•çµ„㿠〜 thunkã‚’çµµã«æã„ã¦ç†è§£ã—よã†ãƒ»JavaScriptã§Haskellを実装ï¼ï¼Ÿ - プãƒã‚°ãƒ©ãƒ モグモグ
ã“ã®è¨˜äº‹ã§ã¯, Haskellã«ç”¨ã„られる「é…延評価ã€ã®ä»•çµ„ã¿ã‚’, 図ã«æã„ã¦èª¬æ˜Žã—ã¾ã™. æ›´ã«, é…延評価版ã®ãƒ•ã‚£ãƒœãƒŠãƒƒãƒæ•°ã®ç„¡é™åˆ—ã‚’, JavaScriptã§å®Ÿè£…ã—ã¾ã™. é…延評価ã¨ã¯ã©ã®ã‚ˆã†ã«å‹•ãã®ã‹, 考ãˆã¦è¡Œãã¾ã—ょã†. Haskellã®ã‚³ãƒ¼ãƒ‰ã¨JavaScriptã®ã‚³ãƒ¼ãƒ‰ã®æ¯”較 Haskellã§ã® x = y y = 10 ã¨, JavaScriptã® var x = y; var y = 10; ã¨ã„ã†ã‚³ãƒ¼ãƒ‰ã‚’考ãˆã¦ãã ã•ã„. Haskellã®ã‚³ãƒ¼ãƒ‰ã¯, ã“ã‚Œã ã‘ã§ã¯ä½•ã‚‚èµ·ã“ã‚Šã¾ã›ã‚“. print xã¨ã™ã‚‹ã¨, x = y = 10 ã¨ãªã£ã¦ 10 ãŒè¡¨ç¤ºã•ã‚Œã¾ã™. 一方, JavaScriptã®ã‚³ãƒ¼ãƒ‰ã¯ var x = y; を評価ã—ãŸçž¬é–“, ï½¢ReferenceError: y is not definedï½£ã¨ã„ã†ã‚¨ãƒ©ãƒ¼ãŒå‡ºã¾ã™. æ›´ã«, main = let x = 1
Functional languages ã®èµ·æº -- 2013-01-31 - ã±ãŸãƒ˜ãƒ
An Introduction to Functional Programming Through Lambda Calculusã‚’èªã‚“ã§ã„ãŸã‚‰ã€æœ€åˆã®ç« ã« functional language ã®æ´å²ãŒæ›¸ã‹ã‚Œã¦ã„ãŸã®ã§ã€ç°¡å˜ã«ã¾ã¨ã‚ã¦è¦‹ã¾ã—ãŸã€‚ Propositional calculus Propositional calculus Systemã§ã€Œå‘½é¡Œè¨ˆç®—ç³»ã€ã§ã™ã€‚19世紀ä¸é ƒã«ã€ãƒãƒŸãƒ«ãƒˆãƒ³ã€ãƒ‰ãƒ¢ãƒ«ã‚¬ãƒ³ã€ãƒ–ールé”ã«ã‚ˆã£ã¦ã€å½¢å¼åŒ–ã•ã‚Œã¾ã—ãŸã€‚基本的ãªå€¤ã¨ã—ã¦trueã€falseを使ã„ã€åŸºæœ¬çš„ãªæ¼”ç®—åã¨ã—ã¦ã€andã€orã€notを使ã„ã¾ã™ã€‚Propositional calculusã«ã‚ˆã£ã¦ã€ä»»æ„ã®å¼(expression)ãŒã€åŽŸç†(theorem)(常ã«çœŸ)ã‹ã©ã†ã‹ã‚’証明(prove)ã§ãã¾ã™ã€‚常ã«çœŸã§ã‚る基本的ãªå¼ã§ã‚ã‚‹å…¬ç†(axioms)ã‹ã‚‰é–‹å§‹ã—ã€å…¬ç†ã¨æ—¢çŸ¥ã®åŽŸç†ã«æŽ¨è«–è¦å‰‡(r
究極ã®é–¢æ•°åž‹è¨€èªžã«ã‚ˆã‚‹è‡³é«˜ã®Hello, world! - Life Goes On
以下ã®è¨˜äº‹ã¯ã€ R 教授ã«ã‚ˆã‚‹ S 大å¦ã§ã®è¬›ç¾©éŒ²ã‚’ Haskell Advent Calendar 2012 ã®ãŸã‚ã«è»¢è¼‰ã—ãŸã‚‚ã®ã§ã‚る。 ã¯ã˜ã‚ã« ãˆãƒ¼ã€ãã‚Œã§ã¯ã€ä»Šå¹´æœ€å¾Œã®æŽˆæ¥ã‚’始ã‚ãŸã„ã¨æ€ã†ã€‚今日ã¯ã€Žç©¶æ¥µã®é–¢æ•°åž‹è¨€èªžã«ã‚ˆã‚‹è‡³é«˜ã® Hello, world!ã€ã«ã¤ã„ã¦è¬›ç¾©ã™ã‚‹ã“ã¨ã«ã—ãŸã„。 “究極â€ã®é–¢æ•°åž‹è¨€èªžãŒä½•ã§ã‚ã‚‹ã‹ã«ã¤ã„ã¦ã¯è«¸èª¬ã‚ã‚ã†ãŒã€ã“ã“ã§ã¯ SKI コンビãƒãƒ¼ã‚¿è¨ˆç®—を指ã™ã‚‚ã®ã¨ã™ã‚‹ã€‚ã¾ãŸâ€œè‡³é«˜â€ã®å®šç¾©ã‚’ã€æœ€ã‚‚ç°¡æ½”ã§ã‚ã‚‹ã“ã¨ã€ã™ãªã‚ã¡æœ€ã‚‚çŸã記述ã•ã‚Œã¦ã„ã‚‹ã“ã¨ã¨å®šã‚る。 諸å›ã¯ç¬¬ä¸€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨ã—㦠Haskell ã‚’é¸æŠžã—ã¦ã„る者ãŒã»ã¨ã‚“ã©ã§ã‚ã‚ã†ã€‚当åˆã“ã®è¬›ç¾©ã‚‚ Haskell をベースã«è¡ŒãŠã†ã¨è€ƒãˆã¦ã„ãŸã€‚ã ãŒã€Haskell ã¯éžå¸¸ã«å·¨å¤§ãªè¨€èªžã¨ãªã£ã¦ã—ã¾ã£ã¦ãŠã‚Šã€è¨€èªžä»•æ§˜ã‚’把æ¡ã™ã‚‹ã ã‘ã§ã‚‚難ã—ã„。ã ã„ãŸã„ STG ㌠Spineless Tagless G
The Lazy K Programming Language
Lazy K Executive summary Lazy K is a garbage-collected, referentially transparent functional programming language, with a simple stream-based I/O system. What distinguishes Lazy K from other such languages is its almost total lack of other features. It does not, for example, offer an integrated Hindley-Milner polymorphic type system. It is not shipped with an extensive standard library with suppor
ラムダ計算 λ...
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
d.y.d. æ–‡å—コード＆ベイズ推定
12:21 06/05/28 ã†ãŸã²ã‚ 先日ã®è¨˜äº‹ã«æ›¸ã„ãŸã‚ˆã†ã« KOKIA ã«ãƒãƒžã‚Šã¾ã—ã¦ã€ ã¨ã‚Šã‚ãˆãšç‰‡ã£ç«¯ã‹ã‚‰è´ã„ã¦ã¿ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ã¾ãšã¯ 1st アルãƒãƒ 㮠『songbird〠ã‹ã‚‰ … …４曲目㮠"白ã„雪" ヤãƒã„。超ヤãƒã„。ãªã‚“ã ã“れ。ツボã™ãŽã‚‹ã€‚ ベスト盤をè´ã„ãŸã¨ãæ„Ÿã˜ãŸæºã‚‰ãŽãªãè½ã¡ç€ã„ãŸæŒå”±åŠ›çš„ãªæ›²ã‚’期待ã—ã¦è´ãã¯ã˜ã‚ãŸã‚‰ã€ 予想外ã®å£°è³ªã®æŒãŒé£›ã³è¾¼ã‚“ã§ãã¦ã³ã£ãã‚Šã—ã¾ã—ãŸã€‚ã‚‚ã¡ã‚ん抜群ã«å·§ã„ã®ã« ã‹ã‚ã‚Šã¯ãªã„ã‚“ã§ã™ãŒã€ãšã£ã¨å„šã’ãªã€ã‚¬ãƒ©ã‚¹ç´°å·¥ã¿ãŸã„ãªã‚¤ãƒ¡ãƒ¼ã‚¸ã®ã€ã‚ã‚ã€ãã®ã€ ã¤ã¾ã‚Šç™½ã„雪ã¿ãŸã„ãªé›°å›²æ°—ã®ç¶ºéº—ãªå£°ã§ã€‚ãã®å£°ã¨å¥‡è·¡çš„ã«ãƒžãƒƒãƒã—ãŸãƒ¡ãƒãƒ‡ã‚£ã€‚ ã™ã”ã„ãªã‚。９曲目㮠"ã‚ã‚ŠãŒã¨ã†â€¦" もベスト盤ã§ã®ãƒªãƒ†ã‚¤ã‚¯ã¨æ¯”ã¹ã¦åŒã˜å°è±¡ã§ã€ Amazonã®review 㧠TenderBerry ã•ã‚“ã¨ã„ã†æ–¹ãŒè¿‘ã„ã“ã¨ã‚’書ã„ã¦ãŠã‚‰ã‚Œã¾ã—ãŸã€‚ ã—ã‹ã—書ã„ã¦ã¦è‡ªåˆ†ã®èªžå½™ã®
ラムダ計算基礎文法最速マスター - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
ラムダ計算ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž, ã¨ãã«é–¢æ•°åž‹è¨€èªžã®åŽŸå½¢ã«ãªã£ã¦ã„ã¾ã™. ラムダ計算ã«ã¤ã„ã¦ç†è§£ã—ã¦ãŠãã“ã¨ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç¿’å¾—ã«å½¹ç«‹ã¤ã§ã—ょã†. ラムダ計算ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§, 計算能力ã¨ã—ã¦ã¯ãµã¤ã†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åŒã˜ã§ã™. ラムダ計算ã§è¨ˆç®—を書ã訓練をã—ã¦ãŠãã“ã¨ã¯, ä»»æ„ã®è¨ˆç®—を関数ã®ã¿ã‚’使ã£ã¦(ä»–ã®åˆ¶å¾¡æ§‹æ–‡ã‚’用ã„ãšã«)書ãã¨ãã«å½¹ç«‹ã¡ã¾ã™. ãµã¤ã†ã«æ›¸ã„ãŸã‚‰ç…©é›‘ãªå‡¦ç†ã‚’, 関数型言語ã®ã‚„ã‚Šæ–¹ã§æ›¸ãã¨ã™ã£ãã‚Šã™ã‚‹ã“ã¨ãŒå¤šã€…ã‚ã‚Š, コードを自由自在ã«æ›¸ããŸã‚ã«ã¯å¿…é ˆã®è€ƒãˆæ–¹ã¨è¨€ãˆã‚‹ã§ã—ょã†. é … ラムダ計算ã®å¼ã‚’é …(term)ã¨è¨€ã„ã¾ã™. é …ã¯å¤‰æ•°, 抽象, é©ç”¨ã®ã„ãšã‚Œã‹ã§ã™. 変数 変数(variable)ã¯ãµã¤ã†1æ–‡å—ã§æ›¸ãã¾ã™. 変数ã«ã¯é–¢æ•°å†…ã®æŸç¸›å¤‰æ•°(bound variable)ã‹è‡ªç”±å¤‰æ•°(free variable)ã‹ã¨ã„ã†åŒºåˆ¥ãŒã‚ã‚Š
λ計算ã¨ã¯ コンピュータã®äººæ°—・最新記事を集ã‚ã¾ã—㟠- ã¯ã¦ãª
ã¾ãšç„¡é™å€‹ã®å¤‰æ•°ãŒä¸Žãˆã‚‰ã‚Œã¦ã„ã‚‹ã¨ã™ã‚‹ã€‚変数ã¯é€šå¸¸x, yãªã©ã©è¨˜è¿°ã•ã‚Œã‚‹ã€‚変数ã‹ã‚‰å‡ºç™ºã—ã€æ¬¡ã®æ“作を繰り返ã—ã¦å¾—られるもã®ã‚’λå¼ã¨å‘¼ã¶ã€‚ λ抽象 λå¼Mã¨å¤‰æ•°xã‹ã‚‰ã€å¼Î»x. Mを生æˆã™ã‚‹æ“作。ã“ã‚Œã¯ã€å¤‰æ•°xã«å¼•æ•°ã‚’å—ã‘å–ã‚Šã€å€¤Mã‚’è¿”ã™é–¢æ•°ã‚’æ„図ã™ã‚‹ã€‚Mã«å«ã¾ã‚Œã‚‹å¤‰æ•°xã¯ã“ã®Î»ã«ã‚ˆã‚ŠæŸç¸›ã•ã‚Œã‚‹ã¨ã„ã†ã€‚ãŸã ã—ã€ã™ã§ã«æŸç¸›ã•ã‚Œã¦ã„ã‚‹ã‚‚ã®ã¯é™¤ã。 関数é©ç”¨ 二ã¤ã®Î»å¼M, Nを並ã¹ã¦çµåˆã—ãŸå¼MNを作るæ“作。ã“ã‚Œã¯å¼MãŒè¡¨ã™é–¢æ•°ã«å¼•æ•°ã¨ã—ã¦Nを与ãˆã‚‹ã“ã¨ã‚’æ„図ã™ã‚‹ã€‚ ã¾ãŸÎ»æŠ½è±¡ã‚„関数é©ç”¨ã®ç¯„囲を明確ã«ã™ã‚‹ãŸã‚ã«æ‹¬å¼§ã‚’用ã„る。 例: (λx. xx)(λx. xx),λf.(λx.(f (x x)) λx.(f (x x)))
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž
日本ã§ã¯ä½™ã‚ŠçŸ¥ã‚‰ã‚Œã¦ã„ã¾ã›ã‚“ãŒã€éžå¸¸ã«å„ªã‚ŒãŸç´”粋関数型言語Concurrent Cleanã®ä½¿ã„æ–¹ã€ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ãƒ»è¨€èªžãƒªãƒãƒ¼ãƒˆã®ç¿»è¨³ã‚’載ã›ã¦ã„ã¾ã™ã€‚一応ã“ã“ã ã‘見れã°ã€Cleanã®åŸºæœ¬ã¯åˆ†ã‹ã‚‹ã‚ˆã†ã«ã—ã¦ã„ã‚‹ã¤ã‚‚ã‚Šã§ã™ã€‚純粋関数型ã¨ã„ã†æœ€å…ˆç«¯ã®è¨€èªžã§ã‚ã‚ŠãªãŒã‚‰ã€çµ±åˆé–‹ç™ºç’°å¢ƒã‚’æŒã¡ã€GUI作æˆã®ãƒ©ã‚¤ãƒ–ラリも豊富ãªã€ãã—ã¦ã€åŠ¹çŽ‡çš„ãªexeファイルを出力ã™ã‚‹ã‚³ãƒ³ãƒ‘イラã§ã™ã€‚インタプリタã§ã¯ã‚ã‚Šã¾ã›ã‚“。 ã‚„ã¯ã‚Šè¨€ã£ã¦ãŠãã¹ããªã®ã§ã—ょã†ãŒã€ã“ã“ã«ã‚る内容ã¯ã€åŸºæœ¬çš„ã«ã€æ˜Žç¤ºçš„型宣言を行ã†å‘½ä»¤åž‹è¨€èªžåŠã³ã‚ªãƒ–ジェクト指å‘言語（具体的ã«ã¯ã€C/C++ã€Javaã€C#ã€Pascalç‰ï¼‰ã‚’ã‚„ã£ãŸäººã§ãªã„ã¨åˆ†ã‹ã‚‰ãªã„よã†ãªå†…容ãŒå¤šã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。 ãŸã ã€Rubyã®æ‰€ã¯ã€Rubyã ã‘分ã‹ã£ã¦ã„ã‚Œã°åˆ†ã‹ã‚‹å†…容ã ã¨æ€ã„ã¾ã™ã€‚ 個人的ãªæ„見ã§ã™ãŒã€é–¢æ•°åž‹è¨€èªžãれ自体ã¯å‘½ä»¤åž‹è¨€èªžã‚’勉強ã—ãªã„ã¾ã¾ã§ã‚‚å…¥ã£ã¦è¡Œã‘ã‚‹ã¨æ€
ラムダ計算ＡＢＣ
ä»™å°ãƒã‚¸ãƒƒã‚¯å€¶æ¥½éƒ¨ ラムダ計算ＡＢＣ æ•°å¦ã‚»ãƒŸãƒŠãƒ¼ï¼™ï¼’年８月å·ã‚ˆã‚Š Ａ. ラムダ計算ã¨ã¯ 今ã‹ã‚‰ï¼–ï¼å¹´ç¨‹å‰ã€ãƒ—リンストン大å¦ã®è‹¥æ‰‹è«–ç†å¦è€…Ａ．ãƒãƒ£ãƒ¼ãƒãŒã€é–¢æ•°ã®æ–°ã—ã„表記法をæ案ã—ã¾ã—ãŸã€‚ラムダ記法ã¨å‘¼ã°ã‚Œã‚‹ãã®è¡¨è¨˜æ³•ã§ã¯ã€ä¾‹ãˆã°äºŒä¹—を計算ã™ã‚‹é–¢æ•°ã¯ λx.x^2 ã¨è¡¨ã—ã¾ã™ã€‚従æ¥ã®"f(x)"ã¨ã„ã†æ›¸ãæ–¹ã¯ã€ãã‚ŒãŒé–¢æ•°ã‚’表ã™ã®ã‹ã€é–¢æ•°ã®xã«ãŠã‘る値を表ã™ã®ã‹ãŒæ›–昧ãªã®ã§ã€ãƒ©ãƒ ダ記法ã§ã¯ã€é–¢æ•°fã®xã«ãŠã‘る値をfxã§ç¤ºã—ã€xã«ãŠã‘る値ãŒf(x)ã¨ãªã‚‹é–¢æ•°fをλx.f(x)ã¨è¡¨ã™ã®ã§ã™ã€‚ "f(x)"ã¨ã„ã†è¡¨è¨˜æ³•ã®æ¬ 陥ã¯ã€é«˜æ ¡ã®æ•°å¦ã¾ã§ã§ã¯ã»ã¨ã‚“ã©è¡¨é¢åŒ–ã—ã¾ã›ã‚“ãŒã€å¤§å¦ã«å…¥ã£ã¦ã‹ã‚‰å®šç¾©åŸŸã‚„値域ãŒé–¢æ•°ã®é›†åˆã«ãªã‚‹ã‚ˆã†ãªé«˜éšŽé–¢æ•°ï¼ˆã‚ªãƒšãƒ¬ãƒ¼ã‚¿ã¨ã‹ä½œç”¨ç´ ã¨ã‚‚呼ã³ã¾ã™ï¼‰ã‚’扱ã„ã ã™ã¨ã™ãã‚ã‹ã‚Šã¾ã™ã€‚ä½œç”¨ç´ ãªã©ã¨ã„ã†ã¨ã²ã©ã特殊ãªã‚‚ã®ã®ã‚ˆã†ã§ã™ãŒã€é–¢æ•°f(x)ã«ãã®å°Žé–¢æ•°f'(x)を対応ã•ã›ã‚‹å¾®åˆ†æ¼”ç®—åＤ
SKI combinator calculus - Wikipedia
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language. It can be likened to a reduced version of the untyped lambda calculus. It was int
ラムダ計算 - Wikipedia
ã“ã®è¨˜äº‹ã«ã¯å‚考文献や外部リンクã®ä¸€è¦§ãŒå«ã¾ã‚Œã¦ã„ã¾ã™ãŒã€è„šæ³¨ã«ã‚ˆã‚‹å‚ç…§ãŒä¸å分ã§ã‚ã‚‹ãŸã‚ã€æƒ…å ±æºãŒä¾ç„¶ä¸æ˜Žç¢ºã§ã™ã€‚ é©åˆ‡ãªä½ç½®ã«è„šæ³¨ã‚’è¿½åŠ ã—ã¦ã€è¨˜äº‹ã®ä¿¡é ¼æ€§å‘上ã«ã”å”力ãã ã•ã„。（2020å¹´5月） ラムダ計算（ラムダã‘ã„ã•ã‚“ã€è‹±èªž: lambda calculus）ã¯ã€è¨ˆç®—模型ã®ã²ã¨ã¤ã§ã€è¨ˆç®—ã®å®Ÿè¡Œã‚’関数ã¸ã®å¼•æ•°ã®è©•ä¾¡ï¼ˆè‹±èªž: evaluation）ã¨é©ç”¨ï¼ˆè‹±èªž: application）ã¨ã—ã¦ãƒ¢ãƒ‡ãƒ«åŒ–・抽象化ã—ãŸè¨ˆç®—体系ã§ã‚る。ラムダ算法ã¨ã‚‚言ã†ã€‚関数を表ç¾ã™ã‚‹å¼ã«æ–‡å—ラムダ (λ) を使ã†ã¨ã„ã†æ…£ç¿’ã‹ã‚‰ãã®åãŒã‚る。アãƒãƒ³ã‚¾ãƒ»ãƒãƒ£ãƒ¼ãƒã¨ã‚¹ãƒ†ã‚£ãƒ¼ãƒ´ãƒ³ãƒ»ã‚³ãƒ¼ãƒ«ãƒ»ã‚¯ãƒªãƒ¼ãƒã«ã‚ˆã£ã¦1930年代ã«è€ƒæ¡ˆã•ã‚ŒãŸã€‚1936å¹´ã«ãƒãƒ£ãƒ¼ãƒã¯ãƒ©ãƒ ダ計算を用ã„ã¦ä¸€éšŽè¿°èªžè«–ç†ã®æ±ºå®šå¯èƒ½æ€§å•é¡Œã‚’（å¦å®šçš„ã«ï¼‰è§£ã„ãŸã€‚ラムダ計算ã¯ã€Œè¨ˆç®—å¯èƒ½ãªé–¢æ•°ã€ã¨ã¯ãªã«ã‹ã‚’定義ã™ã‚‹ãŸã‚ã«ç”¨ã„られるã“ã¨ã‚‚ã‚る。計算ã®æ„味論や型ç†è«–
λ Calculus - ã¾ãšã¯é…延評価ã‹ã‚‰ : 404 Blog Not Found
2008å¹´02月04æ—¥07:00 カテゴリLightweight Languages λ Calculus - ã¾ãšã¯é…延評価ã‹ã‚‰ ã†ãƒ¼ã‚“ã€ã¾ãšY Combinatorã¨ã„ã†ã®ã¯ãŠã˜ã•ã‚“ãŸã¡ãŒæ‚ªã‹ã£ãŸã‹ãªã€‚ギター習ã„ãŸã¦ã§ã„ããªã‚ŠFã®éŸ³ã‚’出ã™ã‚ˆã†ãªã‚‚ã‚“ã ã‹ã‚‰ã€‚ Haskell ã®ãƒªã‚¹ãƒˆã¨é…延評価ãŒå°‘ã—分ã‹ã£ãŸ - IT戦記 Y コンビãƒãƒ¼ã‚¿ã£ã¦ä½•ï¼Ÿ - IT戦記 ã¾ãšã¯ã€é…延評価ã«ã¤ã„ã¦ãã¡ã‚“ã¨ãŠã•ã‚‰ã„ã—ã¦ãŠã“ã†ã€‚ æ…Œã¦ã‚‹ãªã€ãƒ«ãƒ¼ãƒ—ã¯æ€¥ã«æ¢ã¾ã‚‰ãªã„ ã¾ãšã¯ã€ä»¥ä¸‹ã®å¼ã‚’考ãˆã¦ã¿ã‚‹ã€‚ (function(a, b, c){ return a ? b : c; })(true, 1, 1+1); 実行ã—ã¦ã¿ã‚‹ã¨ã€1ã¨ãªã‚‹ã¯ãšã 。ã—ã‹ã—ã“ã“ã§é‡è¦ãªã®ã¯ã“ã®ã“ã¨ã˜ã‚ƒãªã„。後ã‚ã®1+1ãŒå®Ÿè¡Œã•ã‚Œã‚‹ã‹ã 。ã“ã®ã“ã¨ã¯ã©ã†ã‚„ã£ã¦ç¢ºèªã—ãŸã‚‰ã‚ˆã„ã ã‚ã†ã‹ã€‚以下ã®ã‚ˆã†ã«ã—ã¦ã¿ã‚Œã°ã„ã„ã¯ãšã 。 var ELSE =
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Fixed-point combinator - Wikipedia
ラムダ計算入門
Readscheme.org
{{#tags}}- {{label}}
{{/tags}}