{"author_name":"flashingwind","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fflash.hatenablog.com%2Fentry%2F20090516%2F1242506253\" title=\"\u3072\u3055\u3057\u3076\u308a\u306b\u7ffb\u8a33 - \u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306b\u306a\u308a\u305f\u3044\u3002\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":null,"provider_url":"https://hatena.blog","title":"\u3072\u3055\u3057\u3076\u308a\u306b\u7ffb\u8a33","author_url":"https://blog.hatena.ne.jp/flashingwind/","type":"rich","height":"190","provider_name":"Hatena Blog","version":"1.0","published":"2009-05-16 05:37:33","blog_title":"\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306b\u306a\u308a\u305f\u3044\u3002","description":"\u3072\u3055\u3057\u3076\u308a\u3001\u534a\u6708\u3076\u308a\u304f\u3089\u3044\u306bJCUG Wiki\u306e\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u3092\u3044\u3058\u3063\u305f\u3002 \u307e\u305f\u3001\u540c\u3058\u95a2\u6570\u3067\u3001\u771f\u507d\u5024\u3092\u3001(\u521d\u671f\u7684\u306b\u306f\u4e0d\u660e\u306a)\u5f15\u6570\u3068\u6bd4\u8f03\u3067\u304d\u307e\u3059\u3002: However, we can do more and use the same functions to compute Boolean values for some (initially unknown) arguments: Prelude> x && (y || (not x)) where x,y free Free variables in goal: x, y Result: True Bindings: x=True y=True\u2026","categories":["Curry"],"blog_url":"https://flash.hatenablog.com/","url":"https://flash.hatenablog.com/entry/20090516/1242506253","width":"100%"}