{"categories":[],"author_url":"https://blog.hatena.ne.jp/y_taka_23/","image_url":null,"title":"Coq \u3067 Quine","url":"https://ccvanishing.hateblo.jp/entry/2013/02/03/133158","blog_title":"\u30c1\u30a7\u30b7\u30e3\u732b\u306e\u6d88\u6ec5\u5b9a\u7406","author_name":"y_taka_23","height":"190","provider_name":"Hatena Blog","blog_url":"https://ccvanishing.hateblo.jp/","description":"Coq \u3067\u81ea\u5df1\u51fa\u529b\u30d7\u30ed\u30b0\u30e9\u30e0\u3001\u3044\u308f\u3086\u308b Quine \u3092\u4f5c\u6210\u3057\u3066\u307f\u307e\u3057\u305f\u3002\u5168\u4f53\u306e\u6d41\u308c\u3068\u3057\u3066\u306f\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306e\u9023\u8f09\u300c\u81ea\u5206\u81ea\u8eab\u3092\u51fa\u529b\u3059\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u300d\u306e Haskell \u7248\u3092\u53c2\u8003\u306b\u3057\u3066\u3042\u308a\u307e\u3059\u3002\u4eca\u56de\u306e\u30b3\u30fc\u30c9\u306f\u77ed\u3044\u306e\u3067\u8a18\u4e8b\u306e\u6700\u5f8c\u306b\u5168\u4f53\u3092\u8f09\u305b\u3066\u3042\u308a\u307e\u3059\u304c\u3001\u4e00\u5fdc\u3044\u3064\u3082\u306e\u3054\u3068\u304f Gist \u4e0a https://gist.github.com/4700318 \u306b\u3082\u540c\u3058\u3082\u306e\u3092\u7f6e\u3044\u3066\u304a\u304d\u307e\u3057\u305f\u3002 Coq \u306e\u7279\u6027\u3042\u308c\u3053\u308c Quine \u306a\u308b\u3082\u306e\u3092\u521d\u3081\u3066\u805e\u3044\u305f\u4eba\u306f wikipedia:\u30af\u30ef\u30a4\u30f3_(\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0) \u3042\u305f\u308a\u3092\u898b\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u300c\u81ea\u5206\u81ea\u8eab\u306e\u30bd\u30fc\u30b9\u30b3\u30fc\u30c9\u3092\u6a19\u6e96\u51fa\u529b\u3059\u308b\u3002\u305f\u3060\u3057\u7a7a\u30d5\u30a1\u30a4\u30eb\u3067\u306a\u304f\u3001\u5165\u529b\u306f\u53d7\u3051\u4ed8\u3051\u306a\u3044\u300d\u3068\u3044\u2026","provider_url":"https://hatena.blog","type":"rich","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2013%2F02%2F03%2F133158\" title=\"Coq \u3067 Quine - \u30c1\u30a7\u30b7\u30e3\u732b\u306e\u6d88\u6ec5\u5b9a\u7406\" 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","published":"2013-02-03 13:31:58"}