{"provider_url":"https://hatena.blog","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20080714%2Fdbc\" title=\"\u5951\u7d04\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3068QuickCheck\u306f\u76f8\u6027\u304c\u3044\u3044\u3093\u3058\u3083\u306a\u3044\u3060\u308d\u3046\u304b - \u307f\u305a\u3074\u30fc\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>","url":"https://mzp.hatenadiary.org/entry/20080714/dbc","title":"\u5951\u7d04\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3068QuickCheck\u306f\u76f8\u6027\u304c\u3044\u3044\u3093\u3058\u3083\u306a\u3044\u3060\u308d\u3046\u304b","blog_url":"https://mzp.hatenadiary.org/","published":"2008-07-14 00:00:00","version":"1.0","description":"Effele\u3068D\u8a00\u8a9e\u3050\u3089\u3044\u3057\u304b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u308b\u8a00\u8a9e\u306f\u77e5\u3089\u306a\u3044\u3051\u308c\u3069\u3001\u5951\u7d04\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3068\u3044\u3046\u306e\u304c\u3042\u308b\u3002(\u5642\u306b\u3088\u308b\u3068assert\u3055\u3048\u3042\u308c\u3070\u3001\u5951\u7d04\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3060\u3001\u3068\u8a00\u3044\u306f\u3063\u3066\u3082\u3044\u3044\u3089\u3057\u3044\u3051\u3069\u3002) \u3053\u308c\u3092\u4f7f\u3046\u3068\u3001\u95a2\u6570\u306b\u5165\u308b\u3068\u304d\u306b\u6e80\u3057\u3066\u3044\u308b\u3079\u304d\u4e8b\u524d\u6761\u4ef6\u3068\u3001\u8fd4\u308a\u5024\u304c\u6e80\u3057\u3066\u3044\u308b\u3079\u304d\u4e8b\u5f8c\u6761\u4ef6\u304c\u66f8\u3051\u308b\u3002 double sqrt(double x) in{ assert(x >= 0); } out{ assert(result*reuslt - 0.1 < x && x < result*result + 0.1); } body{ ... } \u3067\u3001\u305d\u308c\u3068\u306f\u5225\u306bHaskell\u306e\u30e9\u30a4\u30d6\u30e9\u30ea\u3067Qui\u2026","author_name":"mzp","height":"190","blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","width":"100%","image_url":null,"author_url":"https://blog.hatena.ne.jp/mzp/","categories":["\u30e1\u30e2"],"provider_name":"Hatena Blog"}