{"published":"2021-12-31 17:39:55","categories":[],"author_name":"computeralgebra","author_url":"https://blog.hatena.ne.jp/computeralgebra/","width":"100%","title":"\u73fe\u72b6\u5831\u544a(3)","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F12%2F31%2F173955\" title=\"\u73fe\u72b6\u5831\u544a(3) - \u975e\u5c02\u9580\u7684\u30b7\u30f3\u30ae\u30e5\u30e9\u30ea\u30c6\u30a3\u30fc\u7814\u7a76\u6240\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog","url":"https://computeralgebra.hatenablog.com/entry/2021/12/31/173955","blog_title":"\u975e\u5c02\u9580\u7684\u30b7\u30f3\u30ae\u30e5\u30e9\u30ea\u30c6\u30a3\u30fc\u7814\u7a76\u6240","blog_url":"https://computeralgebra.hatenablog.com/","image_url":"https://m.media-amazon.com/images/I/41VkMipqSXL._SL500_.jpg","provider_name":"Hatena Blog","height":"190","type":"rich","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\u3068\u3044\u3046\u672c\u306eKindle\u7248\u304c\u306a\u304b\u3063\u305f\u306e\u3067Kinoppy\u3067\u8cfc\u5165\u3002Kinoppy\u306f\u521d\u3081\u3066\u4f7f\u3044\u307e\u3057\u305f\u3002PC\u3067\u306f\u5b57\u304c\u5c0f\u3055\u304f\u3066\u8aad\u307f\u306b\u304f\u3044\u3067\u3059\u304ciPad\u306e\u5927\u304d\u3044\u306e\u3092\u6301\u3063\u3066\u3044\u308b\u306e\u3067\u305d\u3063\u3061\u3067\u306f\u306a\u3093\u3068\u304b\u8aad\u3081\u307e\u3059\u3002PC\u7248\u306f\u306a\u3093\u3068\u304b\u3057\u3066\u307b\u3057\u3044\u3067\u3059\u3002\u5b9a\u7406\u8a3c\u660e\u624b\u7fd2\u3044\u3068\u3044\u3046\u672c\u3082Kindle\u7248\u304c\u306a\u304b\u3063\u305f\u306e\u3067\u30e9\u30e0\u30c0\u30ce\u30fc\u30c8\u306e\u30b5\u30a4\u30c8\u304b\u3089\u96fb\u5b50\u66f8\u7c4d\u3092\u8cfc\u5165\u3002\u3053\u308c\u306fPDF\u306a\u306e\u3067\u62e1\u5927\u3059\u308c\u3070\u8aad\u3081\u307e\u3059\u3002iPad\u3067\u3082\u306a\u3093\u3068\u304b\u8aad\u3081\u307e\u3059\u3002Kindle\u7248\u304c\u3042\u308c\u3070\u7247\u624b\u3067\u6301\u3066\u308b\u306e\u3067\u305d\u3063\u3061\u306e\u65b9\u304c\u4fbf\u5229\u3067\u3059\u304c\u3001\u6587\u5b57\u306e\u30b5\u30a4\u30ba\u304c\u56fa\u5b9a\u3055\u308c\u3066\u3044\u308b\u3082\u306e\u306f\u8aad\u3081\u306a\u3044\u306e\u3067\u3053\u308c\u3089\u306e\u672c\u306b\u95a2\u2026"}