{"author_name":"y_taka_23","image_url":null,"version":"1.0","blog_url":"https://ccvanishing.hateblo.jp/","description":"Coq \u3067\u30af\u30a4\u30c3\u30af\u30bd\u30fc\u30c8\u306e\u691c\u8a3c\u3001\u4e09\u56de\u76ee\u3067\u3059\u3002\u4eca\u56de\u306f\u6700\u5f8c\u306b\u6b8b\u3063\u305f\u90e8\u5206\u3092\u3061\u3087\u308d\u3063\u3068\u3060\u3051\u57cb\u3081\u307e\u3057\u3087\u3046\u3002\u30b3\u30fc\u30c9\u306f\u524d\u56de\u3001\u524d\u3005\u56de\u306b\u8ffd\u8a18\u3059\u308b\u5f62\u3067\u3001https://gist.github.com/4526374 \u306b\u7f6e\u3044\u3066\u3042\u308a\u307e\u3059\u306e\u3067\u3088\u304b\u3063\u305f\u3089\u3054\u53c2\u7167\u3092\u3002 \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u5b9a\u7fa9 \u4ed5\u69d8\u306e\u691c\u8a3c\u305d\u306e 1 \u4ed5\u69d8\u306e\u691c\u8a3c\u305d\u306e 2 (\u3053\u306e\u8a18\u4e8b) \u4eca\u56de\u306e\u76ee\u6a19 \u4eca\u56de\u306f\u3001\u6700\u5f8c\u306b\u6b8b\u3063\u305f qsort \u306e\u4e8c\u3064\u76ee\u306e\u4ed5\u69d8 \u51fa\u529b\u304c\u5165\u529b\u306e\u7f6e\u63db (\u4e26\u3073\u66ff\u3048) \u306b\u306a\u3063\u3066\u3044\u308b\u3053\u3068 \u3092\u8a3c\u660e\u3057\u307e\u3059\u3002\u30e2\u30b8\u30e5\u30fc\u30eb Sorting.Permutation \u3092\u4f7f\u3044\u307e\u3057\u3087\u3046\u3002\u524d\u56de\u306e Sorted \u306b\u6bd4\u3079\u3001Permutation \u306f\u30ea\u30b9\u30c8\u64cd\u4f5c\u3068\u305d\u308c\u306a\u308a\u306b\u76f8\u6027\u304c\u3088\u304f\u3001\u8a3c\u660e\u2026","width":"100%","categories":[],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2013%2F01%2F27%2F201809\" title=\"Coq \u3067\u30af\u30a4\u30c3\u30af\u30bd\u30fc\u30c8 (3) - \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>","type":"rich","title":"Coq \u3067\u30af\u30a4\u30c3\u30af\u30bd\u30fc\u30c8 (3)","provider_url":"https://hatena.blog","height":"190","url":"https://ccvanishing.hateblo.jp/entry/2013/01/27/201809","blog_title":"\u30c1\u30a7\u30b7\u30e3\u732b\u306e\u6d88\u6ec5\u5b9a\u7406","author_url":"https://blog.hatena.ne.jp/y_taka_23/","provider_name":"Hatena Blog","published":"2013-01-27 20:18:09"}