åœè«–ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°èªæ›¸ä¼š#2 資料1. ã‘ã‚“ã‚ã‚“ã©ãã—ょã‹ã„ #2 (2014/12/11) 直和集åˆã«ã¤ã„㦠/ ラムダ計算ã®ã•ã‚ã‚Š / åž‹ãªã—ラムダ計算 æ•°å¦çš„厳密性ã¯æ”¾æ£„ã—ã¾ã™ @gomi_ningen 3. #2-1 å‰å›žèº“ã„ãŸç›´å’Œé›†åˆã«ã¤ã„㦠直和集åˆ(direct sum) 集åˆA, Bã«å±žã•ãªã„ è¦ç´ * を考ãˆã‚‹ A* = (A, *) B* = (*, B) ã¨ã™ã‚‹ã¨ ç›´å’Œé›†åˆ A + B = A* ∪ B* ã¤ã¾ã‚Š A* ã®å„è¦ç´ 㨠B* ã® å„è¦ç´ ã™ã¹ã¦ã‚’ 集ã‚ãŸã‚‚ã®ãŒç›´å’Œé›†åˆã«ãªã‚Šã¾ã™ 4. #2-1 å‰å›žèº“ã„ãŸç›´å’Œé›†åˆã«ã¤ã„㦠直和集åˆ(direct sum) 集åˆA, Bã«å±žã•ãªã„ è¦ç´ * を考ãˆã‚‹ A* = (A, *) B* = (*, B) ã¨ã™ã‚‹ã¨ ç›´å’Œé›†åˆ A + B = A* ∪ B* ã¤ã¾ã‚Š A* ã®å„è¦ç´ 㨠B* ã® å„è¦ç´ ã™ã¹ã¦ã‚’ 集ã‚ãŸã‚‚ã®ãŒç›´å’Œé›†åˆã«ãªã‚Šã¾ã™ ãªãœã“ã†
åœè«–ã¨ã‹ãƒ¢ãƒŠãƒ‰ãªã‚“ã¦ç°¡å˜ã ã‹ã‚‰scalaを使ã£ã¦èª¬æ˜Žã—ã¦ã¿ãŸ - ã らã らã—ã¦ãŸã„ãªã
åœè«–デザインパターン
IIJ Research Laboratory
{{#tags}}- {{label}}
{{/tags}}