\u300e\u3059\u3054\u3044Haskell \u305f\u306e\u3057\u304f\u5b66\u307c\u3046!\u300f\u306e13.6\u7bc0\u3067\u306f\u30ea\u30b9\u30c8\u30e2\u30ca\u30c9\u306b\u3088\u308b\u975e\u6c7a\u5b9a\u6027\u8a08\u7b97\u3092\u4f7f\u3063\u3066\u30c1\u30a7\u30b9\u306e\u30ca\u30a4\u30c8\u304c3\u624b\u3067\u6307\u5b9a\u3057\u305f\u30de\u30b9\u306b\u5230\u9054\u3067\u304d\u308b\u304b\u3092\u8a08\u7b97\u3059\u308b\u95a2\u6570\u304c\u7d39\u4ecb\u3055\u308c\u305f\u3002<\/p>\n

\r\nghci> (6, 2) `canReachIn3` (6, 1)\r\nTrue\r\n<\/pre>\n
\u306e\u3088\u3046\u306b\u59cb\u70b9\u3068\u7d42\u70b9\u3092\u6307\u5b9a\u3059\u308b\u3068\u5230\u9054\u306e\u53ef\u5426\u304c\u304b\u3048\u3063\u3066\u304f\u308b\u3002<\/p>\n
\u7bc0\u5c3e\u306e\u6f14\u7fd2\u306b\u3069\u306e\u3088\u3046\u306b\u5230\u9054\u3067\u304d\u308b\u304b\u6559\u3048\u3066\u304f\u308c\u308b\u3088\u3046\u306b\u305b\u3088\u3068\u3042\u3063\u305f\u306e\u3067\u66f8\u3044\u3066\u307f\u308b\u3002<\/p>\n
\r\nimport Monad\r\n\r\ntype KnightPos = (Int, Int)\r\ntype KnightTrack = [KnightPos]\r\n\r\nmoveKnight :: KnightTrack -> [KnightTrack]\r\nmoveKnight ((c, r) : xs)  = \r\n  map addLog $\r\n  filter onBoard [(c+2,r-1), (c+2,r+1), (c-2,r-1), (c-2,r+1)\r\n                 ,(c+1,r-2), (c+1,r+2), (c-1,r-2), (c-1,r+2)]\r\n  where onBoard (c, r) = c `elem` [1..8] && r `elem` [1..8]\r\n        addLog pos = pos : (c, r) : xs\r\n\r\nin3 :: KnightTrack -> [KnightTrack]\r\nin3 start = return start >>= moveKnight >>= moveKnight >>= moveKnight\r\n\r\ncanReachIn3 :: KnightPos -> KnightPos -> [KnightTrack]\r\ncanReachIn3 start end = \r\n  filter (\\(pos : track) -> pos == end) $ in3 [start]\r\n<\/pre>\n
canReachIn3\u306f\u771f\u507d\u5024\u3067\u306a\u304f\u30ca\u30a4\u30c8\u306e\u8ecc\u8de1\u3092\u8fd4\u3059\u3088\u3046\u306b\u5909\u66f4\u3057\u305f\u3002\u5230\u9054\u3067\u304d\u306a\u3044\u3068\u304d\u306f [] \u304c\u5e30\u308b\u3002<\/p>\n
\r\nghci>canReachIn3 (6,2) (6,1)\r\n[[(6,1),(7,3),(8,1),(6,2)],[(6,1),(5,3),(4,1),(6,2)],[(6,1),(5,3),(7,4),(6,2)],\r\n[(6,1),(8,2),(7,4),(6,2)],[(6,1),(7,3),(5,4),(6,2)],[(6,1),(4,2),(5,4),(6,2)]]\r\nghci>canReachIn3 (6,2) (7,3)\r\n[]\r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"
\u300e\u3059\u3054\u3044Haskell \u305f\u306e\u3057\u304f\u5b66\u307c\u3046!\u300f\u306e13.6\u7bc0\u3067\u306f\u30ea\u30b9\u30c8\u30e2\u30ca\u30c9\u306b\u3088\u308b\u975e\u6c7a\u5b9a\u6027\u8a08\u7b97\u3092\u4f7f\u3063\u3066\u30c1\u30a7\u30b9\u306e\u30ca\u30a4\u30c8\u304c3\u624b\u3067\u6307\u5b9a\u3057\u305f\u30de\u30b9\u306b\u5230\u9054\u3067\u304d\u308b\u304b\u3092\u8a08\u7b97\u3059\u308b\u95a2\u6570\u304c\u7d39\u4ecb\u3055\u308c\u305f\u3002 ghci> (6, 2) `canReachIn3` (6, 1) True \u306e\u3088\u3046\u306b\u59cb\u70b9\u3068\u7d42\u70b9\u3092\u6307\u5b9a\u3059\u308b\u3068\u5230\u9054\u306e\u53ef\u5426\u304c\u304b\u3048\u3063\u3066\u304f\u308b\u3002 \u7bc0\u5c3e\u306e\u6f14\u7fd2\u306b\u3069\u306e\u3088\u3046\u306b\u5230\u9054\u3067\u304d\u308b\u304b\u6559\u3048\u3066\u304f\u308c\u308b\u3088\u3046\u306b\u305b\u3088\u3068\u3042\u3063\u305f\u306e\u3067\u66f8\u3044\u3066\u307f\u308b\u3002 import Monad type KnightPos = (Int, Int) type KnightTrack = [KnightPos] moveKnight :: KnightTrack -> [KnightTrack] moveKnight ((c, r) : xs) = map addLog $ filter onBoard [(c+2,r-1), (c+2,r+1), Continue reading   [Haskell] \u300e\u3059\u3054\u3044Haskell \u305f\u306e\u3057\u304f\u5b66\u307c\u3046!\u300f13.6\u7bc0\u306e\u6f14\u7fd2<\/span>→<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[3],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/posts\/859"}],"collection":[{"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/comments?post=859"}],"version-history":[{"count":8,"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/posts\/859\/revisions"}],"predecessor-version":[{"id":868,"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/posts\/859\/revisions\/868"}],"wp:attachment":[{"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/media?parent=859"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/categories?post=859"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.bugyo.tk\/b-log\/wp-json\/wp\/v2\/tags?post=859"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}