「å†å¸°ã€ã®èª¬æ˜Žã®ä¸€ä¾‹ï¼ˆãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°åˆå¿ƒè€…å‘ã‘） - sumiiã®ãƒ–ãƒã‚°ï¼ˆTwitterã‹ã‚‰å‚ç…§ã™ã‚‹ãŸã‚ã®ãƒ¡ãƒ¢ã§ã™ï¼‰ ã¾ãšãã‚‚ãも「関数ã€ã¯ã€ŒåŒã˜å½¢ã®è¨ˆç®—を何度も書ã‹ãªã„ãŸã‚ã®ä»•çµ„ã¿ã€ã§ã‚ã‚‹ã“ã¨ã‚’å分ã«ç†è§£ã™ã‚‹ï¼ˆã•ã›ã‚‹ï¼‰ã€‚ãã®ä¸Šã§ã€ sum(0) = 0 sum(1) = 0+1 sum(2) = 0+1+2 sum(3) = 0+1+2+3 sum(4) = 0+1+2+3+4 ...も「åŒã˜è¨ˆç®—を何度も書ã„ã¦ã„ã‚‹ã€ã‹ã‚‰ã€ sum(0) = 0 sum(1) = sum(0)+1 sum(2) = sum(1)+2 sum(3) = sum(2)+3 sum(4) = sum(3)+4 ...ã¨æ›¸ãæ›ãˆã‚‹ã€‚ã“れを一般化ã™ã‚‹ã¨ sum(0) = 0 sum(n) = sum(n-1)+n （n>0ã®å ´åˆï¼‰ã¤ã¾ã‚Š sum(n) = if n=0 then 0 else sum(n-1)+nã¨ãªã‚‹ 追記：n<0ã®å ´åˆã¯æ°—ã«ã™ã‚‹ãªã€‚
速攻MinCamlコンパイラ概説
{{#tags}}- {{label}}
{{/tags}}