{"width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20141207%2F1417948454\" title=\"\u8ab0\u3082\u66f8\u304b\u306a\u3044Coq\u5165\u9580\u4ee5\u524d\u306e\u8a71 - \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","author_name":"m-hiyama","version":"1.0","provider_name":"Hatena Blog","categories":["\u96d1\u8a18\uff0f\u5099\u5fd8"],"url":"https://m-hiyama.hatenablog.com/entry/20141207/1417948454","blog_url":"https://m-hiyama.hatenablog.com/","title":"\u8ab0\u3082\u66f8\u304b\u306a\u3044Coq\u5165\u9580\u4ee5\u524d\u306e\u8a71","type":"rich","provider_url":"https://hatena.blog","blog_title":"\u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)","image_url":null,"published":"2014-12-07 19:34:14","author_url":"https://blog.hatena.ne.jp/m-hiyama/","description":"\u300cWindows\u3078\u306eCoq\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u300d\uff1a \u4e8b\u60c5\u304c\u3042\u3063\u3066\u3001Agda\u304bCoq\u3092\u89e6\u3063\u3066\u307f\u3088\u3046\u304b\u3001\u3068\u3002 \u4e8b\u60c5\u3068\u3044\u3046\u306e\u306f\u3001\u500b\u3005\u306e\u547d\u984c\u306e\u8a3c\u660e\uff08\u78ba\u8a8d\uff09\u306f\u5272\u3068\u7c21\u5358\u305d\u3046\u3060\u304c\u3001\u547d\u984c\u304c\u30a4\u30c3\u30d1\u30a4\u3042\u308b\u306e\u3067\u30a6\u30f3\u30b6\u30ea\u306a\u72b6\u6cc1\u306e\u3053\u3068\u3067\u3059\u3002\u5bb6\u8a08\u7c3f\u306e\u8a08\u7b97\u304c\u7b46\u7b97\u3060\u3068\u9762\u5012\u3060\u304b\u3089\u96fb\u5353\u3092\u4f7f\u3044\u305f\u3044\u3001\u3068\u3044\u3046\u72b6\u6cc1\u3068\u540c\u69d8\u3067\u3059\u3002\u305d\u308c\u3067Coq\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u306f\u6e08\u3093\u3060\u306e\u3067\u3059\u304c\u3001\u51e6\u7406\u7cfb\u306e\u4f7f\u3044\u65b9\u304c\u5206\u304b\u3089\u306a\u3044\u3002\u500b\u3005\u306e\u64cd\u4f5c\u306f\u899a\u3048\u3066\u3044\u3051\u3070\u3044\u3044\u306e\u3067\u3057\u3087\u3046\u304c\u3001\u305d\u3082\u305d\u3082Coq\u51e6\u7406\u7cfb\u304c\u4f55\u3092\u3059\u308b\u3082\u306e\u306a\u306e\u304b\uff1f \u304c\u7406\u89e3\u3067\u304d\u306a\u3044\u306e\u3067\u3059\u3002Web\u4e0a\u306bCoq\u306e\u89e3\u8aac\u306f\u5e7e\u3064\u3082\u3042\u308b\u306e\u3067\u3059\u304c\u3001\u300c\u3044\u3084\u3044\u3084\u3001\u305d\u3046\u3058\u3083\u306a\u304f\u3066\u3001\u305d\u308c\u4ee5\u524d\u306e\u3053\u3068\u304c\u30b5\u30c3\u30d1\u30ea\u308f\u304b\u3089\u3093\u306e\u3067\u3059\u3051\u3069\u300d\u3068\u3044\u3046\u611f\u3058\u3002\u30b9\u30bf\u30fc\u30c8\u30e9\u30a4\u30f3\u2026"}