{"blog_url":"https://yohhoy.hatenadiary.jp/","provider_url":"https://hatena.blog","published":"2022-02-17 00:00:00","author_url":"https://blog.hatena.ne.jp/yohhoy/","categories":["C++"],"url":"https://yohhoy.hatenadiary.jp/entry/20220217/p1","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20220217%2Fp1\" title=\"\u30b3\u30f3\u30bb\u30d7\u30c8\u5236\u7d04\u5f0f\u306e\u69cb\u6210\uff1a\u5305\u6442\u95a2\u4fc2 vs. \u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u9593 - yohhoy\u306e\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>","version":"1.0","provider_name":"Hatena Blog","blog_title":"yohhoy\u306e\u65e5\u8a18","height":"190","width":"100%","description":"C++20\u30b3\u30f3\u30bb\u30d7\u30c8\u3067\u306f\u5236\u7d04\u5f0f(constraint-expression)\u3092&&(conjunction)\uff0f||(disjunction)\u3067\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u8907\u96d1\u306a\u5236\u7d04\u5f0f\u3092\u8868\u73fe\u3067\u304d\u308b\u3002\u4e00\u65b9\u3067\u5236\u7d04\u5f0f\u304c\u591a\u6570\u306e\u539f\u5b50\u5236\u7d04(atomic constraint)\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u30b1\u30fc\u30b9\u3067\u306f\u3001\u5305\u6442\u95a2\u4fc2(subsumption relation)\u5224\u5b9a\u306e\u305f\u3081\u306e\u6b63\u898f\u5316\u30d7\u30ed\u30bb\u30b9\u304c\u8907\u96d1\u306b\u306a\u308a\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u9593\u306b\u60aa\u5f71\u97ff\u3092\u53ca\u307c\u3059\u3002\u4f8b\u3048\u3070\u30b3\u30f3\u30bb\u30d7\u30c8X, Y, Z\u304b\u3089\u306a\u308b\u30b3\u30f3\u30bb\u30d7\u30c8\u306e\u5b9a\u7fa9\u65b9\u6cd5\u3068\u3057\u3066\u3001\u4e0b\u8a182\u7a2e\u985e\u304c\u8003\u3048\u3089\u308c\u308b\u3002\u30b3\u30f3\u30bb\u30d7\u30c8C1\u306f3\u500b\u306e\u539f\u5b50\u5236\u7d04\u304b\u3089\u3001\u4e00\u898b\u3059\u308b\u3068\u8a18\u8ff0\u304c\u5197\u9577\u306a\u30b3\u30f3\u30bb\u30d7\u30c8C2\u306f2\u500b\u306e\u539f\u5b50\u5236\u7d04\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u305f\u3081\u3001\u5305\u2026","title":"\u30b3\u30f3\u30bb\u30d7\u30c8\u5236\u7d04\u5f0f\u306e\u69cb\u6210\uff1a\u5305\u6442\u95a2\u4fc2 vs. \u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u9593","type":"rich","author_name":"yohhoy"}