ãYã³ã³ããã¼ã¿ãã¯ä¸åç¹æ¼ç®åã«ã¤ãã¦èª¬æãã¦ãããã®é ç®ã¸è»¢éããã¦ãã¾ããã«ãªãã©ã«ãã¢å·ã®ä¼æ¥ã«ã¤ãã¦ã¯ãYã³ã³ããã¼ã¿ (ä¼æ¥)ããã覧ãã ããã ä¸åç¹ã³ã³ããã¼ã¿ï¼ãµã©ãã¦ãã³ã³ããã¼ã¿ãè±: fixed point combinatorãä¸åç¹çµååããµã©ãã¦ããã¤ãããï¼ã¨ã¯ãä¸ããããé¢æ°ã®ä¸åç¹ï¼ã®ã²ã¨ã¤ï¼ãæ±ããé«éé¢æ°ã§ãããä¸åç¹æ¼ç®åï¼ãµã©ãã¦ãããããããè±: fixed-point operatorï¼ããã©ããã·ã«ã«çµååï¼è±: paradoxical combinatorï¼ãªã©ã¨ãå¼ã°ãããããã§é¢æ° ã®ä¸åç¹ã¨ã¯ã ãæºãããã㪠ã®ãã¨ãããã ããªãã¡é«éé¢æ° ãä¸åç¹ã³ã³ããã¼ã¿ã§ããã¨ã¯ã ä»»æã®é¢æ° ã«å¯¾ãã ã¨ããã¨, ãæç«ãã äºãæãã ãããã¯å ¨ãåããã¨ã ããä¸åç¹ã³ã³ããã¼ã¿ã®å®ç¾©ã¯ãä»»æã®é¢æ° ã«å¯¾ãã ãæç«ããäºã§ããã¨ã
{{#tags}}- {{label}}
{{/tags}}