{"image_url":"http://ecx.images-amazon.com/images/I/41RmEb-xqxL.jpg","title":"Coq\u306eLtac\u3067map\u95a2\u6570\u3092\u5b9f\u88c5\u3059\u308b","published":"2016-03-04 14:30:58","width":"100%","type":"rich","blog_url":"https://www.orecoli.com/","author_name":"hitotakuchan","blog_title":"\u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051","url":"https://www.orecoli.com/entry/2016/03/04/143058","author_url":"https://blog.hatena.ne.jp/hitotakuchan/","height":"190","provider_name":"Hatena Blog","description":"\u306f\u3058\u3081\u306b length\u95a2\u6570\u3092\u5b9f\u88c5\u3059\u308b Gallina \u98a8\u306e\u5b9f\u88c5 Ltac \u304b\u3089 Gallina \u3078 Gallina \u306e\u9805\u3092 Ltac \u547c\u3073\u51fa\u3057\u306e\u7d50\u679c\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b \u6c17\u6301\u3061\u60aa\u3044\u70b9 map\u95a2\u6570(Ltac\u5f15\u6570)\u3092\u5b9f\u88c5\u3059\u308b map\u95a2\u6570(Gallina\u5f15\u6570)\u3092\u5b9f\u88c5\u3059\u308b \u6700\u5f8c\u306b \u53c2\u8003\u66f8\u7c4d \u306f\u3058\u3081\u306b Ltac \u306f\u3001Coq \u306b\u304a\u3044\u3066\u8a3c\u660e\u306e\u63a2\u7d22\u3092\u81ea\u52d5\u5316\u3059\u308b\u305f\u3081\u306e Domain Specific Language \u3067\u3059\u3002Coq \u306b\u304a\u3044\u3066\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u8a18\u8ff0\u3059\u308b\u8a00\u8a9e\u306f Gallina \u3068\u547c\u3070\u308c\u3066\u3044\u3066\u3001\u3053\u308c\u306f\u4f9d\u5b58\u578b\u3092\u6301\u3064\u666e\u901a\u306e\u95a2\u6570\u578b\u8a00\u8a9e\u3067\u610f\u5473\u8ad6\u3082\u76ee\u7684\u3082 Ltac \u3068\u306f\u5168\u304f\u5225\u7269\u3067\u3059\u3002 Gallina \u3067 map\u95a2\u6570\u3092\u5b9f\u88c5\u3059\u2026","version":"1.0","categories":["Coq"],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.orecoli.com%2Fentry%2F2016%2F03%2F04%2F143058\" title=\"Coq\u306eLtac\u3067map\u95a2\u6570\u3092\u5b9f\u88c5\u3059\u308b - \u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog"}