{"categories":["Isabelle"],"published":"2010-03-25 22:29:42","blog_title":"caeruiro","description":"3. More Functional Programming 3.1 Simplification \u5358\u7d14\u5316\u306fIsabelle\u53ca\u3073\u4ed6\u306e\u591a\u304f\u306e\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3044\u3066\u91cd\u8981\u306a\u5b9a\u7406\u8a3c\u660e\u30c4\u30fc\u30eb\u3067\u3059\u3002\u4eca\u7bc0\u3067\u306f\u5358\u7d14\u5316\u306b\u3064\u3044\u3066\u8ff0\u3079\u3066\u3044\u304d\u307e\u3059\u3002 3.1.1 What is Simplification? \u7c21\u5358\u306b\u8a00\u3046\u3068\u3001\u5358\u7d14\u5316\u3068\u306f\u7b49\u5f0f\u306e\u5de6\u8fba\u304b\u3089\u53f3\u8fba\u3078\u306e\u5909\u63db\u3092\u7e70\u308a\u8fd4\u3059\u3053\u3068\u3067\u3059\u3002\u4f8b\u3048\u3070\u3001@\u306e\u30eb\u30fc\u30eb\u3092\u4f7f\u3063\u305f\u5358\u7d14\u5316\u306e\u30b9\u30c6\u30c3\u30d7\u3092\u793a\u3057\u307e\u3059\u3002 (0#1#[]) @ [] \u2192 0#((1#[]) @ []) \u2192 0#(1#([] @ [])) \u2192 0#1#[] \u3053\u308c\u306f\u9805\u66f8\u63db\u3048\u3068\u898b\u308b\u3053\u3068\u3082\u3067\u304d\u3001\u305d\u306e\u5834\u5408\u7b49\u5f0f\u306f\u66f8\u63db\u898f\u5247\u3068\u898b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u2026","title":"Isabelle Tutorial \u305d\u306e6","image_url":null,"blog_url":"https://caeruiro.hatenadiary.org/","author_url":"https://blog.hatena.ne.jp/caeruiro/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcaeruiro.hatenadiary.org%2Fentry%2F20100325%2F1269523782\" title=\"Isabelle Tutorial \u305d\u306e6 - caeruiro\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://caeruiro.hatenadiary.org/entry/20100325/1269523782","type":"rich","author_name":"caeruiro","version":"1.0","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","height":"190","width":"100%"}