{"title":"\u3082\u306e\u307e\u306d\u9ce5\u3092\u307e\u306d\u308b coq\u3067","blog_url":"https://morita-non.hatenadiary.org/","height":"190","version":"1.0","author_name":"morita_non","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorita-non.hatenadiary.org%2Fentry%2F20150106%2F1420557915\" title=\"\u3082\u306e\u307e\u306d\u9ce5\u3092\u307e\u306d\u308b coq\u3067 - memo\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"memo","type":"rich","description":"\u305f\u3076\u3093\u3059\u3050\u98fd\u304d\u308b\u3002\u3068\u3044\u3046\u304b\u5206\u304b\u3089\u306a\u304f\u306a\u3063\u3066\u6295\u3052\u3060\u3059\u3068\u601d\u3046\u304c\u3001\u771f\u4f3c\u3066\u307f\u308b\u3002\u3053\u306e\u672c\u306e9\u7ae0\u3002 \u3042\u308b\u68ee\u306b\u9ce5\u305f\u3061\u304c\u4f4f\u3093\u3067\u308b\u3002\u4efb\u610f\u306e\u9ce5A\u3068B\u304c\u3044\u308b\u3068\u3057\u3066\u3001A\u306b\u5411\u304b\u3063\u3066B\u306e\u540d\u3092\u547c\u3079\u3070\u3001A\u306f\u3001\u4f55\u304b\u3057\u3089\u9ce5\u306e\u540d\u524d\u3092\u8fd4\u4e8b\u3068\u3057\u3066\u5fdc\u7b54\u3059\u308b\u3002\u305d\u306e\u3068\u304d\u8fd4\u4e8b\u3068\u3057\u3066\u5fdc\u7b54\u3055\u308c\u305f\u9ce5\u306e\u540d\u524d\u3092AB\u3068\u3059\u308b\u3002AB\u306f\u3001B\u306e\u540d\u524d\u3092\u805e\u3044\u305fA\u306e\u9ce5\u304c\u540d\u3065\u3051\u305f\u9ce5\u306e\u540d\u524d\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\u3002\u5404\u9ce5\u306f\u3001\u9ce5\u306e\u540d\u524d\u3092\u5165\u529b\u306b\u3057\u3066\u3001\u5225\u306e\u9ce5\u306e\u540d\u524d\u3092\u8fd4\u3059\u95a2\u6570\u307f\u305f\u3044\u306a\u3082\u306e\u3002\u3068\u3044\u3046\u304b\u305d\u308c\u305d\u306e\u3082\u306e\u3067\u3042\u308b\u3002(\u9ce5\u3068\u305d\u306e\u540d\u524d\u3068\u304b\u3001\u533a\u5225\u3059\u308b\u5fc5\u8981\u3059\u3089\u306a\u3044\u611f\u3058\u3082\u3059\u308b\u304c)\u3068\u3044\u3046\u3053\u3068\u3067\u3001\u9ce5\u306e\u5b9a\u7fa9\u3067\u3042\u308b\u3002coq\u3067\u3002 Inductive Bird : Type := | var_bird (x :\u2026","provider_name":"Hatena Blog","url":"https://morita-non.hatenadiary.org/entry/20150106/1420557915","published":"2015-01-06 00:25:15","categories":[],"image_url":"https://images-fe.ssl-images-amazon.com/images/I/414st1tONlL._SL75_.jpg","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/morita_non/"}