Lambda calculus - Wikipedia
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. Untyped lambda calculus, the topic of this article, is a universal model of computation that can be used to simulate any Turing machine (and vice versa). It was introduced by the mathematician Alonzo
ラムダ計算ã®å‹‰å¼·ã®ã—ã‹ãŸã€ãƒ—ãƒã‚°ãƒ©ãƒ æ„味論 - ãã—ã ã®Hatena
先日ã®ã‚¨ãƒ³ãƒˆãƒªã§æ‰‹ç¶šãを記述ã™ã‚‹ã¨ã„ã†å´é¢ã¨ã€å¼ã‚’記述ã™ã‚‹ã¨ã„ã†2ã¤ã®å´é¢ãŒã‚ã‚‹ã¨ã„ã†ã“ã¨ã‚’書ãã¾ã—ãŸã€‚ プãƒã‚°ãƒ©ãƒ ã®ç†è«–ã¨ã¯ãªã«ã‹ ãã—ã¦ã€æ‰‹ç¶šãã®æ€§è³ªã¨ã—ã¦ä»£è¡¨çš„ãªã€ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã«ã¤ã„ã¦ã®å‹‰å¼·ã®ã—ã‹ãŸã«ã¤ã„ã¦ã¾ã¨ã‚ã¦ã¿ã¾ã—ãŸã€‚ アルゴリズムã®å‹‰å¼·ã®ã—ã‹ãŸ ãã“ã§ã€ä»Šå›žã¯ã€å¼ã‚’記述ã™ã‚‹ã¨ã„ã†å´é¢ã®å‹‰å¼·ã®ã—ã‹ãŸã¨ã€ã‚ã¨ã“ã®åˆ†é‡Žã¯è‡ªåˆ†ã§ã‚‚ã¾ã 全然勉強ã—ã¦ãªã‹ã£ãŸã®ã§ã€ã“ã‚Œã‹ã‚‰ã©ã†ã„ã†æœ¬ã‚’èªã‚‚ã†ã¨æ€ã£ã¦ã„ã‚‹ã‹ã‚’ã¾ã¨ã‚ã¦ã¿ã¾ã™ã€‚ プãƒã‚°ãƒ©ãƒ æ„味論 プãƒã‚°ãƒ©ãƒ ã¯å¿…ãšãƒ—ãƒã‚°ãƒ©ãƒ 言語ã€å°‘ãªãã¨ã‚‚記å·ã§è¨˜è¿°ã—ã¾ã™ã€‚*1 ãã“ã§ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®å‹‰å¼·ã¨ã„ã†ç‚¹ã§ã¯ã€ã©ã®ã‚ˆã†ã«å‹•ãã‹ã¨ã„ã†ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã®å‹‰å¼·ã ã‘ã§ã¯ãªãã€ã©ã®ã‚ˆã†ã«æ›¸ã‘ã‚‹ã‹ã€æ›¸ã„ãŸã‚‚ã®ã«ã©ã®ã‚ˆã†ãªæ€§è³ªãŒã‚ã‚‹ã®ã‹ã¨ã„ã†ã“ã¨ã‚‚知る必è¦ãŒã‚ã‚Šã¾ã™ã€‚ 例ãˆã°ã€2005å¹´ã‚ãŸã‚Šã‹ã‚‰Rubyã®ã‚ˆã†ãªå‹•çš„型付ã‘言語ãŒæµè¡Œã‚Šã ã—ã€Javaãªã©ã®é™çš„型付ã‘ã®è¨€èªžã¨ã®
ラムダ計算 λ...
► 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
ãƒãƒ£ãƒ¼ãƒæ•°ã¨ãƒ©ãƒ ダ計算 - sirocco ã®æ›¸ã„ã¦ã‚‚ã™ãã«å¿˜ã‚Œã‚‹ãƒ¡ãƒ¢
検索ã—ã¦ã„ãŸã‚‰ã€ãã—ã ã®ã¯ã¦ãªãƒ»ãŠã¨ã†ã•ã‚“ã€ã¼ãã«ã‚‚Yコンビãƒãƒ¼ã‚¿ãŒã‚ã‹ã‚Šã¾ã—ãŸã‚ˆï¼ ã¨ã„ã†è¨˜äº‹ã«ã‚ãり逢ã£ã¦é¢ç™½ã‹ã£ãŸã®ã§ Scheme 写経ã—ã¦ã¿ã¾ã—ãŸã€‚ ラムダ関数ã®è¡¨è¨˜ ラムダ関数ã¯ã€€Î»x.x　ã®ã‚ˆã†ã«è¡¨è¨˜ã—ã¾ã™ã€‚ λx.x λx.x*2(λx.x*2)y ã¨ã„ã†é–¢æ•°ã¯ã€€xã®éƒ¨åˆ†ã‚’yã§ãŠãã‹ãˆã‚‹ã¨ (λx.x*2)y → y * 2　　ã¨ãªã‚Šã¾ã™ã€‚ã“れを簡約ã¨ã„ã„ã¾ã™ã€‚ ;; scheme (lambda(x) x) ;=>　#<closure #f> ((lambda(x) x) 2) ;=>　2 # ruby lambda{|x| x} #=> #<Proc:0xb77e75a4@(irb):1> lambda{|x| x}.call(2) #=> 2 -- Haskell > (\x -> x) 2 -- => 2 > :t (\x -> x) -- => (\x -> x)
ãŠã¨ã†ã•ã‚“ã€ã¼ãã«ã‚‚Yコンビãƒãƒ¼ã‚¿ãŒã‚ã‹ã‚Šã¾ã—ãŸã‚ˆï¼ - 2009-04-09 - ãã—ã ã®ã¯ã¦ãª
ã‚„ã£ã¨ã€Yコンビãƒãƒ¼ã‚¿ãŒä½•ã‚’æ„味ã™ã‚‹ã‚‚ã®ãªã®ã‹ã€ã©ã†ã„ã†æ„義ãŒã‚ã‚‹ã®ã‹ãŒã‚ã‹ã‚Šã¾ã—ãŸã€‚ åå‰ã‚’使ã‚ãšå†å¸°ãŒã§ãã¾ã™ã‚ˆï¼ã¨ã„ã†ã ã‘ã®ã‚‚ã®ã˜ã‚ƒãªã‹ã£ãŸã®ã§ã™ã。 ã¾ãšÎ»ã‚ã‚Šã 関数ã®è©±ã‚’ã—ãŸã„ã®ã§ã™ã€‚ ãã®ã¨ãã€ã„ã¡ã„ã¡ hoge(x) = x * 2 ã¨ã—ã¦hogeを・・・ã€ã¨ã‹åå‰ã‚’ã¤ã‘ã¦è©±ã‚’進ã‚ã‚‹ã®ãŒã‚ã‚“ã©ã†ãªã®ã§ã€é–¢æ•°ã‚’値ã¨ã—ã¦ã‚らã‚ã™ã¨ä¾¿åˆ©ã¨ã„ã†ã“ã¨ã§ã€Î»ã¨ã„ã†å€¤ã‚’定義ã™ã‚‹ã®ã§ã™ã€‚ ãã†ã™ã‚‹ã¨ã€ä¸Šã®hoge関数ãªã‚“ã‹ã¯Î»(x)(x*2)ãªã©ã¨ã‚らã‚ã›ã¾ã™ãŒã€å¼•æ•°ã‚’ã‚らã‚ã™ã®ã«()を使ã†ã¨ã„ã‚ã„ã‚ã¾ãŽã‚‰ã‚ã—ã„ã®ã§ã€ λx.x*2 ã®ã‚ˆã†ã«è¡¨è¨˜ã—ã¾ã™ã€‚ ã¨ã„ã†ã®ãŒÎ»ã€‚ ã“ã®ã¨ãã€Î»ã«ãªã«ã‹ã‚ãŸã•ã‚ŒãŸã‚‰ã€å¼•æ•°ã¨ã—ã¦ã‚らã‚ã•ã‚Œã‚‹éƒ¨åˆ†ã‚’å˜ç´”ã«ãŠãã‹ãˆã¾ã™ã€‚ (λx.x*2)y ã¨ã‚ã£ãŸã‚‰ã€xã®éƒ¨åˆ†ã‚’yã§ãŠãã‹ãˆã¦ (λx.x*2)y → y * 2 ã¨ãªã‚Šã¾ã™ã€‚λã®å¼•æ•°éƒ¨åˆ†ã‚’与ãˆã‚‰ã‚ŒãŸå¼•æ•°ã§ç½®
404 Blog Not Found:Turingã¨Churchã®ç‹é–“ã§
2006å¹´04月16æ—¥13:53 カテゴリMath書評/画評/å“è©• Turingã¨Churchã®ç‹é–“㧠The Emperor's New Mind Roger Penrose [邦訳:皇å¸ã®æ–°ã—ã„心] ãªã‚“ã§ã²ã’ã½ã‚“ãŒå復ãŒã™ãã«ã‚ã‹ã‚‰ãªã‹ã£ãŸã‹ã‚’憶測ã™ã‚‹ã¨ã€ã€Œå¤‰æ•°ã¨ã¯ä»£å…¥ã™ã¹ãã‚‚ã®ã€ã€ã¨ã„ã†æ‰‹ç¶šã型言語ã®å‘ªç¸›ãŒæ€ã„ç«‹ã¤ã€‚ã²ã’ã½ã‚“ã¯åˆ¥ã«ãŒã£ã‹ã‚Šã™ã‚‹å¿…è¦ã¯ãªã„。hyukiã•ã‚“ã•ãˆãã‚Œã«å¼•ã£ã‹ã‹ã£ã¦ã„ãŸã‚“ã ã‹ã‚‰ã€‚ ãã®è¨¼æ‹ ã‚’ã€ä»¥ä¸‹ã«ãŠè¦‹ã›ã™ã‚‹ã€‚ [çµ]2005å¹´8月 - www.textfile.org sub fix { my $G = shift; return $G->( sub { my $x = shift; return fix($G)->($x); } ); } ã“ã‚Œã¯Perlã§å®Ÿè£…ã—ãŸä¸å‹•ç‚¹é–¢æ•°ã§ã€å…¨ãå•é¡Œãªãå‹•ã。ã—ã‹ã—ã€hyukiã•ã‚“も知らã¬é–“ã«ä¸€ã¤ã€Œå則ã€ã‚’犯ã—ã¦ã„ã‚‹ã“
今日ã‹ã‚‰å§‹ã‚ã‚‹Java8 - Taste of Tech Topics
ã“ã‚“ã«ã¡ã¯ id:cero-t ã§ã™ã€‚ 「ãªã‚“ã¨ã‚„らã¯é¢¨é‚ªã‚’ã²ã‹ãªã„ã€ã¨è¨€ã‚ã‚Œã¦ã„ã‚‹ã¨ã“゠先日ã€ã‚¤ãƒ³ãƒ•ãƒ«ã‚¨ãƒ³ã‚¶ã«æŽ›ã‹ã£ã¦ã—ã¾ã„ã¾ã—ã¦ã€‚ é‡ãç€ï¼‹å¤šæ®µå¸ƒå›£ï¼‹é›»æ°—毛布２枚ã®ã‚³ãƒ³ãƒœã§ä¸€æ°—ã«æ‚ªå¯’ã‚’å¹ã飛ã°ã—〠一日ã§ç†±ã‚’下ã’ãŸã‚‚ã®ã®ã€æ„ŸæŸ“予防ã®ãŸã‚ã«å‡ºç¤¾ã‚’控ãˆãŸãŸã‚ã«æ™‚é–“ã§ã〠ã¡ã‚‡ã£ã¨Java8ãªã©ã¨æˆ¯ã‚Œã¦ã„ã¾ã—ãŸã€‚ ãã†ã€ä»Šæ—¥ã¯Java8ã®è©±é¡Œã§ã™ã€‚ 今年ã®ç§‹ã«æ£å¼ãƒªãƒªãƒ¼ã‚¹ãŒäºˆå®šã•ã‚Œã¦ã„ã‚‹JavaSE8ã§ã™ãŒã€ OpenJDKã®ã‚µã‚¤ãƒˆã§ã¯ã€æ—¢ã«Early Access版を入手ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ JDK8 : http://openjdk.java.net/projects/jdk8/ ダウンãƒãƒ¼ãƒ‰ : http://jdk8.java.net/download.html 1/31ã«ã€ãƒžã‚¤ãƒ«ã‚¹ãƒˆãƒ¼ãƒ³6ãŒãƒªãƒªãƒ¼ã‚¹ã•ã‚Œ Feature Complete ã¨ãªã‚Šã¾ã—ãŸã€‚ åå‰ã‹ã‚‰ã™ã‚‹ã¨ 全機能開発
Practical Scheme
Shiro Kawai 11/20/2000åˆå‡ºã€3/29/2002æ›´æ–° Cã«æ…£ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒžãŒSchemeã®ã‚³ãƒ¼ãƒ‰ã‚’見ã¦é¢é£Ÿã‚‰ã†ã“ã¨ã®ã²ã¨ã¤ã¯ã€ ç„¡åã®é–¢æ•°ã‚„ãƒãƒ¼ã‚«ãƒ«é–¢æ•°ã®å¤šç”¨ã ã‚ã†ã€‚ 特ã«å®Ÿè¡ŒåŠ¹çŽ‡ã«æ•æ„Ÿãªãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯ã€Œé–¢æ•°å‘¼å‡ºã—ã¯é«˜ä¾¡ã€ ã¨ã„ã†æ„Ÿè¦šãŒæŸ“ã¿ç€ã„ã¦ã„ã‚‹ãŸã‚〠至るã¨ã“ã‚ã«æ•£ã‚Šã°ã‚られãŸlambdaã«çœ‰ã‚’ã²ãã‚ã¦ã—ã¾ã†ã‚ˆã†ã 。 ã—ã‹ã—Schemeã«ãŠã„ã¦ã¯ã€ コード上ã«é–¢æ•°ãŒæ›¸ã„ã¦ã‚ã‚‹ã‹ã‚‰ã¨ã„ã£ã¦ 実行時ã«ã‚¹ã‚¿ãƒƒã‚¯ãƒ•ãƒ¬ãƒ¼ãƒ ã®ç”Ÿæˆã‚„レジスタã®é€€é¿ãªã©ã®ã‚ªãƒ¼ãƒãƒ˜ãƒƒãƒ‰ãŒèµ·ã“ã‚‹ã¨ã¯é™ã‚‰ãªã„。 例ãˆã°é–¢æ•°ã®æœ€å¾Œã«åˆ¥ã®é–¢æ•°ã‚’呼ã³å‡ºã™æœ«å°¾å‘¼ã³å‡ºã—(tail call) ã¯ãŸã ã®jumpインストラクションã«ç½®ãæ›ãˆå¯èƒ½ã 。 ã“ã“ã§ã¯ã€Cプãƒã‚°ãƒ©ãƒžã‚’対象ã«ã€ lambdaã§ç”Ÿæˆã•ã‚Œã‚‹é–¢æ•°ç¾¤ãŒå®Ÿéš›ã«ã©ã®ã‚ˆã†ã«å®Ÿè¡Œã•ã‚Œå¾—ã‚‹ã®ã‹ã‚’書ã„ã¦ã¿ãŸã„。 (ãªãŠã€Schemeã®è¦æ ¼ã§ã¯lambdaフォ
Rubyã®blockã€Procã€lambdaã‚’ç†è§£ã™ã‚‹ - ã“ã®ãƒ–ãƒã‚°ã¯è¨¼æ˜Žã§ããªã„。
æ–°å¹´ãŠã‚ã§ã¨ã†ã”ã–ã„ã¾ã™ã€‚2009å¹´ã®æœ€åˆã®ãƒã‚¿ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãƒã‚¿ã«ã™ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ Rubyã«ã¤ã„ã¦ã®ã‚¹ãƒ†ã‚ãªã‚¨ãƒ³ãƒˆãƒªãƒ¼ãŒã‚ã£ãŸã®ã§ã€ç´¹ä»‹ã—ã¾ã™ã€‚ no title ç§ã¯ç¿»è¨³èƒ½åŠ›ãŒãªã„ã°ã‹ã‚Šã‹ã€ãƒªãƒ¼ãƒ‡ã‚£ãƒ³ã‚°èƒ½åŠ›ã‚‚貧相ã§ã™ã€‚ãœã²ã€åŽŸæ–‡ã‚’èªã‚“ã§ã¿ã¦ãã ã•ã„。 ã¯ã˜ã‚ã« Rubyã®blockã€Procã€lambdaã¯ãƒ‘ワフルã§ã™ãŒã€è§£ã‚Šã«ãã„。Rubyã¯ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã‚’使ã†æ–¹æ³•ãŒ4ã¤ã‚ã£ã¦ã€ãã‚Œãžã‚Œãƒãƒ§ãƒƒãƒˆãšã¤é•ã„ã¾ã™ã€‚ã“ã“ã§ã¯ã€ãã®ã¸ã‚“を解説ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ Block ã‚‚ã£ã¨ã‚‚ç°¡å˜ã§ã€ã‹ã¤Rubyã£ã½ã„ã¨è¨€ãˆã°ã€Blockã§ã™ã。 array = [1, 2, 3, 4] array.collect! do |n| n ** 2 end puts array.inspect # => [1, 4, 9, 16] 何ãŒèµ·ã“ã£ã¦ã„ã‚‹ã‹ï¼Ÿ ã¾ãšã€block付ãã§Arrayã®"collect
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://dspace.mit.edu/bitstream/handle/1721.1/6091/AIM-379.pdf?sequence=2
{{#tags}}- {{label}}
{{/tags}}