{"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20050530%2F1117438208\" title=\"Kleene\u4ee3\u6570\u3068\u6b63\u898f\u8868\u73fe - \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>","width":"100%","type":"rich","author_name":"m-hiyama","blog_title":"\u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)","height":"190","author_url":"https://blog.hatena.ne.jp/m-hiyama/","categories":["\u96d1\u8a18\uff0f\u5099\u5fd8"],"version":"1.0","title":"Kleene\u4ee3\u6570\u3068\u6b63\u898f\u8868\u73fe","published":"2005-05-30 16:30:08","image_url":null,"provider_name":"Hatena Blog","url":"https://m-hiyama.hatenablog.com/entry/20050530/1117438208","blog_url":"https://m-hiyama.hatenablog.com/","provider_url":"https://hatena.blog","description":"\u4eca\u307e\u3067\uff08\u91d1\u66dc\u65e5\u3068\u4eca\u65e5\uff09\u306e\u8a71\u3092\u307e\u3068\u3081\u308b\u3068\u3001\u30ea\u30b9\u30c8\u3001\u30d0\u30c3\u30b0\u3001\u30bb\u30c3\u30c8\u306e\u3044\u305a\u308c\u306b\u5bfe\u3057\u3066\u30822\u9805\u6f14\u7b97\u30fb\u3068\u5b9a\u6570I\u304c\u5b9a\u7fa9\u3067\u304d\u3066\u3001\u3055\u3089\u306b\u3001\u305d\u308c\u305e\u308c\u306e\u30d1\u30ef\u30fc\uff08\u30d9\u30ad\u96c6\u5408\uff09\u4e0a\u306b\u30fb\u3068I\u3092\u6301\u3061\u4e0a\u3052\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3001\u3063\u3066\u3053\u3068\u3067\u3057\u305f\u3002\u305d\u3057\u3066\u3001\u30d1\u30ef\u30fc\u306e\u4e0a\u3067\u3082\u6b21\u306e\u8a08\u7b97\u6cd5\u5247\u304c\u6210\u7acb\u3057\u307e\u3059\u3002 (A\u30fbB)\u30fbC = A\u30fb(B\u30fbC) \uff08\u3069\u306e\u5834\u5408\u3067\u3082\uff09 I\u30fbA = A\u30fbI = A \uff08\u3069\u306e\u5834\u5408\u3067\u3082\uff09 A\u30fbB = B\u30fbA \uff08\u30d0\u30c3\u30b0\u3068\u30bb\u30c3\u30c8\uff09 A\u30fbA = A \uff08\u30bb\u30c3\u30c8\uff09 \u3064\u307e\u308a\u3001\u8a08\u7b97\u6cd5\u5247\u3082\u30d1\u30ef\u30fc\u4e0a\u306b\u6301\u3061\u4e0a\u304c\u308b\u306e\u3067\u3059\u3002\u30d1\u30ef\u30fc\u4e0a\u3067\u306f\u3001\u96c6\u5408\u306e\u5408\u4f75\u6f14\u7b97\u222a\u304c\u3042\u308a\u307e\u3059\u3002\u4fbf\u5b9c\u4e0a\u3001\u222a\u3092+\u3067\u3001\u7a7a\u96c6\u5408\u3092O\uff08\u5927\u6587\u5b57\u30aa\u30fc\uff09\u3067\u8868\u3059\u3053\u3068\u306b\u3059\u308b\u3068\u3001\u6b21\u3082\u6210\u7acb\u3057\u307e\u3059\u3002 (A + B)\u2026"}