ラムダ計算 - Wikipediaã“ã®è¨˜äº‹ã«ã¯å‚考文献や外部リンクã®ä¸€è¦§ãŒå«ã¾ã‚Œã¦ã„ã¾ã™ãŒã€è„šæ³¨ã«ã‚ˆã‚‹å‚ç…§ãŒä¸å分ã§ã‚ã‚‹ãŸã‚ã€æƒ…å ±æºãŒä¾ç„¶ä¸æ˜Žç¢ºã§ã™ã€‚ é©åˆ‡ãªä½ç½®ã«è„šæ³¨ã‚’è¿½åŠ ã—ã¦ã€è¨˜äº‹ã®ä¿¡é ¼æ€§å‘上ã«ã”å”力ãã ã•ã„。（2020å¹´5月） ラムダ計算（ラムダã‘ã„ã•ã‚“ã€è‹±èªž: lambda calculus）ã¯ã€è¨ˆç®—模型ã®ã²ã¨ã¤ã§ã€è¨ˆç®—ã®å®Ÿè¡Œã‚’関数ã¸ã®å¼•æ•°ã®è©•ä¾¡ï¼ˆè‹±èªž: evaluation）ã¨é©ç”¨ï¼ˆè‹±èªž: application）ã¨ã—ã¦ãƒ¢ãƒ‡ãƒ«åŒ–・抽象化ã—ãŸè¨ˆç®—体系ã§ã‚る。ラムダ算法ã¨ã‚‚言ã†ã€‚関数を表ç¾ã™ã‚‹å¼ã«æ–‡å—ラムダ (λ) を使ã†ã¨ã„ã†æ…£ç¿’ã‹ã‚‰ãã®åãŒã‚る。アãƒãƒ³ã‚¾ãƒ»ãƒãƒ£ãƒ¼ãƒã¨ã‚¹ãƒ†ã‚£ãƒ¼ãƒ´ãƒ³ãƒ»ã‚³ãƒ¼ãƒ«ãƒ»ã‚¯ãƒªãƒ¼ãƒã«ã‚ˆã£ã¦1930年代ã«è€ƒæ¡ˆã•ã‚ŒãŸã€‚1936å¹´ã«ãƒãƒ£ãƒ¼ãƒã¯ãƒ©ãƒ ダ計算を用ã„ã¦ä¸€éšŽè¿°èªžè«–ç†ã®æ±ºå®šå¯èƒ½æ€§å•é¡Œã‚’（å¦å®šçš„ã«ï¼‰è§£ã„ãŸã€‚ラムダ計算ã¯ã€Œè¨ˆç®—å¯èƒ½ãªé–¢æ•°ã€ã¨ã¯ãªã«ã‹ã‚’定義ã™ã‚‹ãŸã‚ã«ç”¨ã„られるã“ã¨ã‚‚ã‚る。計算ã®æ„味論や型ç†è«–
Using GraalVM to run Native Java in AWS Lambda with Golang
GitHub - AdoptOpenJDK/lambda-tutorial: Exercises to learn lambda syntax + the Streams API from the upcoming JDK 8 release
http://www.parleys.com/play/5251c164e4b0a43ac1212459/about
Unit Testing Lambda Expressions
State of the Lambda
本ã®è™«: lambda 完全解説
Java ラムダå¼ã®ã‚·ãƒ³ã‚¿ãƒƒã‚¯ã‚¹ã®ç¬¬ä¸€ãƒãƒ¼ã‚¸ãƒ§ãƒ³ãŒè°è«–ã«ç«ã‚’ã¤ã‘ã‚‹
Lambda Calculus Integers, implemented as Church Numerals
{{#tags}}- {{label}}
{{/tags}}