{"provider_url":"https://hatena.blog","blog_url":"https://yokotaso.hatenadiary.org/","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyokotaso.hatenadiary.org%2Fentry%2F20120315%2F1331819423\" title=\"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u57fa\u790e \u554f\u984c5.3 - (\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u2026)\u3000(\u30c3\u30bf\u30fc\u30f3\uff01)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","description":"\u4eca\u56de\u306f\u9577\u304f\u306a\u3063\u3066\u3057\u307e\u3063\u305f\u2026 http://wikiwiki.jp/yokotaso/\u5168\u30c6\u30b9\u30c8\u30b1\u30fc\u30b9\u306780\u30b1\u30fc\u30b9\u304f\u3089\u3044\u304b (* \u7261\u7f8a\u5ea7\u304b\u3069\u3046\u304b\u3092\u5224\u5b9a\u3059\u308b\u95a2\u6570 *) (* ohitsuji : int -> int -> bool *) (* ohitsuji : int -> int -> bool *) let ohitsuji m d = m = 3 && 20 < d && d <= 31 || m = 4 && 1 <= d && d < 21 let test_ohi1 = ohitsuji 3 20 = false let test_ohi2 = ohitsuji 3 21 = tr\u2026","type":"rich","url":"https://yokotaso.hatenadiary.org/entry/20120315/1331819423","published":"2012-03-15 22:50:23","author_name":"yokotaso","provider_name":"Hatena Blog","blog_title":"(\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u2026)\u3000(\u30c3\u30bf\u30fc\u30f3\uff01)","height":"190","image_url":"https://images-fe.ssl-images-amazon.com/images/I/51FBsJHo4EL._SL160_.jpg","title":"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u57fa\u790e \u554f\u984c5.3","categories":["\u8aad\u66f8","\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u57fa\u790e","ocaml"],"author_url":"https://blog.hatena.ne.jp/yokotaso/","version":"1.0"}