{"url":"https://morning-reading.hatenadiary.org/entry/20140303/p1","provider_name":"Hatena Blog","categories":[],"height":"190","version":"1.0","author_url":"https://blog.hatena.ne.jp/morning_reading/","published":"2014-03-03 00:00:00","title":"\u767d\u3068\u9ed2\u306e\u3068\u3073\u3089 \u7b2c2\u7ae0 \u5e30\u90f7 \u305d\u306e2","blog_title":"\u6bce\u671d30\u5206\u8aad\u66f8\u4f1a","author_name":"morning_reading","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorning-reading.hatenadiary.org%2Fentry%2F20140303%2Fp1\" title=\"\u767d\u3068\u9ed2\u306e\u3068\u3073\u3089 \u7b2c2\u7ae0 \u5e30\u90f7 \u305d\u306e2 - \u6bce\u671d30\u5206\u8aad\u66f8\u4f1a\" 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":"https://cdn-ak.f.st-hatena.com/images/fotolife/m/morning_reading/20140303/20140303101129.png","blog_url":"https://morning-reading.hatenadiary.org/","width":"100%","type":"rich","provider_url":"https://hatena.blog","description":"\u3068\u3044\u3046\u308f\u3051\u3067\u30ac\u30ec\u30c3\u30c8\u306e\u6545\u90f7\u306e\u795e\u6bbf\u306e\u69cb\u9020\u306b\u3064\u3044\u3066 Alloy \u3067\u691c\u8a3c\u3057\u3066\u307f\u307e\u3059\u3002\u5229\u7528\u3057\u305f\u30b3\u30fc\u30c9\u306f\u3053\u3061\u3089\u3002 module white_black/home_temple sig \u90e8\u5c4b { \u767d: one \u90e8\u5c4b, \u9ed2: one \u90e8\u5c4b } { \u767d != \u9ed2 } one sig \u5165\u53e3 extends \u90e8\u5c4b {} one sig \u7adc\u306e\u90e8\u5c4b extends \u90e8\u5c4b {} pred \u795e\u6bbf { // \u7956\u7236\u306e\u7d4c\u8def \u5165\u53e3.\u9ed2.\u767d.\u767d.\u9ed2 = \u5165\u53e3 \u5165\u53e3.\u9ed2 != \u5165\u53e3 \u5165\u53e3.\u9ed2.\u767d != \u5165\u53e3 \u5165\u53e3.\u9ed2.\u767d.\u767d != \u5165\u53e3 // \u5f1f\u306e\u7d4c\u8def\u3088\u308a(\u7adc\u306e\u90e8\u5c4b\u306f\u540c\u4e00\u3068\u8003\u3048\u308b) \u5165\u53e3.\u767d.\u9ed2 = \u7adc\u306e\u90e8\u5c4b \u7adc\u306e\u90e8\u5c4b.\u9ed2.\u767d = \u2026"}