å½ããã°ã§ããç¥ããããã³ã³ãã¥ã¼ã¿å°æ£åä¼5æä¾ä¼ã«ã¦è©±é¡ã«ãªããã³ã¡ã³ãæ¬ã§ãå¤ãã®çµæãå ¬è¡¨ãããã©ãã¶ã¤ãããããç¾å¨ã®çµè«ã¯ãå¾æï¼ãããã¼ã ï¼ï¼ã®åã¡ããããã¨ã®ãã¨ã§ãã å½ããã°ã®5æä¾ä¼ã®è¨äºã®ã³ã¡ã³ãæ¬ã®å 容ãããããããã¨ãå½åä¼5æä¾ä¼ã®æç¹ã§ãã§ã«GPSå°æ£ã®ç°ä¸ããã¨ããã´ããã®æ± ããã«ãã£ã¦è§£æãé²ãããã¦ãããåæ¥æããããã¨ã®çµè«ãåºããã¦ãã¾ããããã®å¾ãã°ãçºè¦ããããã¨ã§åæ¥æã®çµè«ãæ¤åãããå¾æåã¡ã«å¤ããã¾ãããç°ä¸å çã¯ã³ã³ãã¥ã¼ã¿ã®å¾é解æ(retrograde analysis)ã«ãã78æã§å¾æåã¡ã®çµè«ã é´æ¨å°æ£ã®é´æ¨ãããã³ã³ãã¥ã¼ã¿ã®df-pn(depth-first proof-number search)ã«ããæ¢ç´¢ã§å¾æåã¡ã¨çµè«ã¥ãã¾ããã å¾é解æã¨ã¯ãã²ã¼ã ãçµãã£ãå±é¢ãããªãã¡ã©ã¤ãªã³ãè©°ãã ããããã¯ç¸æã®ä¸æ®µç®
{{#tags}}- {{label}}
{{/tags}}