{"author_url":"https://blog.hatena.ne.jp/m-hiyama/","height":"190","blog_title":"\u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)","title":"\u7d75\u7b97\u30d9\u30fc\u30b9\u306e\u8a3c\u660e\u652f\u63f4\u7cfb Globular","url":"https://m-hiyama.hatenablog.com/entry/20160121/1453363928","type":"rich","categories":["\u96d1\u8a18\uff0f\u5099\u5fd8"],"blog_url":"https://m-hiyama.hatenablog.com/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20160121%2F1453363928\" title=\"\u7d75\u7b97\u30d9\u30fc\u30b9\u306e\u8a3c\u660e\u652f\u63f4\u7cfb Globular - \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)\" 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","description":"\u7d75\u7b97\u30d9\u30fc\u30b9\u306e\u8a3c\u660e\u652f\u63f4\u7cfb\u3067\u3042\u308bGlobular\u304cWeb\u30b5\u30fc\u30d3\u30b9\u3068\u3057\u3066\u516c\u958b\u3055\u308c\u3066\u3044\u307e\u3059\u3002 http://globular.science/ \u30d6\u30e9\u30a6\u30b6\u30fc\uff08Chrome\u63a8\u5968\uff09\u4e0a\u3067\u52d5\u304fJavaScript\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u8a3c\u660e\u652f\u63f4\u7cfb\u306e\u5b9f\u4f53\u3067\u3059\u3002\u8a3c\u660e\u652f\u63f4\u7cfb\u3068\u306f\u8a00\u3063\u3066\u3082\u3001Coq\u3084Agda\u306a\u3069\u3068\u306f\u3060\u3044\u3076\u8da3\u304c\u7570\u306a\u308a\u307e\u3059\u3002100%\u30b0\u30e9\u30d5\u30a3\u30ab\u30eb\u3067\u3001\u30c6\u30ad\u30b9\u30c8\u306b\u3088\u308b\u8868\u73fe\u3084\u547d\u4ee4\u306f\u4e00\u5207\u4f7f\u3044\u307e\u305b\u3093\u3002\u30d1\u30c3\u3068\u898b\u305f\u3060\u3051\u3067\u306f\u3001\u4f55\u3092\u3059\u308b\u3082\u306e\u304b\u898b\u5f53\u304c\u4ed8\u304b\u306a\u3044\u306e\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002\u3053\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3092\u958b\u767a\u3057\u305f\u306e\u306f\u3001\u30a2\u30d6\u30e9\u30e0\u30b9\u30ad\u30fc\u3068\u30af\u30c3\u30af\uff08\u3053\u306e\u8a18\u4e8b\u306b\u4e8c\u4eba\u306e\u5199\u771f\u3042\u308a\uff09\u304c\u7387\u3044\u308b\u30aa\u30c3\u30af\u30b9\u30d5\u30a9\u30fc\u30c9\u306eQuantum Group\u3067\u3001\u958b\u767a\u306e\u4e2d\u5fc3\u4eba\u7269\u306f\u30b8\u30a7\u30a4\u30df\u30fc\u30fb\u2026","author_name":"m-hiyama","version":"1.0","width":"100%","provider_name":"Hatena Blog","published":"2016-01-21 17:12:08","image_url":"http://www.chimaira.org/img3/GlobularScreenshot.png"}