{"published":"2008-07-16 18:02:15","title":" C++0x Axiom","height":"190","url":"https://faithandbrave.hateblo.jp/entry/20080716/1216198935","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffaithandbrave.hateblo.jp%2Fentry%2F20080716%2F1216198935\" title=\" C++0x Axiom - Faith and Brave - C++\u3067\u904a\u307c\u3046\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","width":"100%","blog_title":"Faith and Brave - C++\u3067\u904a\u307c\u3046","type":"rich","version":"1.0","author_url":"https://blog.hatena.ne.jp/faith_and_brave/","description":"# \u9593\u9055\u3063\u3066\u305f\u3089\u8ab0\u304b\u6307\u6458\u3057\u3066\u304f\u3060\u3055\u3044 C++0x \u306e Concept \u3067\u306f concept, concept_map, requires, late_check \u306e\u4ed6\u306b axiom \u3068\u3044\u3046\u30ad\u30fc\u30ef\u30fc\u30c9\u304c\u8ffd\u52a0\u3055\u308c\u308baxiom \u3068\u306f\u3001\u65e5\u672c\u8a9e\u3067\u306f\"\u516c\u7406\"\u3068\u3044\u3046\u610f\u5473\u3067\u300c\u547d\u984cP\u304c\u6210\u308a\u7acb\u3064\u306a\u3089Q\u3082\u6210\u308a\u7acb\u3064\u300d\u3068\u3044\u3046\"\u6982\u5ff5\u3092\u5b9a\u7fa9\u3059\u308b\u6761\u4ef6\"\u3084\"\u8a3c\u660e\u7121\u3057\u3067\u8a8d\u3081\u3089\u308c\u308b\u6700\u3082\u57fa\u672c\u7684\u306a\u547d\u984c\"\u306e\u3053\u3068\u3089\u3057\u3044 axiom \u306f concept \u5185\u3067\u578b\u306e\u610f\u5473(\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9)\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e\u6a5f\u80fd\u306e\u3088\u3046\u3060 concept Number<typename N> { // ... axiom { Var<N> a, b; a+0 == a\u2026","categories":["C++"],"blog_url":"https://faithandbrave.hateblo.jp/","provider_name":"Hatena Blog","author_name":"faith_and_brave","image_url":null,"provider_url":"https://hatena.blog"}