{"width":"100%","version":"1.0","author_name":"m-hiyama","published":"2014-09-25 18:59:41","title":"\u7573\u307f\u8fbc\u307f\u534a\u74b0\u306e\u524d\u9001\u308a\u6e96\u540c\u578b -- \u30d1\u30ea\u30af\u306e\u5b9a\u7406\u306b\u5411\u3051\u3066","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/m-hiyama/","blog_url":"https://m-hiyama.hatenablog.com/","provider_name":"Hatena Blog","type":"rich","url":"https://m-hiyama.hatenablog.com/entry/20140925/1411639181","categories":["\u96d1\u8a18\uff0f\u5099\u5fd8"],"description":"\u3053\u306e\u30d6\u30ed\u30b0\u3067\u4f55\u5ea6\u304b\u540d\u524d\u3092\u51fa\u3057\u3066\u3044\u308b\uff08\u4f8b\u3048\u3070\u30b3\u30ec\uff09M.W.\u30db\u30d7\u30ad\u30f3\u30b9\uff08Mark William Hopkins\uff09\u306f\u3001\u30d1\u30ea\u30af\u306e\u5b9a\u7406\uff08Parikh's theorem \uff09\u306b\u8208\u5473\u3092\u6301\u3063\u3066\u3044\u305f\u3088\u3046\u3067\u3059\u3002\u300cMark W. Hopkins\u306f\u4eca\u3069\u3053\u306b\uff1f\u300d\u3067\u7d39\u4ecb\u3057\u305f\"Parikh's Theorem in Commutative Kleene Algebra\"\u3068\u3044\u3046\u3001\u30de\u30fc\u30af\u3068\u30c7\u30af\u30b9\u30bf\u30fc\u30fb\u30b3\u30a9\u30bc\u30f3\u306e\u8ad6\u6587\u306f\u3001\u30d1\u30ea\u30af\u306e\u5b9a\u7406\u304c\u4e3b\u984c\u3067\u3059\u3002\u3053\u306e\u8ad6\u6587\u306f\u3001\u4eca\u3067\u3082\u30b3\u30a9\u30bc\u30f3\u306e\u30b5\u30a4\u30c8\u306b\u63b2\u8f09\u3055\u308c\u3066\u3044\u307e\u3059\u3002 http://www.cs.cornell.edu/~kozen/papers/Hopkins.pdf \u50d5\u3082\u5f71\u97ff\u3092\u53d7\u3051\u3066\u3001\u30d1\u30ea\u30af\u306e\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20140925%2F1411639181\" title=\"\u7573\u307f\u8fbc\u307f\u534a\u74b0\u306e\u524d\u9001\u308a\u6e96\u540c\u578b -- \u30d1\u30ea\u30af\u306e\u5b9a\u7406\u306b\u5411\u3051\u3066 - \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>","height":"190","blog_title":"\u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)","image_url":null}