Project LambdaCan---Lambda Calculus in a Can
You can get soup in a can. You can get bread in a can (*). Now the long wait is over! You can finally get Lambda Calculus in a can. Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the En
Y コンビãƒãƒ¼ã‚¿ã£ã¦ä½•ï¼Ÿ - IT戦記
ã“ã®ã‚¨ãƒ³ãƒˆãƒªã® 親å‹ã¸ã€‚ブãƒã‚°ã‚’書ã“ã†ã€‚ - IT戦記 y ãŒãƒ–ãƒã‚°ã‚’始ã‚ãŸã¿ãŸã„ãªã®ã§ã€èªã‚“ã§ã¿ãŸã€‚ ã§ã€æœ€æ–°ã®ã‚¨ãƒ³ãƒˆãƒªã‚’èªã‚“ã§ã¿ãŸã‚‰ã€ Y コンビãƒãƒ¼ã‚¿ã¨ã„ã†ã‚‚ã®ã«ã¤ã„ã¦æ›¸ã„ã¦ã‚ã£ãŸã®ã§ã€ Y CombinatorãŒå‡„ã™ãŽã‚‹ï¼ - yuji1982ã®æ—¥è¨˜ Y コンビãƒãƒ¼ã‚¿ã£ã¦ä½•ã£ã¦ã¨ã“ã‚ã‹ã‚‰ã€è‡ªåˆ†ã§ã‚‚ã„ã‚ã„ã‚考ãˆã¦ã¿ãŸã€‚ çµå±€ãªã‚“ãªã®ã‹ã•ã£ã±ã‚Šåˆ†ã‹ã‚‰ãªã‹ã£ãŸã‚“ã§ã™ãŒã€è‡ªåˆ†ãŒè€ƒãˆãŸã“ã¨ã‚’ã¾ã¨ã‚ã¦ãŠã ã¾ãšã€ãƒ•ã‚£ãƒœãƒŠãƒƒãƒæ•°ã‚’求ã‚ã‚‹ fib を定義ã™ã‚‹ var fib = function(n){ return (n <= 2) ? 1 : (arguments.callee(n-1) + arguments.callee(n-2)); }; fib(10); ãŠãŠï¼ JS ã™ã’ーï¼åå‰ã¯ n ã—ã‹ä½¿ã£ã¦ããƒ¼ã‚ˆï¼ ã‚ã§ãŸã—ã€ã‚ã§ãŸã—。。。。ã˜ã‚ƒãªãã¦ï¼ JS ãŒç´ 晴らã—éŽãŽã¦è©±ãŒçµ‚ã‚ã£ã¦ã—ã¾
ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
（娘５æ³ï¼˜ãƒ¶æœˆï¼‰å¨˜ã®å¥½ç‰©ã¨å¹´é•·ã•ã‚“１å¦æœŸã®ãŠå¼å½“記録 娘をãŸã 微笑ã¾ã—ã見ã¤ã‚ã¦ã„ãŸã ã‘ãªã®ã«â€¦â€¦ï¼ˆå¤«ï¼‰ ã“ã£ã“ã®æœ€è¿‘ã®å¥½ç‰©ã¯ã€Œã«ã‚“ã˜ã‚“ã—ã‚Šã—ã‚Šã€ã¨ç´è±†ã‚’æ··ãœã¦é£Ÿã¹ã‚‹ã“ã¨ã€‚ 我ãŒå®¶ã®ã—ã‚Šã—り＆ç´è±†å¥½ãã¨ã„ãˆã°ã¾ãšå¤«ã§ã™ãŒã€å¤«ã¯åµå…¥ã‚Šã®ã—ã‚Šã—ã‚ŠãŒå¥½ãã§ã€ã“ã£ã“ã¯ã«ã‚“ã˜ã‚“ã¨ãƒ„ナã®ã—ã‚Šã—ã‚ŠãŒå¥½ã。ã‚ãŸã—ã¯ã©ã£ã¡â€¦
Good Math/Bad Math: My Favorite Calculus: Lambda (part 1)
(In the original version of this post, I tried using a javascript tool for generating MathML. It appears to not work very well; several browsers failed to render it correctly, and it doesn't work in an RSS feed. I've gone back and re-written everything in simple text format.) In computer science, especially in the field of programming languages, we tend to use one particular calculus a lot: the La
翻訳:コンビãƒãƒ¼ã‚¿è«–ç†ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
ã“ã®ãƒšãƒ¼ã‚¸ã¯ã€Combinatory Logic Tutorialã®ç¿»è¨³ã§ã™ã€‚ http://homepages.nyu.edu/~cb125/Lambda/ski.html 基本的ã«è¶…訳ã§ã™ã€‚ 訳ã®æ£ã—ã•ã¯å…¨ãä¿è¨¼ã•ã‚Œã¾ã›ã‚“。 訳ã®ãŠã‹ã—ã„部分ã¯å¤šæ•°ã‚ã‚Šã¾ã™ã€‚ 翻訳元サイトã®è¨±å¯ã‚’å–ã£ãŸã‚Šã¯ã—ã¦ã„ã¾ã›ã‚“。 ç„¡èªå¯ã§ã™ã€‚ 訳者ã«ã‚ˆã‚‹å‰æ›¸ãã¨æ„Ÿæƒ³ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è«–ç†ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« 訳者ã«ã‚ˆã‚‹å‰æ›¸ãã¨æ„Ÿæƒ³ 訳ã—ã¦ã¿ãŸã‚‚ã®ã®ã€ã¡ã‚‡ã£ã¨ã€ãŸã£ãŸã“ã‚Œã ã‘ã®èª¬æ˜Žã§ã¯ã€ã¯ã˜ã‚ã¦ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è«–ç†ã‚’知ã£ãŸäººãŒèªã‚“ã§å……分ã«ç†è§£ã§ãã‚‹ã¨ã¯æ€ãˆãªã„。 ã©ã†ã‚‚ã€ã“ã®æ–‡æ›¸ã¯ã€åŽŸæ–‡ã®ä¸Šä½ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªã«ã‚ã‚‹Lambda tutorialã‚’èªã‚“ã 後ã«èªã‚€ã¹ãã‚‚ã®ã£ã½ã„よã†ã 。 ã—ã‹ã—ã€æµçŸ³ã«ã“ã£ã¡ã¾ã§è¨³ã™æ°—力ã¯ç„¡ã„。 ãã†ã„ã†è¨³ã§ã€ã“ã‚Œã ã‘ã‚’èªã‚€ã‚ˆã‚Šã¯ã€Unlambdaã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’èªã‚“ã æ–¹ãŒãšã£ã¨ã€ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è«–ç†ã‚’ç†è§£
檜山æ£å¹¸ã®ã‚マイラ飼育記 - JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算
「JavaScriptã«ã‚ˆã‚‹ãƒ†ãƒ³ãƒ—レート・モナドã€ã™ã£ã’ー簡å˜!ã€ã«ã¦ï¼š ç´™ã¨é‰›ç†ã§ãƒ©ãƒ ダ計算を実行ã§ãã‚‹ã“ã¨ã¯å¿…è¦ã ãªã€ã‚„ã£ã±ã‚Šã€‚ ãªã‚“ã¦å¼·èª¿ã—ãŸã®ã§ã€ãƒ©ãƒ ダ計算ã®å…¥é–€ã€ã„ã£ã¦ã¿ã‚ˆã†ã€‚ [追記]ç·´ç¿’å•é¡Œé›†ã‚’è¿½åŠ ã—ã¾ã—ãŸã€‚説明をèªã¿ãªãŒã‚‰ã€ã‚ã‚‹ã„ã¯èªã‚“ã 後ã§æ˜¯éžã‚„ã£ã¦ã¿ã¦ãã ã•ã„。→「JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算 å•é¡Œé›†ã€[/追記] ※å°åˆ·ã®ã¨ãã¯ã‚µã‚¤ãƒ‰ãƒãƒ¼ãŒæ¶ˆãˆã¾ã™ã€‚ 内容： JavaScriptã®é–¢æ•°ãƒªãƒ†ãƒ©ãƒ« ラムダå¼ã£ã¦ãªã‚“ã ラムダ計算ã®ä½“ç³»ã¨é©ç”¨æ“作 ラムダå¼ã®ä¾‹ã‚’ã„ãã¤ã‹ Î²å¤‰æ› -- ラムダ計算ã®ã‚ãƒ¢ï¼ Î²å¤‰æ›ã‚’何度ã‹å®Ÿè¡Œã—ã¦ã¿ã‚‹ ä¸é–“ã¾ã¨ã‚ã€ã¾ã 続ããŒã‚るよ JavaScriptã®é–¢æ•°ãƒªãƒ†ãƒ©ãƒ« 最åˆã«ã€JavaScriptã«é–¢ã™ã‚‹çŸ¥è˜ã‚’確èªã—ã¦ãŠãã¾ã—ょã†ã€‚ãªãŠã€JavaScriptã®å¯¾è©±çš„実行環境ã«ã¤ã„ã¦ã¯ã€Œã‚‚ã£ã¨ã‚‚ãŠæ‰‹è»½ãªå¯¾è©±çš„JavaScr
ラムダ計算ＡＢＣ
ä»™å°ãƒã‚¸ãƒƒã‚¯å€¶æ¥½éƒ¨ ラムダ計算ＡＢＣ æ•°å¦ã‚»ãƒŸãƒŠãƒ¼ï¼™ï¼’年８月å·ã‚ˆã‚Š Ａ. ラムダ計算ã¨ã¯ 今ã‹ã‚‰ï¼–ï¼å¹´ç¨‹å‰ã€ãƒ—リンストン大å¦ã®è‹¥æ‰‹è«–ç†å¦è€…Ａ．ãƒãƒ£ãƒ¼ãƒãŒã€é–¢æ•°ã®æ–°ã—ã„表記法をæ案ã—ã¾ã—ãŸã€‚ラムダ記法ã¨å‘¼ã°ã‚Œã‚‹ãã®è¡¨è¨˜æ³•ã§ã¯ã€ä¾‹ãˆã°äºŒä¹—を計算ã™ã‚‹é–¢æ•°ã¯ λx.x^2 ã¨è¡¨ã—ã¾ã™ã€‚従æ¥ã®"f(x)"ã¨ã„ã†æ›¸ãæ–¹ã¯ã€ãã‚ŒãŒé–¢æ•°ã‚’表ã™ã®ã‹ã€é–¢æ•°ã®xã«ãŠã‘る値を表ã™ã®ã‹ãŒæ›–昧ãªã®ã§ã€ãƒ©ãƒ ダ記法ã§ã¯ã€é–¢æ•°fã®xã«ãŠã‘る値をfxã§ç¤ºã—ã€xã«ãŠã‘る値ãŒf(x)ã¨ãªã‚‹é–¢æ•°fをλx.f(x)ã¨è¡¨ã™ã®ã§ã™ã€‚ "f(x)"ã¨ã„ã†è¡¨è¨˜æ³•ã®æ¬ 陥ã¯ã€é«˜æ ¡ã®æ•°å¦ã¾ã§ã§ã¯ã»ã¨ã‚“ã©è¡¨é¢åŒ–ã—ã¾ã›ã‚“ãŒã€å¤§å¦ã«å…¥ã£ã¦ã‹ã‚‰å®šç¾©åŸŸã‚„値域ãŒé–¢æ•°ã®é›†åˆã«ãªã‚‹ã‚ˆã†ãªé«˜éšŽé–¢æ•°ï¼ˆã‚ªãƒšãƒ¬ãƒ¼ã‚¿ã¨ã‹ä½œç”¨ç´ ã¨ã‚‚呼ã³ã¾ã™ï¼‰ã‚’扱ã„ã ã™ã¨ã™ãã‚ã‹ã‚Šã¾ã™ã€‚ä½œç”¨ç´ ãªã©ã¨ã„ã†ã¨ã²ã©ã特殊ãªã‚‚ã®ã®ã‚ˆã†ã§ã™ãŒã€é–¢æ•°f(x)ã«ãã®å°Žé–¢æ•°f'(x)を対応ã•ã›ã‚‹å¾®åˆ†æ¼”ç®—åＤ
1
ランã‚ング
ランã‚ング
ãŠçŸ¥ã‚‰ã›
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Lambda Animator : animated reduction of the lambda calculus
Thoughts on Church numerals
Emergent Technologies Inc. -- Security Kernel
http://ling.ucsd.edu/~barker/Lambda/
{{#tags}}- {{label}}
{{/tags}}