ããã°ã©ãã³ã°è¨èª Egison - ç´æããã®ã¾ã¾è¡¨ç¾ãããã¿ã¼ã³ãããã³ã° - Egison ã¯1ã¤ã®å®ã¾ã£ãæ¨æºå½¢ãæããªããã¼ã¿ã«å¯¾ãã¦ãæè»ãªãã¿ã¼ã³ãããã表ç¾å¯è½ãªããã°ã©ãã³ã°è¨èªã§ãã ãªã¹ããå¤ééåãéåãããªã¼ãã°ã©ããªã©ã¨ãã£ãå¹ åºããã¼ã¿åã«å¯¾ãã¦ããã¿ã¼ã³ããããè¨è¿°ã§ãã¾ãã ããã«ãããEgison ããã°ã©ãã¯é常ã«ã·ã³ãã«ã«ããã°ã©ã ãè¨è¿°ã§ããããã«ãªãã¾ãã -- ç´ æ°ã®ç¡éãªã¹ãããå ¨ã¦ã®ååç´ æ°ããã¿ã¼ã³ãããã«ããæ½åº def twinPrimes := matchAll primes as list integer with | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2) -- æåã®10åã®ååç´ æ°ãåæ take 10 twinPrimes -- => [(3, 5), (5, 7), (11, 13)
{{#tags}}- {{label}}
{{/tags}}