{"height":"190","blog_url":"https://kiririmode.hatenablog.jp/","type":"rich","categories":["haskell"],"author_url":"https://blog.hatena.ne.jp/kiririmode/","provider_url":"https://hatena.blog","title":"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 Haskell \u306e 6 \u7ae0\u3092\u8aad\u307f\u307e\u3057\u305f","provider_name":"Hatena Blog","author_name":"kiririmode","version":"1.0","url":"https://kiririmode.hatenablog.jp/entry/20100206/p2","published":"2010-02-06 00:00:01","image_url":null,"blog_title":"\u7406\u7cfb\u5b66\u751f\u65e5\u8a18","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkiririmode.hatenablog.jp%2Fentry%2F20100206%2Fp2\" title=\"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 Haskell \u306e 6 \u7ae0\u3092\u8aad\u307f\u307e\u3057\u305f - \u7406\u7cfb\u5b66\u751f\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","description":"\u5f15\u304d\u7d9a\u304d\u30016 \u7ae0\u3082\u8aad\u307f\u307e\u3057\u305f\u3002 6 \u7ae0\u306f\u300c\u518d\u5e30\u95a2\u6570\u300d\u306e\u7ae0\u3067\u3001Haskell \u306b\u304a\u3051\u308b\u518d\u5e30\u95a2\u6570\u306e\u8003\u3048\u65b9\u3001\u5b9a\u7fa9\u306e\u4ed5\u65b9\u3092\u5b66\u3076\u7ae0\u3067\u3059\u3002\u3068\u306f\u3044\u3048\u3001Haskell \u306e\u518d\u5e30\u95a2\u6570\u304c\u591a\u8a00\u8a9e\u306e\u518d\u5e30\u95a2\u6570\u306e\u6982\u5ff5\u3068\u306a\u3093\u3089\u5909\u308f\u308b\u3053\u3068\u306f\u3042\u308a\u307e\u305b\u3093\u3067\u3057\u305f\u3002\u524d\u7ae0\u306e\u30ea\u30b9\u30c8\u5185\u5305\u8868\u8a18\u3068\u6bd4\u3079\u308b\u3068\u3001\u6163\u308c\u89aa\u3057\u3093\u3060\u4e16\u754c\u3002\u3044\u3064\u3082\u901a\u308a\u3001\u7df4\u7fd2\u554f\u984c\u3092\u89e3\u304d\u307e\u3059\u3002 \u7d2f\u4e57\u6f14\u7b97\u5b50\u3092\u5b9a\u7fa9\u305b\u3088 (^) :: Int -> Int -> Int m ^ 0 = 1 m ^ (n + 1) = m * ((Main.^) m n) \u30ea\u30b9\u30c8\u306e\u8981\u7d20\u304c\u3059\u3079\u3066 True \u3067\u3042\u308b\u304b\u691c\u67fb\u3059\u308b and :: [Bool] -> Bool and [] = True and (x\u2026"}