μå帰é¢æ°ï¼ãã¥ã¼ããããããããè±: μ-recursive functionï¼ã¾ãã¯å¸°ç´çé¢æ°ï¼ãã®ãã¦ãããããï¼ã¨ã¯ãæ°çè«çå¦ã¨è¨ç®æ©ç§å¦ã«ããã¦ãç´è¦³çã«ãè¨ç®å¯è½ããªèªç¶æ°ããèªç¶æ°ã¸ã®é¨åé¢æ°ã®ã¯ã©ã¹ã§ãããè¨ç®å¯è½æ§çè«ã§ã¯ãμå帰é¢æ°ã¯ãã¥ã¼ãªã³ã°ãã·ã³ã§è¨ç®å¯è½ãªé¢æ°ã¨æ£ç¢ºã«ä¸è´ãããã¨ã示ããã¦ãããμå帰é¢æ°ã¯åå§å帰é¢æ°ï¼åå§å¸°ç´çé¢æ°ï¼ã¨å¯æ¥ãªé¢é£ãããããã®å¸°ç´çå®ç¾©ï¼å¾è¿°ï¼ã¯åå§å帰é¢æ°ã«åºã¥ãã¦ããããã ããμå帰é¢æ°ãå ¨ã¦åå§å帰é¢æ°ã¨ã¯è¨ããªãããã®ãããªä¾ã¨ãã¦ã¢ãã«ã¼ãã³é¢æ°ãããã ã¾ããã©ã ãè¨ç®ã§è¨è¿°ãããå帰é¢æ°ããã«ã³ãã¢ã«ã´ãªãºã ã§è¨ç®ã§ããé¢æ°ãåãã§ããã è¨ç®è¤éæ§çè«ã§ã¯ãå ¨å帰é¢æ°ã®éåãRã¨ç§°ããã μå帰é¢æ°ï¼ã¾ãã¯é¨åμå帰é¢æ°ï¼ã¯ãæéåã®èªç¶æ°ã®å¼æ°ãã¨ãã1ã¤ã®èªç¶æ°ãè¿ãé¨åé¢æ°ã§ãããμå帰é¢æ°ã¯åæé¢æ°ãå«
{{#tags}}- {{label}}
{{/tags}}