{"published":"2007-10-28 13:58:03","author_url":"https://blog.hatena.ne.jp/smoking186/","url":"https://186.hatenablog.com/entry/20071028/1193547483","version":"1.0","height":"190","description":"2-color cyclic tag system\u304c\u8a08\u7b97\u4e07\u80fd\u6027\u3092\u6709\u3057\u3066\u3044\u308b\u3053\u3068\u304c\u77e5\u3089\u308c\u3066\u3044\u308b\u306e\u3067\uff0c2,3-Turing machine\u3067\u305d\u308c\u3092\u30a8\u30df\u30e5\u30ec\u30fc\u30c8\u3059\u308b\u3053\u3068\u3067\u4e07\u80fd\u6027\u3092\u793a\u3057\u3066\u3044\u308b\uff0e System 0\u304c2,3-Turing machine\u3067, \u4ee5\u4e0bSystem 5\u307e\u3067\u3042\u308b. 5\u307e\u3067\u5909\u5f62\u3057\u3066\u305d\u308c\u30672-color cyclic tag system\u3092\u30a8\u30df\u30e5\u30ec\u30fc\u30c8\u3059\u308b\u3088\u3046\u3060\uff0e System 0\u304b\u3089System 1\u3068System 2\u304b\u3089System 5\u306e\u5909\u5f62\u306f\u7406\u89e3\u3057\u305f\u304c\uff0cSystem 1\u3067System 2\u3092\u30a8\u30df\u30e5\u30ec\u30fc\u30c8\u3059\u308b\u3068\u3053\u308d\u304c\u8aad\u3081\u306a\u3044\uff0e\u624b\u3092\u52d5\u304b\u3055\u306a\u3044\u3068\u30c0\u30e1\u3063\u307d\u3044\uff0eperl\u3067\u30d7\u30ed\u30b0\u30e9\u30e0\u66f8\u3044\u3066\u308b\u306e\u304c\u2026","width":"100%","author_name":"smoking186","provider_url":"https://hatena.blog","title":"On the proof of the universarity of the 2,3-Turing machine","blog_url":"https://186.hatenablog.com/","categories":[],"image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20071028%2F1193547483\" title=\"On the proof of the universarity of the 2,3-Turing machine - 186 @ hatenablog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","type":"rich","blog_title":"186 @ hatenablog"}