ã€C#】List.Findã®æ›¸ãæ–¹ - ã²ã£ãã‚Šã¨ãƒ»ã¨ã¼ã¨ã¼ã¨ -
ラムダå¼ã ã¨ã©ã†æ›¸ãã‹å¿˜ã‚ŒãŸãƒ»ãƒ»ãƒ»orz ã ã‚Œã‹æ•™ãˆã¦ãã ã•ã„。。。 class Program { static void Main(string[] args) { List<TestFind> listTestFind = new List<TestFind>(); // テストデータ入力 TestFind TestFindFirst = new TestFind(); TestFindFirst.Age = 35; TestFindFirst.Name = "日本"; listTestFind.Add(TestFindFirst); TestFind TestFindSecond = new TestFind(); TestFindSecond.Age = 25; TestFindSecond.Name = "アメリカ"; listTestFind.Add(TestFindSeco
ラムダ計算基礎文法最速マスター - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
ラムダ計算ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž, ã¨ãã«é–¢æ•°åž‹è¨€èªžã®åŽŸå½¢ã«ãªã£ã¦ã„ã¾ã™. ラムダ計算ã«ã¤ã„ã¦ç†è§£ã—ã¦ãŠãã“ã¨ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç¿’å¾—ã«å½¹ç«‹ã¤ã§ã—ょã†. ラムダ計算ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§, 計算能力ã¨ã—ã¦ã¯ãµã¤ã†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åŒã˜ã§ã™. ラムダ計算ã§è¨ˆç®—を書ã訓練をã—ã¦ãŠãã“ã¨ã¯, ä»»æ„ã®è¨ˆç®—を関数ã®ã¿ã‚’使ã£ã¦(ä»–ã®åˆ¶å¾¡æ§‹æ–‡ã‚’用ã„ãšã«)書ãã¨ãã«å½¹ç«‹ã¡ã¾ã™. ãµã¤ã†ã«æ›¸ã„ãŸã‚‰ç…©é›‘ãªå‡¦ç†ã‚’, 関数型言語ã®ã‚„ã‚Šæ–¹ã§æ›¸ãã¨ã™ã£ãã‚Šã™ã‚‹ã“ã¨ãŒå¤šã€…ã‚ã‚Š, コードを自由自在ã«æ›¸ããŸã‚ã«ã¯å¿…é ˆã®è€ƒãˆæ–¹ã¨è¨€ãˆã‚‹ã§ã—ょã†. é … ラムダ計算ã®å¼ã‚’é …(term)ã¨è¨€ã„ã¾ã™. é …ã¯å¤‰æ•°, 抽象, é©ç”¨ã®ã„ãšã‚Œã‹ã§ã™. 変数 変数(variable)ã¯ãµã¤ã†1æ–‡å—ã§æ›¸ãã¾ã™. 変数ã«ã¯é–¢æ•°å†…ã®æŸç¸›å¤‰æ•°(bound variable)ã‹è‡ªç”±å¤‰æ•°(free variable)ã‹ã¨ã„ã†åŒºåˆ¥ãŒã‚ã‚Š
JavaScriptã§èªã‚€ã€Œãƒ©ãƒ ダ計算基礎文法最速マスター〠- 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
以å‰æ›¸ã„ãŸã€Œãƒ©ãƒ ダ計算基礎文法最速マスターã€(以下「最速マスターã€)ã¯, 予想以上ã«å¤šãã®äººã«èˆˆå‘³ã‚’æŒã£ã¦ã‚‚らãˆãŸã‚ˆã†ã§ã™ãŒ, åŒæ™‚ã«é›£ã—ãã¦ã‚ã‹ã‚‰ãªã‹ã£ãŸã¨ã„ã†äººã‚‚多ã‹ã£ãŸã‚ˆã†ã§ã™. å響ã‹ã‚‰å¯Ÿã™ã‚‹ã«, 構文を見慣れã¦ã„ãªã„(ã¨éŒ¯è¦šã—ã¦ã—ã¾ã†)ã“ã¨ãŒç†è§£ã®å¦¨ã’ã«ãªã£ã¦ã„ãŸã‚ˆã†ã«æ€ã„ã¾ã™. ラムダ計算ã®æ§‹æ–‡ã¯, 実際ã«ã¯å…¨ã特殊ãªã‚‚ã®ã§ã¯ã‚ã‚Šã¾ã›ã‚“. ã“ã®ã“ã¨ãŒã‚ˆãã‚ã‹ã‚‹ã‚ˆã†ã«, 「最速マスターã€ã®ãƒ©ãƒ ダ計算ã®ç°¡ç´„ã®ä¾‹ã‚’ã™ã¹ã¦JavaScriptã®æ§‹æ–‡ã§æ›¸ã„ã¦ã¿ã¾ã—ãŸ. ......ã¨ã„ã†å†…容ã«ãªã‚‹ã¯ãšã§ã—ãŸãŒ, æ°—ãŒã¤ã„ãŸã‚‰ãƒ©ãƒ ダ計算ã®ã‚¤ãƒ³ã‚¿ãƒ—リタをJavaScriptã§å®Ÿè£…ã—ã¦ã„ã¾ã—ãŸ! 実際ã«å‹•ã‹ã›ã‚‹ã‚‚ã®ã¯ä¸‹è¨˜URLã«ã‚ã‚Šã¾ã™. https://tarao.github.io/LambdaJS/#js 動作確èªã¨æ—¢çŸ¥ã®å•é¡Œ Firefox 3.6 Google Chrome 4.1
ラムダ計算 λ...
► 2025 (2) ► 9月 (2) ► 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月 (3
Ruby: lambdaメソッドを使ã„ブãƒãƒƒã‚¯ã‚’オブジェクト化
ã«é–¢ã—ã¦ã€ç·´ç¿’ã—ã¾ã™ã€‚ ä»–ã®è¨€èªžã¨æ¯”較ã—ã¦Rubyã®ã‚³ãƒ¼ãƒ‰ãƒ–ãƒãƒƒã‚¯ã®æ‰±ã„ã¯ç‰¹å¾´çš„ã§æ‰±ã„難ãã†ã«è¦‹ãˆã¾ã™ãŒã€ä½¿ã„ã“ãªã›ã‚Œã°ã‚³ãƒ¼ãƒ‰é‡ã‚’減らã›ã‚‹ã—ã€ãã®çµæžœã¨ã—ã¦å¯èªæ€§ã‚‚増ã™ã®ã§ã€æ…£ã‚Œã¦ã„ããŸã„ã§ã™ã€‚ def times_n(n) lambda { |x| x * n} # Kernel#lambdaã®å¼•æ•°ã¯ãƒ–ãƒãƒƒã‚¯ # lambda do |x| x * n end ã§ã‚‚よã„(複数行ã«æ¸‰ã‚‹ã¨ããªã©)。 end times_ten = times_n(10) # nã«10を代入 # 生æˆã•ã‚ŒãŸtimes_tenã¯Procインスタンス p times_ten.class #=> Proc # times_ten = { |x| x * n} ã¯ã‚¨ãƒ©ãƒ¼ã€‚ # {}ã§ã®ãƒ–ãƒãƒƒã‚¯ã¯ãƒ¡ã‚½ãƒƒãƒ‰ã®å¼•æ•°ã¨ã—ã¦ã®ã¿æ¸¡ã›ã‚‹ã€‚ # ã¾ãŸã€ãƒ–ãƒãƒƒã‚¯å¼•æ•°ã¯ãƒ¡ã‚½ãƒƒãƒ‰ã®æœ€å¾Œã®å¼•æ•°ã¨ã—ã¦å®šç¾©ã™ã‚‹ã€‚ # ブãƒãƒƒã‚¯ã®å®Ÿè¡Œã«ã¯cal
Ruby Proc.newã¨lambdaã®é•ã„(追記) - ソースコード備忘録
å‚考サイト http://d.hatena.ne.jp/shunsuk/20090101/1230816826 http://eclipse.cspc.jp/perma/000080/ Proc.newã¨lambdaã®é•ã„ returnã®é•ã„ http://d.hatena.ne.jp/shunsuk/20090101/1230816826ã‹ã‚‰å¼•ç”¨ ã“ã®é•ã„ã¯ã€å‡¦ç†ã¨ãƒ¡ã‚½ãƒƒãƒ‰ã®ã‚³ãƒ³ã‚»ãƒ—トã®é•ã„ã«ã‚ã‚Šã¾ã™ã€‚Procã¯ãƒ¡ã‚½ãƒƒãƒ‰ã§ã¯ãªãã€ã‚³ãƒ¼ãƒ‰ã‚¹ãƒ‹ãƒšãƒƒãƒˆã§ã™ã€‚ã“ã®ãŸã‚ã€Procã®returnã¯"proc_return"メソッドã®returnã«ãªã‚Šã¾ã™ã€‚lambdaã¯ãƒ¡ã‚½ãƒƒãƒ‰ã¨åŒã˜ã‚ˆã†ã«å‹•ä½œã—ã¾ã™ã€‚引数ã®æ•°ã‚’ãƒã‚§ãƒƒã‚¯ã—ã€è¿”り値を返ã—ã¾ã™ã€‚lambdaã¯ã€åŒ¿åã®ãƒ¡ã‚½ãƒƒãƒ‰ã‚’書ãã®ã¨åŒã˜ã“ã¨ãªã®ã§ã™ã€‚ Proc.newã ã¨ã‚³ãƒ¼ãƒ‰ã‚¹ãƒ‹ãƒšãƒƒãƒˆã ã‹ã‚‰returnã™ã‚‹ã¨Procã‚’callã—ãŸãƒ¡ã‚½ãƒƒãƒ‰ã‹ã‚‰è¿”ã£ã¦ã
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
Python Hack : å™›ã‚ã°å™›ã‚€ã»ã©ãŠã„ã—ããªã‚‹ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã®è©±
最近 JavaScript を書ã機会ãŒå¢—ãˆã¦ã„ã‚‹ãŒã€ãã‚Œã«å¾“ã£ã¦è‡ªåˆ†ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã‚¹ã‚¿ã‚¤ãƒ«ãŒå°‘ã—ã¥ã¤ã ãŒå¤‰åŒ–ã—ã¦ãã¦ã„ã‚‹ã®ãŒåˆ†ã‹ã‚‹ã€‚ã‚‚ã¨ã‚‚ã¨ã€Œã‚³ãƒ¼ãƒ‰ã®èªã¿ã‚„ã™ã•ã€ã‚„「実行効率ã€ã«ã¨ã“ã¨ã‚“ã“ã ã‚るタイプã ãŒã€ï¼ˆJavaã‚„C++ã«ãªãã¦ï¼‰JavaScriptã‚„Rubyã«ã‚るクãƒãƒ¼ã‚¸ãƒ£ã‚„ç„¡å関数ãŒç§ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã‚¹ã‚¿ã‚¤ãƒ«ã«ã¨ã¦ã‚‚マッãƒã—ã¦ã„ã‚‹ã‹ã‚‰ã ã¨æ€ã†ã€‚ ç°¡å˜ãªä¾‹ã‚’紹介ã—よã†ã€‚Pythonã§æ›¸ã‹ã‚ŒãŸ config.py ã¨ã„ã†ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã€‚config.yamlã¨ã„ã†è¨å®šãƒ•ã‚¡ã‚¤ãƒ«ã‚’èªã¿è¾¼ã‚“㧠Dictionary ã¨ã—ã¦è¿”ã™ config.get() ã¨ã„ã†é–¢æ•°ã€‚普通ã«å®Ÿè£…ã™ã‚‹ã¨ã€ä»¥ä¸‹ã®ã‚ˆã†ãªæ„Ÿã˜ã«ãªã‚‹ã€‚ import yaml _config = None def get(): global _config if not _config: data = open('config.yaml')
ã‚„ã£ãŸãƒ¼ï¼¼ï¼ˆ^O^）ï¼ãƒ©ãƒ ダ計算機ã§ããŸã‚ˆãƒ¼ - 日記を書ã [・w・] ã¯ã‚„ã¿ãšã•ã‚“
テスト期間ã ã—ã€ãªã‚“ã‹ä½œã£ã¨ã‹ãªã„ã¨ã。 ã¨ã„ã†ã“ã¨ã§ã€æœ€è¿‘話題ã®Yコンビãƒãƒ¼ã‚¿ã¨ã‹ãã“らã¸ã‚“ã®è©±ã«çµ¡ã‚ã¦ã€ãƒ©ãƒ ダ計算ã®ã‚¤ãƒ³ã‚¿ãƒ—リタ作ã£ã¦Yコンビãƒãƒ¼ã‚¿å‹•ã‹ãã†ãœã€ã£ã¦ã„ã†ã€‚å‰ã«æ›¸ã„ãŸãƒ©ãƒ ダ計算インタプリタã¯ã€ãƒ‡ãƒ¼ã‚¿ã®å½¢å¼ã‚’入力形å¼ãã®ã¾ã¾ã§å¼•ã回ã—ã¦ã„ãŸã®ã§ã€å‰²ã¨ã‚«ã‚ªã‚¹ãªã“ã¨ã«ãªã£ãŸã®ã§ã€ä»Šå›žã¯ãƒ‘ーサã€æ§‹æ–‡æœ¨ã€ãªã©é©å½“ã«éƒ¨å“化ã—ã¦ã¿ãŸã€‚ 記法 λxyz. xz(yz) <==> '(λ (x y z) x z (y z)) Gaucheã¯å…¨è§’æ–‡å—ãŒã‚·ãƒ³ãƒœãƒ«ã¨ã—ã¦ä½¿ãˆã‚‹ã®ã§ã‚¹ãƒãƒ©ã‚·ã‚¤ã§ã™ãï¼ Î²ç°¡ç´„ Pã§ãƒ©ãƒ ダå¼ã‚’パースã—ã¦ã€BBã§ã„ã‘ã‚‹ã¨ã“ã‚ã¾ã§ãƒ™ãƒ¼ã‚¿ç°¡ç´„ã—ã¤ã¥ã‘る（発散ã™ã‚‹å ´åˆã¯æ‰“ã¡åˆ‡ã‚‹ï¼‰ã€ppã§è¡¨ç¤ºã€ã¨ã„ã†æµã‚Œã€‚ gosh> (pp (BB (P '((λ (x y) x y z) a)))) λ y. a y z é©å®œÎ±å¤‰æ›ã‚‚ã—ã¦ãれる (λxy. xy)y => (λ y. yy
![ã‚„ã£ãŸãƒ¼ï¼¼ï¼ˆ^O^）ï¼ãƒ©ãƒ ダ計算機ã§ããŸã‚ˆãƒ¼ - 日記を書ã [・w・] ã¯ã‚„ã¿ãšã•ã‚“](https://cdn-ak-scissors.b.st-hatena.com/image/square/c7be17a23d3cd351bf3d707e676fc290f759a682/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2F842c67183c51583da3dae0e2126b0f3e6d3a9729%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fh%252Fhayamiz%252F20080202%252F20080202002950.png)
ã‚‹ã¤ã¼(了)(2004-05-23)
λ η-å¤‰æ› Web 上ã§ï¼ŒÎ±-変æ›ã‚„β-変æ›ã®è§£èª¬ã¯å¤šã„ã®ã§ã™ãŒï¼ŒÎ·-変æ›ã®è§£èª¬ãŒãªã‹ãªã‹è¦‹ã¤ã‹ã‚‰ãªã‹ã£ãŸã®ã§ï¼Œã“ã“ã«æƒ…å ±ã‚’æ›¸ã„ã¦ãŠã‘ã°èª°ã‹ãŒå–œã¶ã ã‚ã†ã‹ã¨ï¼Žã‚，ãŸã ã—ä¸æ£ç¢ºãªæƒ…å ±ã‚’å«ã‚“ã§ã„ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã®ã§ï¼Œå‚考ã«ã™ã‚‹ã—ãªã„ã¯è‡ªå·±è²¬ä»»ã¨ã„ã†ã“ã¨ã§ã‚ˆã‚ã—ããŠé¡˜ã„ã—ã¾ã™ :-) η-変æ›ï¼ˆeta-conversion）ã¯æ¬¡ã®å½¢å¼ã®å¤‰æ›ï¼Ž λx . M x => M, if x ¬∈ FV(M) ã¤ã¾ã‚Šï¼Œå¤‰æ•° x ãŒå¼ M ã®è‡ªç”±å¤‰æ•°ã§ãªã‘ã‚Œã°ï¼Œå¼ λx . M x ã‚’ M ã§ç½®ãæ›ãˆã¦ã‚‚ã„ã„よã¨ï¼Œãã†ã„ã†ã“ã¨ãªã®ã§ã™ãŒï¼Œã“ã‚Œã ã‘ã§ã¯ã©ã†ã„ã†æ„味をæŒã¤ã®ã‹ãªã‚“ã®ã“ã£ã¡ã‚ƒã§ã™ï¼Ž ã§ï¼Œä½•ã®ãŸã‚ã«Î·-変æ›ã‚’å°Žå…¥ã™ã‚‹ã‹ã¨ã„ã†ã¨ï¼Œãã‚Œã¯ã‚る関数をç‰ä¾¡ãªé–¢æ•°ã§ç½®ãæ›ãˆã‚‹ãŸã‚．ã¨ãªã‚‹ã¨ï¼Œä½•ã‚’ã—ã¦é–¢æ•°ãŒç‰ä¾¡ã§ã‚ã‚‹ã‹ã¨ã„ã†ã“ã¨ã«ãªã‚‹ã®ã§ã™ãŒï¼Œã“ã“ã§ä½¿ã‚れるã®ãŒ 外延性 ã¨ã„ã†æ¦‚念．外延性ã«ã‚ˆã‚‹ï¼Œå¤–延的ç‰ä¾¡æ€§
翻訳:コンビãƒãƒ¼ã‚¿è«–ç†ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
ã“ã®ãƒšãƒ¼ã‚¸ã¯ã€Combinatory Logic Tutorialã®ç¿»è¨³ã§ã™ã€‚ http://homepages.nyu.edu/~cb125/Lambda/ski.html 基本的ã«è¶…訳ã§ã™ã€‚ 訳ã®æ£ã—ã•ã¯å…¨ãä¿è¨¼ã•ã‚Œã¾ã›ã‚“。 訳ã®ãŠã‹ã—ã„部分ã¯å¤šæ•°ã‚ã‚Šã¾ã™ã€‚ 翻訳元サイトã®è¨±å¯ã‚’å–ã£ãŸã‚Šã¯ã—ã¦ã„ã¾ã›ã‚“。 ç„¡èªå¯ã§ã™ã€‚ 訳者ã«ã‚ˆã‚‹å‰æ›¸ãã¨æ„Ÿæƒ³ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è«–ç†ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« 訳者ã«ã‚ˆã‚‹å‰æ›¸ãã¨æ„Ÿæƒ³ 訳ã—ã¦ã¿ãŸã‚‚ã®ã®ã€ã¡ã‚‡ã£ã¨ã€ãŸã£ãŸã“ã‚Œã ã‘ã®èª¬æ˜Žã§ã¯ã€ã¯ã˜ã‚ã¦ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è«–ç†ã‚’知ã£ãŸäººãŒèªã‚“ã§å……分ã«ç†è§£ã§ãã‚‹ã¨ã¯æ€ãˆãªã„。 ã©ã†ã‚‚ã€ã“ã®æ–‡æ›¸ã¯ã€åŽŸæ–‡ã®ä¸Šä½ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªã«ã‚ã‚‹Lambda tutorialã‚’èªã‚“ã 後ã«èªã‚€ã¹ãã‚‚ã®ã£ã½ã„よã†ã 。 ã—ã‹ã—ã€æµçŸ³ã«ã“ã£ã¡ã¾ã§è¨³ã™æ°—力ã¯ç„¡ã„。 ãã†ã„ã†è¨³ã§ã€ã“ã‚Œã ã‘ã‚’èªã‚€ã‚ˆã‚Šã¯ã€Unlambdaã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’èªã‚“ã æ–¹ãŒãšã£ã¨ã€ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è«–ç†ã‚’ç†è§£
絵をæã„ã¦å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算 - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
「JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算ã€ã¯ã€1回ã§ã¯è¿°ã¹åˆ‡ã‚‰ãªãã¦ã€ä¸€æ®µè½ä»˜ã„ãŸã¨ã“ã‚ã§åŒºåˆ‡ã‚Šã¾ã—ãŸã€‚ã“ã‚Œã¯ã‹ãˆã£ã¦è‰¯ã‹ã£ãŸã§ã™ãã€ãƒ–ックマークやトラックãƒãƒƒã‚¯ã§ãƒ•ã‚£ãƒ¼ãƒ‰ãƒãƒƒã‚¯ãŒå¾—られãŸã®ã§ã€‚ ãã®ãƒ•ã‚£ãƒ¼ãƒ‰ãƒãƒƒã‚¯ãªã©ã‚’ã‹ã‚“ãŒã¿ã¦ã€ã€Œæ®‹ã‚Šï¼æ¬¡å›žã®è©±é¡Œã€ã¨ã—ã¦äºˆå‘Šã—ãŸå†…容ã¨ã¯é£Ÿã„é•ã£ã¦ã—ã¾ã†ã®ã ã‘ã©ã€ä»Šå›žã¯ã€æ–‡ç« ã§ã¯ä¼ã‚ã‚Šã«ãã„（å‰å›žã†ã¾ãä¼ã‚らãªã‹ã£ãŸã¨æ€ãˆã‚‹ï¼‰ãƒ©ãƒ ダ計算ã®å¤§äº‹ãªãƒ„ボをã€ãªã‚“ã¨ã‹è¡¨ç¾ã—ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚ ï¼»ã“ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®å†…容ã¯ã ã„ã¶å‰ã«ã»ã¼å‡ºæ¥ä¸ŠãŒã£ã¦ã„ãŸã®ã ã‘ã©ã€ã‚³ã‚³ã«æ›¸ã„ã¦ã‚る事情ã§ã€â€œãŠçµµæãâ€ãŒãªã‹ãªã‹å‡ºæ¥ãªã‹ã£ãŸã®ã§ã™ã€‚ï¼½ ※å°åˆ·ã®ã¨ãã¯ã‚µã‚¤ãƒ‰ãƒãƒ¼ãŒæ¶ˆãˆã¾ã™ã€‚ 内容： 知ã£ã¦ã„ã¦æã¯ãªã„ 計算ã¯èº«ä½“çš„ã«ç†è§£ã—ã‚ˆã† ãƒ©ãƒ ãƒ€é …ã®ãƒ„リー表示：準備 ãƒ©ãƒ ãƒ€é …ã®ãƒ„リー表示：æãï¼ Î²å¤‰æ›ã«å¯¾å¿œã™ã‚‹ãƒ„リーã®æãæ›ãˆ ã‚‚ã£ã¨Î²å¤‰æ›ã‚’ã‚„ã£ã¦ã¿ã‚ˆã† 計算ç¾è±¡ã‚’
檜山æ£å¹¸ã®ã‚マイラ飼育記 - JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算
「JavaScriptã«ã‚ˆã‚‹ãƒ†ãƒ³ãƒ—レート・モナドã€ã™ã£ã’ー簡å˜!ã€ã«ã¦ï¼š ç´™ã¨é‰›ç†ã§ãƒ©ãƒ ダ計算を実行ã§ãã‚‹ã“ã¨ã¯å¿…è¦ã ãªã€ã‚„ã£ã±ã‚Šã€‚ ãªã‚“ã¦å¼·èª¿ã—ãŸã®ã§ã€ãƒ©ãƒ ダ計算ã®å…¥é–€ã€ã„ã£ã¦ã¿ã‚ˆã†ã€‚ [追記]ç·´ç¿’å•é¡Œé›†ã‚’è¿½åŠ ã—ã¾ã—ãŸã€‚説明をèªã¿ãªãŒã‚‰ã€ã‚ã‚‹ã„ã¯èªã‚“ã 後ã§æ˜¯éžã‚„ã£ã¦ã¿ã¦ãã ã•ã„。→「JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算 å•é¡Œé›†ã€[/追記] ※å°åˆ·ã®ã¨ãã¯ã‚µã‚¤ãƒ‰ãƒãƒ¼ãŒæ¶ˆãˆã¾ã™ã€‚ 内容： JavaScriptã®é–¢æ•°ãƒªãƒ†ãƒ©ãƒ« ラムダå¼ã£ã¦ãªã‚“ã ラムダ計算ã®ä½“ç³»ã¨é©ç”¨æ“作 ラムダå¼ã®ä¾‹ã‚’ã„ãã¤ã‹ Î²å¤‰æ› -- ラムダ計算ã®ã‚ãƒ¢ï¼ Î²å¤‰æ›ã‚’何度ã‹å®Ÿè¡Œã—ã¦ã¿ã‚‹ ä¸é–“ã¾ã¨ã‚ã€ã¾ã 続ããŒã‚るよ JavaScriptã®é–¢æ•°ãƒªãƒ†ãƒ©ãƒ« 最åˆã«ã€JavaScriptã«é–¢ã™ã‚‹çŸ¥è˜ã‚’確èªã—ã¦ãŠãã¾ã—ょã†ã€‚ãªãŠã€JavaScriptã®å¯¾è©±çš„実行環境ã«ã¤ã„ã¦ã¯ã€Œã‚‚ã£ã¨ã‚‚ãŠæ‰‹è»½ãªå¯¾è©±çš„JavaScr
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://pllab.is.ocha.ac.jp/~asai/jpapers/sakaue.pdf
http://www.city5.org/AlligatorEggs.html
http://research.nii.ac.jp/~hu/pub/teach/cm08/lambda.pdf
ラムダ計算入門
https://www.cs.gunma-u.ac.jp/~fujita/research/intro-lambda05.pdf
LCI - A lambda calculus interpeter
http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=ContOS
{{#tags}}- {{label}}
{{/tags}}