ã€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
LCI
LCI is an interpreter for the lambda calculus. It supports many advanced features such as recursion, user-defined operators and multiple evaluation strategies, all based on the pure calculus. It is free software licenced under the GNU General Public Licence (GPL). Try it online LCI can run in a browser via WebAssembly. Try the demo! Features LCI can be considered a small (but powerfull) functional
ラムダ計算基礎文法最速マスター - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
ラムダ計算ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž, ã¨ãã«é–¢æ•°åž‹è¨€èªžã®åŽŸå½¢ã«ãªã£ã¦ã„ã¾ã™. ラムダ計算ã«ã¤ã„ã¦ç†è§£ã—ã¦ãŠãã“ã¨ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç¿’å¾—ã«å½¹ç«‹ã¤ã§ã—ょã†. ラムダ計算ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§, 計算能力ã¨ã—ã¦ã¯ãµã¤ã†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åŒã˜ã§ã™. ラムダ計算ã§è¨ˆç®—を書ã訓練をã—ã¦ãŠãã“ã¨ã¯, ä»»æ„ã®è¨ˆç®—を関数ã®ã¿ã‚’使ã£ã¦(ä»–ã®åˆ¶å¾¡æ§‹æ–‡ã‚’用ã„ãšã«)書ãã¨ãã«å½¹ç«‹ã¡ã¾ã™. ãµã¤ã†ã«æ›¸ã„ãŸã‚‰ç…©é›‘ãªå‡¦ç†ã‚’, 関数型言語ã®ã‚„ã‚Šæ–¹ã§æ›¸ãã¨ã™ã£ãã‚Šã™ã‚‹ã“ã¨ãŒå¤šã€…ã‚ã‚Š, コードを自由自在ã«æ›¸ããŸã‚ã«ã¯å¿…é ˆã®è€ƒãˆæ–¹ã¨è¨€ãˆã‚‹ã§ã—ょã†. é … ラムダ計算ã®å¼ã‚’é …(term)ã¨è¨€ã„ã¾ã™. é …ã¯å¤‰æ•°, 抽象, é©ç”¨ã®ã„ãšã‚Œã‹ã§ã™. 変数 変数(variable)ã¯ãµã¤ã†1æ–‡å—ã§æ›¸ãã¾ã™. 変数ã«ã¯é–¢æ•°å†…ã®æŸç¸›å¤‰æ•°(bound variable)ã‹è‡ªç”±å¤‰æ•°(free variable)ã‹ã¨ã„ã†åŒºåˆ¥ãŒã‚ã‚Š
JavaScriptã§èªã‚€ã€Œãƒ©ãƒ ダ計算基礎文法最速マスター〠- 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
以å‰æ›¸ã„ãŸã€Œãƒ©ãƒ ダ計算基礎文法最速マスターã€(以下「最速マスターã€)ã¯, 予想以上ã«å¤šãã®äººã«èˆˆå‘³ã‚’æŒã£ã¦ã‚‚らãˆãŸã‚ˆã†ã§ã™ãŒ, åŒæ™‚ã«é›£ã—ãã¦ã‚ã‹ã‚‰ãªã‹ã£ãŸã¨ã„ã†äººã‚‚多ã‹ã£ãŸã‚ˆã†ã§ã™. å響ã‹ã‚‰å¯Ÿã™ã‚‹ã«, 構文を見慣れã¦ã„ãªã„(ã¨éŒ¯è¦šã—ã¦ã—ã¾ã†)ã“ã¨ãŒç†è§£ã®å¦¨ã’ã«ãªã£ã¦ã„ãŸã‚ˆã†ã«æ€ã„ã¾ã™. ラムダ計算ã®æ§‹æ–‡ã¯, 実際ã«ã¯å…¨ã特殊ãªã‚‚ã®ã§ã¯ã‚ã‚Šã¾ã›ã‚“. ã“ã®ã“ã¨ãŒã‚ˆãã‚ã‹ã‚‹ã‚ˆã†ã«, 「最速マスターã€ã®ãƒ©ãƒ ダ計算ã®ç°¡ç´„ã®ä¾‹ã‚’ã™ã¹ã¦JavaScriptã®æ§‹æ–‡ã§æ›¸ã„ã¦ã¿ã¾ã—ãŸ. ......ã¨ã„ã†å†…容ã«ãªã‚‹ã¯ãšã§ã—ãŸãŒ, æ°—ãŒã¤ã„ãŸã‚‰ãƒ©ãƒ ダ計算ã®ã‚¤ãƒ³ã‚¿ãƒ—リタをJavaScriptã§å®Ÿè£…ã—ã¦ã„ã¾ã—ãŸ! 実際ã«å‹•ã‹ã›ã‚‹ã‚‚ã®ã¯ä¸‹è¨˜URLã«ã‚ã‚Šã¾ã™. https://tarao.github.io/LambdaJS/#js 動作確èªã¨æ—¢çŸ¥ã®å•é¡Œ Firefox 3.6 Google Chrome 4.1
ラムダ計算 λ...
► 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
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/0c28667f51e714551977588f9dc330e7a4872778/height=288;version=1;width=512/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2F70005287a333740eb221d79e8a95fd5bfc7ccfb2%2Fbackend%3Dimagemagick%3Bheight%3D1200%3Bversion%3D1%3Bwidth%3D1200%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
http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=ContOS
{{#tags}}- {{label}}
{{/tags}}