{"description":"Coq/SSReflect/MathComp\u306b\u3088\u308b\u5b9a\u7406\u8a3c\u660e \u30d5\u30ea\u30fc\u30bd\u30d5\u30c8\u3067\u306f\u3058\u3081\u308b\u6570\u5b66\u306e\u5f62\u5f0f\u5316 | \u68ee\u5317\u51fa\u7248\u682a\u5f0f\u4f1a\u793e\u3092\u8cb7\u3063\u305f\u306e\u3067\u3001\u3068\u308a\u3042\u3048\u305a\u74b0\u5883\u3060\u3051\u6574\u3048\u308b\u3002 \u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u74b0\u5883 % uname -a Linux pi 4.4.0-122-generic #146-Ubuntu SMP Mon Apr 23 15:34:04 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux % more /etc/lsb-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=16.04 DISTRIB_CODENAME=xenial DISTRIB_DE\u2026","author_name":"next49","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnext49.hatenadiary.jp%2Fentry%2F20180508%2F1525777618\" title=\"Ubuntu 16.04\u4e0a\u306bCoq, SSReflect, MathComp\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb - \u767a\u58f0\u7df4\u7fd2\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","width":"100%","author_url":"https://blog.hatena.ne.jp/next49/","url":"https://next49.hatenadiary.jp/entry/20180508/1525777618","type":"rich","published":"2018-05-08 20:06:58","provider_url":"https://hatena.blog","image_url":null,"height":"190","blog_url":"https://next49.hatenadiary.jp/","provider_name":"Hatena Blog","blog_title":"\u767a\u58f0\u7df4\u7fd2","title":"Ubuntu 16.04\u4e0a\u306bCoq, SSReflect, MathComp\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb","categories":[]}