{"blog_url":"https://succeed.hatenadiary.org/","height":"190","url":"https://succeed.hatenadiary.org/entry/20050514/p1","type":"rich","provider_url":"https://hatena.blog","author_name":"succeed","published":"2005-05-14 00:00:00","provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsucceed.hatenadiary.org%2Fentry%2F20050514%2Fp1\" title=\"\u307e\u305f\u3064\u307e\u3089\u306c\u3082\u306e\u3092\u30fb\u30fb\u30fb - \u98f2\u307f\u7269\u3060\u304b\u3089\u592a\u3089\u306a\u3044\" 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,"version":"1.0","blog_title":"\u98f2\u307f\u7269\u3060\u304b\u3089\u592a\u3089\u306a\u3044","description":"\u524d\u56de\u306e\u771f\u7406\u5024\u8868\u95a2\u9023\u3067\u3002 \u3042\u308b\u56de\u8def\u56f3\u4e8c\u3064\u3092\u7528\u610f\u3057\u3066\u3001\u305d\u308c\u3089\u304c\u540c\u3058\u52d5\u4f5c\u3092\u3059\u308b\u3068\u8a00\u3046\u3053\u3068\u3092\u78ba\u304b\u3081\u308b\u306b\u306f\u3069\u3046\u3059\u308c\u3070\u826f\u3044\u304b\u3068\u8a00\u3048\u3070\u3001\u5168\u3066\u306e\u5165\u529b\u306b\u5bfe\u3057\u3066\u5168\u3066\u306e\u51fa\u529b\u3092\u884c\u306a\u3048\u3070\u3044\u3044\u308f\u3051\u3067\u3059\u3002 \u3059\u306a\u308f\u3061\u3001LiLFeS\u3067\u66f8\u304f\u3068\u3053\u3046\u306a\u308a\u307e\u3059\u3002 ne_sinri <- [pred]. ne_sinri(X, Y, Z):- calc(X, Z, Ans), \\+ calc(Y, Z, Ans), !. ne_sinri(X,Y,Z) :- calc(Y,Z,Ans), \\+ calc(X,Z,Ans), !. eq_sinri <- [pred]. eq_sinri(X, Y) :- \\+ ne_sinri(X, Y\u2026","categories":[],"author_url":"https://blog.hatena.ne.jp/succeed/","width":"100%","title":"\u307e\u305f\u3064\u307e\u3089\u306c\u3082\u306e\u3092\u30fb\u30fb\u30fb"}