{"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fh-chiro.hatenablog.com%2Fentry%2F20110709%2F1310229080\" title=\" Anarchy Proof - Sum of Natural Numbers - \u96d1\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","url":"https://h-chiro.hatenablog.com/entry/20110709/1310229080","blog_title":"\u96d1\u8a18","width":"100%","image_url":null,"provider_url":"https://hatena.blog","height":"190","author_name":"h_chiro","published":"2011-07-09 01:31:20","description":"\u6700\u8fd1\u5168\u7136Coq\u3092\u89e6\u3063\u3066\u306a\u304b\u3063\u305f\u306e\u3067\u3001\u4e45\u3005\u306b\u3084\u3063\u3066\u307f\u307e\u3057\u305f\u3002\u793a\u3055\u306a\u3044\u3068\u3044\u3051\u306a\u3044\u306e\u306f\u30010\u304b\u3089n\u307e\u3067\u306e\u548c\u306e2\u500d\u304c n * (n + 1)\u306b\u7b49\u3057\u3044\u3063\u3066\u3044\u3046\u3084\u3064\u3067\u3001\u307e\u3041\u4f55\u3082\u8003\u3048\u305a\u306bn\u306b\u3064\u3044\u3066\u5e30\u7d0d\u6cd5\u3067\u793a\u305b\u3070\u3088\u3044\u3067\u3059\u3002\u305f\u3060\u3001auto\u3068\u304bring\u3068\u304bomega\u3068\u304b\u3092\u4f7f\u3046\u3068\u306a\u305c\u304b\u8ca0\u3051\u305f\u6c17\u5206\u306b\u306a\u308b\u306e\u3067\u3001\u4f7f\u308f\u305a\u306b\u5730\u9053\u306b\u9811\u5f35\u308a\u307e\u3057\u305f\u3002golf\u3057\u306a\u3044\u3068\u3044\u3051\u306a\u3044\u306e\u306b\u3001\u5168\u304fgolf\u3057\u3066\u306a\u3044\u30fb\u30fb\u30fb \u5f8c\u534a\u306e\u65b9\u306f\u3001a + b + c + d = c + b + a + d\u307f\u305f\u3044\u306a\u7b49\u5f0f\u3092\u66f8\u304d\u63db\u3048\u3057\u3066\u308b\u3060\u3051\u306a\u306e\u3067\u3001\u3082\u3046\u3061\u3087\u3063\u3068\u7e2e\u3080\u304b\u3082\u3057\u308c\u306a\u3044\u3067\u3059\u306d\u3002 Require Import Definitions. Require Impor\u2026","type":"rich","title":" Anarchy Proof - Sum of Natural Numbers","categories":["Coq"],"provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/h_chiro/","blog_url":"https://h-chiro.hatenablog.com/"}