{"id":994,"date":"2021-12-15T00:00:59","date_gmt":"2021-12-14T15:00:59","guid":{"rendered":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/?p=994"},"modified":"2021-12-15T13:35:01","modified_gmt":"2021-12-15T04:35:01","slug":"turingcompleteaquatan","status":"publish","type":"post","link":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/2021\/12\/15\/turingcompleteaquatan\/","title":{"rendered":"\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3042\u304f\u3042\u305f\u3093"},"content":{"rendered":"<div class=\"entry-content\" itemprop=\"text\">\n<p class=\"qtranxs-available-languages-message qtranxs-available-languages-message-en\">Sorry, this entry is only available in <a href=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/ja\" class=\"qtranxs-available-language-link qtranxs-available-language-link-ja\" title=\"\u65e5\u672c\u8a9e\">\u65e5\u672c\u8a9e<\/a>.<\/p>\u3053\u306e\u8a18\u4e8b\u306f<a href=\"https:\/\/adventar.org\/calendars\/6609\">\u3042\u304f\u3042\u305f\u3093\u5de5\u623f Advent Calendar 2021<\/a>\u306e15\u65e5\u76ee\u3067\u3059\uff0e<\/p>\n<h3>\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3068\u306f\uff1f<\/h3>\n<p>\u3042\u308b\u8a08\u7b97\u30b7\u30b9\u30c6\u30e0\u304c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3068\u306f\uff0c\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3068\u540c\u3058\u8a08\u7b97\u80fd\u529b\u3092\u6301\u3064\u3053\u3068\u3092\u6307\u3057\u307e\u3059\uff0e\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3092\u6a21\u5023\u3067\u304d\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3067\u3042\u308a\uff0c\u73fe\u5728\u306e\u3069\u3093\u306a\u8a08\u7b97\u6a5f\u304c\u89e3\u3051\u308b\u554f\u984c\u3067\u3082\u89e3\u304f\u3053\u3068\u304c\u3067\u304d\u308b\u3068\u8003\u3048\u3089\u308c\u3066\u3044\u307e\u3059\uff0e<\/p>\n<p>\u3042\u308b\u30b7\u30b9\u30c6\u30e0\u304c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u304b\u3092\u5224\u5b9a\u3059\u308b\u306e\u306f\u96e3\u3057\u3044\u554f\u984c\u306b\u306a\u308b\u305f\u3081\uff0c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3053\u3068\u304c\u3059\u3067\u306b\u5224\u660e\u3057\u3066\u3044\u308b\u30b7\u30b9\u30c6\u30e0\u306e\u6a21\u5023\u304c\u3067\u304d\u308b\u5834\u5408\uff0c\u305d\u306e\u30b7\u30b9\u30c6\u30e0\u3082\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3068\u8a00\u3048\u307e\u3059\uff0e<\/p>\n<h3>\u6c34\u69fd\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3<\/h3>\n<p>\u3042\u304f\u3042\u305f\u3093\u7fa9\u4f53\u306f\u30ec\u30fc\u30eb\u306e\u4e0a\u306e\u30de\u30fc\u30ab\u30fc(\u4f4d\u7f6e)\u3092\u8aad\u307f\u53d6\u3063\u3066\u6c34\u5e73\u65b9\u5411\u306b\u9032\u3080\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e\u307e\u305f\uff0c\u30ec\u30fc\u30eb\u306e\u4f4d\u7f6e\u4e0a\u3067\u30ab\u30e1\u30e9\u306e\u5782\u76f4\u65b9\u5411\u3092\u6607\u964d\u3055\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e\u30ec\u30fc\u30eb\u306e\u4f4d\u7f6e\u306f\u3042\u304f\u3042\u305f\u3093bot\u304b\u3089\u306e\u6307\u4ee4\u306b\u3088\u308a\u79fb\u52d5\u3055\u305b\u308b\u3053\u3068\u304c\u591a\u3044\u3067\u3059\u304c\uff0c\u30ab\u30e1\u30e9\u306e\u6607\u964d\u306b\u3064\u3044\u3066\u306f\u6307\u4ee4\u3092\u98db\u3070\u3059\u3053\u3068\u304c\u5c11\u306a\u304f\u306a\u3063\u3066\u3044\u307e\u3059\uff0e\u305d\u3053\u3067\uff0c\u30ab\u30e1\u30e9\u306e\u6607\u964d\u306b\u3064\u3044\u3066\u306f\uff0c\u30e9\u30f3\u30c0\u30e0\u306b\u8fd1\u3044\u3051\u308c\u3069\u3082\u7279\u5b9a\u306e\u30eb\u30fc\u30eb\u3092\u5229\u7528\u3057\u305f\u52d5\u4f5c\u3092\u3055\u305b\u305f\u3044\u3068\u601d\u3044\u307e\u3059\uff0e<\/p>\n<p>\u30ec\u30fc\u30eb\u306e\u4f4d\u7f6e\u306b\u306f1\u30d3\u30c3\u30c8\u306e\u60c5\u5831\u304c\u4ed8\u4e0e\u3067\u304d\u308b\u3082\u306e\u3068\u3057\u307e\u3059\uff0e\u3042\u304f\u3042\u305f\u3093\u306f\u4f4d\u7f6e\u4e0a\u3067\u30ab\u30e1\u30e9\u5782\u76f4\u65b9\u5411\u3092\u4e0a\u4e0b\u3055\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u306e\u3067\uff0c\u3053\u3053\u3067\u306f\u3042\u308b\u4f4d\u7f6e\u306b\u304a\u3044\u3066\uff0c\u30ab\u30e1\u30e9\u30921\u6bb5\u4e0a\u6607\u3055\u305b\u308b\u306a\u30891\uff0c1\u6bb5\u4e0b\u964d\u3055\u305b\u308b\u306a\u30890\u3068\u3057\u307e\u3059\uff0e\u3053\u306e\u60c5\u5831\u3092\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u3068\u547c\u3073\u307e\u3059\uff0e\u3042\u304f\u3042\u305f\u3093\u306f\u3053\u306e\u60c5\u5831\u3092\u4f7f\u3063\u3066\uff0c\u305d\u306e\u4f4d\u7f6e\u3092\u8e0f\u3093\u3060\u3068\u304d\u306b\u30ab\u30e1\u30e9\u5782\u76f4\u4f4d\u7f6e\u3092\u5909\u66f4\u3057\u307e\u3059\uff0e<\/p>\n<p>\u5404\u4f4d\u7f6e\u3067\u306e\u6607\u964d\u52d5\u4f5c\u3092\u521d\u671f\u72b6\u614b\u3068\u3057\u3066\u3042\u304f\u3042\u305f\u3093\u306b\u6559\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e<\/p>\n<p><a href=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-1024x997.png\" alt=\"\" width=\"640\" height=\"623\" class=\"aligncenter size-large wp-image-1081\" srcset=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-1024x997.png 1024w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-300x292.png 300w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-768x748.png 768w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-640x623.png 640w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-48x48.png 48w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447-50x50.png 50w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3109-e1639452045447.png 1170w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/a><\/p>\n<h3>\u6c34\u69fd\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u66f4\u65b0\u898f\u5247<\/h3>\n<p>\u3055\u3066\uff0c\u3053\u306e\u307e\u307e\u3067\u306f\u3044\u3064\u3082\u540c\u3058\u4f4d\u7f6e\u3067\u4e0a\u4e0b\u3059\u308b\u3060\u3051\u3067\u9762\u767d\u304f\u3042\u308a\u307e\u305b\u3093\uff0e<br \/>\n\u305d\u3053\u3067\uff0c\u3042\u304f\u3042\u305f\u3093\u304c\u6c34\u69fd\u306e\u4e00\u756a\u5de6\u304b\u53f3(\u4f4d\u7f6e0\u304b16)\u306b\u5230\u9054\u3057\u305f\u6642\u70b9\u3067\uff0c\u30ab\u30e1\u30e9\u3092\u6607\u964d\u3055\u305b\u308b\u30d1\u30bf\u30fc\u30f3\u3092\u5909\u66f4\u3057\u305f\u3044\u3068\u601d\u3044\u307e\u3059\uff0e<\/p>\n<p>\u3053\u306e\u30d1\u30bf\u30fc\u30f3\u306e\u5909\u66f4\u306f\uff0c\u5404\u4f4d\u7f6e\u306b\u304a\u3044\u3066\uff0c\u5de6\u53f3\u4e21\u96a3\u306e\u4f4d\u7f6e\u306e\u72b6\u614b\u306b\u5fdc\u3058\u3066\u5909\u66f4\u3059\u308b\u3088\u3046\u306b\u3057\u307e\u3059\uff0e\u305d\u3046\u3059\u308b\u3068\uff0c\u6b21\u306e\u3088\u3046\u306a\u9077\u79fb\u8868\u3092\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e3\u30d3\u30c3\u30c8\u306e\u771f\u3093\u4e2d\u304c\u5f53\u8a72\u4f4d\u7f6e\u3067\u3042\u308a\uff0c\u5de6\u53f3\u3068\u81ea\u5206\u81ea\u8eab\u306e\u5024\u306b\u5fdc\u3058\u3066\uff0c\u81ea\u5206\u81ea\u8eab\u306e\u5909\u66f4\u5f8c\u306e\u5024\u304c\u6c7a\u307e\u308a\u307e\u3059\uff0e<\/p>\n<table>\n<thead>\n<tr>\n<th align=\"left\">\u5909\u66f4\u524d(\u5de6\uff0c\u81ea\u8eab\uff0c\u53f3)<\/th>\n<th align=\"left\">\u5909\u66f4\u5f8c<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td align=\"left\">0, 0, 0<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">0, 0, 1<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">0, 1, 0<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">0, 1, 1<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 0, 0<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 0, 1<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 1, 0<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 1, 1<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u3053\u308c\u3092\u300c\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u66f4\u65b0\u898f\u5247\uff08\u66f4\u65b0\u898f\u5247\uff09\u300d\u3068\u547c\u3073\u307e\u3059\uff0e<\/p>\n<p>\u4f8b\u3048\u3070\uff0c\u4e0a\u8a18\u66f4\u65b0\u898f\u5247\u3067\u306f\uff0c\u3042\u308b\u6642\u70b9\u306e\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u304c\u300c<code>0001111000111100<\/code>\u300d\u3067\u3042\u3063\u305f\u5834\u5408\uff0c\u6b21\u306e\u3088\u3046\u306b\u66f4\u65b0\u3055\u308c\u307e\u3059\uff0e\u306a\u304a\uff0c\u5b9f\u88c5\u306e\u90fd\u5408\u4e0a\uff0c\u53f3\u7aef\u3068\u5de6\u7aef\u306f\u3064\u306a\u304c\u3063\u3066\u304a\u308a\uff0c\u30eb\u30fc\u30d7\u3057\u3066\u3044\u308b\u3082\u306e\u3068\u3057\u307e\u3059\uff0e<\/p>\n<pre><code>0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0\n\u2193\n1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1\n<\/code><\/pre>\n<p>\u66f4\u65b0\u898f\u5247\u306f\u5909\u66f4\u5f8c\u306e\u30d3\u30c3\u30c8\u304c\u53d6\u308b\u5024\u306e\u4e26\u30738\u3064\u3067\u8b58\u5225\u3067\u304d\u307e\u3059\uff0e\u4e0a\u8a18\u306e\u898f\u5247\u3067\u306f<code>01010101<\/code>\u3068\u306a\u308a\u307e\u3059\uff0e\u3059\u306a\u308f\u3061 2^8 = 256\u500b\u306e\u66f4\u65b0\u898f\u5247\u306e\u3044\u305a\u308c\u304b\u3092\u63a1\u7528\u3059\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\uff0e\u3053\u306e\u66f4\u65b0\u898f\u5247\u306f\u30d3\u30c3\u30c8\u306e\u4e26\u3073\u30922\u9032\u6570\u3068\u3057\u3066\u8aad\u3093\u3060\u5024\u309210\u9032\u8868\u73fe\u3057\u305f\u6570\u5b57\u3067\u8868\u3055\u308c\u307e\u3059\uff0e\u4f8b\u3048\u3070\uff0c\u4e0a\u306e\u8868\u306e\u66f4\u65b0\u898f\u5247\u306f <code>01010101<\/code> \u3067\u3059\u304b\u308964+16+4+1 = 85\u3067\uff0c\u66f4\u65b0\u898f\u524785\u3068\u547c\u3073\u307e\u3059\uff0e\u3042\u304f\u3042\u305f\u3093\u306b\u306f\u3053\u306e\u66f4\u65b0\u898f\u5247\u756a\u53f7\u3092\u4f1d\u3048\u308c\u3070\uff0c\u305d\u306e\u66f4\u65b0\u898f\u5247\u3092\u63a1\u7528\u3059\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<p>\u3042\u304f\u3042\u305f\u3093\u304c\u4e00\u756a\u5de6\u304b\u4e00\u756a\u53f3\u306e\u4f4d\u7f6e\u3078\u79fb\u52d5\u3059\u308b\u3068\uff0c\u3053\u306e\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u66f4\u65b0\u898f\u5247\u304c\u9069\u7528\u3055\u308c\uff0c\u5404\u4f4d\u7f6e\u3067\u306e\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u304c\u66f4\u65b0\u3055\u308c\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<p>\u307e\u3068\u3081\u308b\u3068\uff0c\u3042\u304f\u3042\u305f\u3093\u7fa9\u4f53\u306b\u306f\u300c\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u306e\u521d\u671f\u72b6\u614b\u300d\u300c\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u306e\u66f4\u65b0\u898f\u5247\u300d\u3092\u8a2d\u5b9a\u3059\u308b\u3053\u3068\u304c\u3067\u304d\uff0c\u81ea\u5f8b\u5236\u5fa1\u6642\u306e\u30ab\u30e1\u30e9\u4f4d\u7f6e\u306f\u3053\u308c\u306b\u5f93\u3063\u3066\u6607\u964d\u3055\u305b\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\uff0e\u307e\u305f\u3042\u304f\u3042\u305f\u3093\u7fa9\u4f53\u306e\u30ec\u30fc\u30eb\u4e0a\u306e\u79fb\u52d5\u306b\u4f34\u3044\uff0c\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u306f\u6b21\u4e16\u4ee3\u3078\u3068\u66f4\u65b0\u3055\u308c\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<h3>\u30bb\u30eb\u30fb\u30aa\u30fc\u30c8\u30de\u30c8\u30f3<\/h3>\n<p>\u3053\u3053\u307e\u3067\u3067\u8aac\u660e\u3057\u3066\u304d\u305f\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u3092\u5909\u5316\u3055\u305b\u308b\u52d5\u4f5c\u306f\uff0c\u5b9f\u306f1\u6b21\u5143\u30bb\u30eb\u30fb\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3068\u540c\u3058\u3067\u3059\uff0e1\u6b21\u5143\u30bb\u30eb\u30fb\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306f\u7121\u9650\u306e1\u6b21\u5143\u30bb\u30eb\u306e\u30d3\u30c3\u30c8\u30d1\u30bf\u30fc\u30f3\u3092\u66f4\u65b0\u898f\u5247\u306b\u3088\u3063\u3066\u5909\u66f4\u3057\uff0c\u4e16\u4ee3\u3092\u91cd\u306d\u3066\u3044\u304d\u307e\u3059\uff0e2\u6b21\u5143\u306e\u30bb\u30eb\u30fb\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u4f8b\u3068\u3057\u3066\u306f\u30e9\u30a4\u30d5\u30b2\u30fc\u30e0\u306a\u3069\u304c\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u307e\u3059\u306d\uff0e<\/p>\n<p>1\u6b21\u5143\u30bb\u30eb\u30fb\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e256\u7a2e\u985e\u306e\u898f\u5247\u306f\uff0c\u3069\u306e\u3088\u3046\u306a\u72b6\u614b\u306b\u306a\u308b\u304b\u30674\u3064\u306e\u30af\u30e9\u30b9\u306b\u5206\u985e\u3055\u308c\u307e\u3059\uff0e<\/p>\n<ul>\n<li>\u30af\u30e9\u30b91: \u6700\u7d42\u7684\u306b\u5168\u4f53\u304c\u5747\u8cea\u306a\u72b6\u614b\u306b\u9077\u79fb\u3059\u308b\u3082\u306e(<a href=\"https:\/\/www.wolframalpha.com\/input\/?i=rule+248\">\u898f\u5247248<\/a>)\u306a\u3069)<\/li>\n<li>\u30af\u30e9\u30b92: \u6700\u7d42\u7684\u306b\u5c40\u6240\u7684\u306a\u30d1\u30bf\u30fc\u30f3\u3092\u7e70\u308a\u8fd4\u3057\u305f\u308a\uff0c\u5b89\u5b9a\u72b6\u614b\u306b\u306a\u308b\u3082\u306e(<a href=\"https:\/\/www.wolframalpha.com\/input\/?i=rule+123\">\u898f\u5247123<\/a>)\u306a\u3069)<\/li>\n<li>\u30af\u30e9\u30b93: \u30ab\u30aa\u30b9\u7684\u306a\u30d1\u30bf\u30fc\u30f3\u3092\u793a\u3059\u3082\u306e(<a href=\"https:\/\/www.wolframalpha.com\/input\/?i=rule+30\">\u898f\u524730<\/a>)\u306a\u3069)<\/li>\n<li>\u30af\u30e9\u30b94: \u30ab\u30aa\u30b9\u7684\u306a\u30d1\u30bf\u30fc\u30f3\u3068\u898f\u5247\u7684\u30d1\u30bf\u30fc\u30f3\u304c\u5171\u5b58\u3059\u308b(<a href=\"https:\/\/www.wolframalpha.com\/input\/?i=rule+110\">\u898f\u5247110<\/a>)\u306a\u3069)<\/li>\n<\/ul>\n<p>\u30af\u30e9\u30b93\u306b\u5c5e\u3059\u308b<a href=\"https:\/\/www.wolframalpha.com\/input\/?i=rule+90\">\u898f\u524790<\/a>\u306f\uff0c1\u30d3\u30c3\u30c8\u306e\u307f\u304c1\u306e\u521d\u671f\u72b6\u614b\u304b\u3089\u30d5\u30e9\u30af\u30bf\u30eb\u56f3\u5f62\u3092\u751f\u6210\u3059\u308b\u3053\u3068\u304c\u77e5\u3089\u308c\u3066\u3044\u307e\u3059\uff0e\u30af\u30e9\u30b94\u306f\u8907\u96d1\u306a\u8a08\u7b97\u72b6\u614b\u3092\u5185\u5305\u3059\u308b\u3053\u3068\u3092\u8868\u3057\u3066\u3044\u307e\u3059\uff0e\u305d\u3057\u3066\uff0c\u30af\u30e9\u30b94\u306b\u5206\u985e\u3055\u308c\u308b\u300c\u898f\u5247110\u300d\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3053\u3068\u304c\u8a3c\u660e\u3055\u308c\u3066\u3044\u307e\u3059\uff0e<\/p>\n<p>\u898f\u5247110\u306e\u9077\u79fb<\/p>\n<table>\n<thead>\n<tr>\n<th align=\"left\">\u5909\u66f4\u524d(\u5de6\uff0c\u81ea\u8eab\uff0c\u53f3)<\/th>\n<th align=\"left\">\u5909\u66f4\u5f8c<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td align=\"left\">0, 0, 0<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">0, 0, 1<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">0, 1, 0<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">0, 1, 1<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 0, 0<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 0, 1<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 1, 0<\/td>\n<td align=\"left\">x, 1, x<\/td>\n<\/tr>\n<tr>\n<td align=\"left\">1, 1, 1<\/td>\n<td align=\"left\">x, 0, x<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3042\u304f\u3042\u305f\u3093<\/h3>\n<p>\u3064\u307e\u308a\uff0c\u3042\u304f\u3042\u305f\u3093\u304c\u300c\u66f4\u65b0\u898f\u5247110\u300d\u3092\u63a1\u7528\u3057\u3066\u3044\u308c\u3070\uff0c\u3042\u304f\u3042\u305f\u3093\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308a\uff0c\u73fe\u4ee3\u306e\u8a08\u7b97\u6a5f\u306b\u5339\u6575\u3059\u308b\u8a08\u7b97\u80fd\u529b\u3092\u6301\u3064\u3053\u3068\u304c\u8a3c\u660e\u3055\u308c\u308b\u306e\u3067\u3059\uff0e<\/p>\n<p><a href=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-942x1024.png\" alt=\"\" width=\"640\" height=\"696\" class=\"aligncenter size-large wp-image-1080\" srcset=\"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-942x1024.png 942w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-276x300.png 276w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-768x835.png 768w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-640x696.png 640w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-300x326.png 300w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637-44x48.png 44w, https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_3110-e1639452019637.png 1170w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/a><\/p>\n<hr \/>\n<p>\u3042\u304f\u3042\u305f\u3093\u306f\u307e\u305f1\u3064\u65b0\u3057\u3044\u9ad8\u307f\u306b\u7acb\u3063\u305f\u306e\u3067\u3059\uff0e<\/p>\n<p>\u3042\u304f\u3042\u305f\u3093\u3092\u5d07\u3081\u3088\uff01<br \/>\nMake Aquatan Great Again!<br \/>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<div class=\"entry-summary\" itemprop=\"text\">\n<p>Sorry, this entry is only available in \u65e5\u672c\u8a9e.\u3053\u306e\u8a18\u4e8b\u306f\u3042\u304f\u3042\u305f\u3093\u5de5\u623f Advent Calendar 2021\u306e15\u65e5\u76ee\u3067\u3059\uff0e \u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3068\u306f\uff1f \u3042\u308b\u8a08\u7b97\u30b7\u30b9\u30c6\u30e0\u304c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3068\u306f\uff0c\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3068\u540c\u3058\u8a08\u7b97\u80fd\u529b\u3092\u6301\u3064\u3053\u3068\u3092\u6307\u3057\u307e\u3059\uff0e\u4e07\u80fd\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3092\u6a21\u5023\u3067\u304d\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3067\u3042\u308a\uff0c\u73fe\u5728\u306e\u3069\u3093\u306a\u8a08\u7b97\u6a5f\u304c\u89e3\u3051\u308b\u554f\u984c\u3067\u3082\u89e3\u304f\u3053\u3068\u304c\u3067\u304d\u308b\u3068\u8003\u3048\u3089\u308c\u3066\u3044\u307e\u3059\uff0e \u3042\u308b\u30b7\u30b9\u30c6\u30e0\u304c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u304b\u3092\u5224\u5b9a\u3059\u308b\u306e\u306f\u96e3\u3057\u3044\u554f\u984c\u306b\u306a\u308b\u305f\u3081\uff0c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3053\u3068\u304c\u3059\u3067\u306b\u5224\u660e\u3057\u3066\u3044\u308b\u30b7\u30b9\u30c6\u30e0\u306e\u6a21\u5023\u304c\u3067\u304d\u308b\u5834\u5408\uff0c\u305d\u306e\u30b7\u30b9\u30c6\u30e0\u3082\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u3067\u3042\u308b\u3068\u8a00\u3048\u307e\u3059\uff0e \u6c34\u69fd\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3 \u3042\u304f\u3042\u305f\u3093\u7fa9\u4f53\u306f\u30ec\u30fc\u30eb\u306e\u4e0a\u306e\u30de\u30fc\u30ab\u30fc(\u4f4d\u7f6e)\u3092\u8aad\u307f\u53d6\u3063\u3066\u6c34\u5e73\u65b9\u5411\u306b\u9032\u3080\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e\u307e\u305f\uff0c\u30ec\u30fc\u30eb\u306e\u4f4d\u7f6e\u4e0a\u3067\u30ab\u30e1\u30e9\u306e\u5782\u76f4\u65b9\u5411\u3092\u6607\u964d\u3055\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e\u30ec\u30fc\u30eb\u306e\u4f4d\u7f6e\u306f\u3042\u304f\u3042\u305f\u3093bot\u304b\u3089\u306e\u6307\u4ee4\u306b\u3088\u308a\u79fb\u52d5\u3055\u305b\u308b\u3053\u3068\u304c\u591a\u3044\u3067\u3059\u304c\uff0c\u30ab\u30e1\u30e9\u306e\u6607\u964d\u306b\u3064\u3044\u3066\u306f\u6307\u4ee4\u3092\u98db\u3070\u3059\u3053\u3068\u304c\u5c11\u306a\u304f\u306a\u3063\u3066\u3044\u307e\u3059\uff0e\u305d\u3053\u3067\uff0c\u30ab\u30e1\u30e9\u306e\u6607\u964d\u306b\u3064\u3044\u3066\u306f\uff0c\u30e9\u30f3\u30c0\u30e0\u306b\u8fd1\u3044\u3051\u308c\u3069\u3082\u7279\u5b9a\u306e\u30eb\u30fc\u30eb\u3092\u5229\u7528\u3057\u305f\u52d5\u4f5c\u3092\u3055\u305b\u305f\u3044\u3068\u601d\u3044\u307e\u3059\uff0e \u30ec\u30fc\u30eb\u306e\u4f4d\u7f6e\u306b\u306f1\u30d3\u30c3\u30c8\u306e\u60c5\u5831\u304c\u4ed8\u4e0e\u3067\u304d\u308b\u3082\u306e\u3068\u3057\u307e\u3059\uff0e\u3042\u304f\u3042\u305f\u3093\u306f\u4f4d\u7f6e\u4e0a\u3067\u30ab\u30e1\u30e9\u5782\u76f4\u65b9\u5411\u3092\u4e0a\u4e0b\u3055\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u306e\u3067\uff0c\u3053\u3053\u3067\u306f\u3042\u308b\u4f4d\u7f6e\u306b\u304a\u3044\u3066\uff0c\u30ab\u30e1\u30e9\u30921\u6bb5\u4e0a\u6607\u3055\u305b\u308b\u306a\u30891\uff0c1\u6bb5\u4e0b\u964d\u3055\u305b\u308b\u306a\u30890\u3068\u3057\u307e\u3059\uff0e\u3053\u306e\u60c5\u5831\u3092\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u3068\u547c\u3073\u307e\u3059\uff0e\u3042\u304f\u3042\u305f\u3093\u306f\u3053\u306e\u60c5\u5831\u3092\u4f7f\u3063\u3066\uff0c\u305d\u306e\u4f4d\u7f6e\u3092\u8e0f\u3093\u3060\u3068\u304d\u306b\u30ab\u30e1\u30e9\u5782\u76f4\u4f4d\u7f6e\u3092\u5909\u66f4\u3057\u307e\u3059\uff0e \u5404\u4f4d\u7f6e\u3067\u306e\u6607\u964d\u52d5\u4f5c\u3092\u521d\u671f\u72b6\u614b\u3068\u3057\u3066\u3042\u304f\u3042\u305f\u3093\u306b\u6559\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e \u6c34\u69fd\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u66f4\u65b0\u898f\u5247 \u3055\u3066\uff0c\u3053\u306e\u307e\u307e\u3067\u306f\u3044\u3064\u3082\u540c\u3058\u4f4d\u7f6e\u3067\u4e0a\u4e0b\u3059\u308b\u3060\u3051\u3067\u9762\u767d\u304f\u3042\u308a\u307e\u305b\u3093\uff0e \u305d\u3053\u3067\uff0c\u3042\u304f\u3042\u305f\u3093\u304c\u6c34\u69fd\u306e\u4e00\u756a\u5de6\u304b\u53f3(\u4f4d\u7f6e0\u304b16)\u306b\u5230\u9054\u3057\u305f\u6642\u70b9\u3067\uff0c\u30ab\u30e1\u30e9\u3092\u6607\u964d\u3055\u305b\u308b\u30d1\u30bf\u30fc\u30f3\u3092\u5909\u66f4\u3057\u305f\u3044\u3068\u601d\u3044\u307e\u3059\uff0e \u3053\u306e\u30d1\u30bf\u30fc\u30f3\u306e\u5909\u66f4\u306f\uff0c\u5404\u4f4d\u7f6e\u306b\u304a\u3044\u3066\uff0c\u5de6\u53f3\u4e21\u96a3\u306e\u4f4d\u7f6e\u306e\u72b6\u614b\u306b\u5fdc\u3058\u3066\u5909\u66f4\u3059\u308b\u3088\u3046\u306b\u3057\u307e\u3059\uff0e\u305d\u3046\u3059\u308b\u3068\uff0c\u6b21\u306e\u3088\u3046\u306a\u9077\u79fb\u8868\u3092\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff0e3\u30d3\u30c3\u30c8\u306e\u771f\u3093\u4e2d\u304c\u5f53\u8a72\u4f4d\u7f6e\u3067\u3042\u308a\uff0c\u5de6\u53f3\u3068\u81ea\u5206\u81ea\u8eab\u306e\u5024\u306b\u5fdc\u3058\u3066\uff0c\u81ea\u5206\u81ea\u8eab\u306e\u5909\u66f4\u5f8c\u306e\u5024\u304c\u6c7a\u307e\u308a\u307e\u3059\uff0e \u5909\u66f4\u524d(\u5de6\uff0c\u81ea\u8eab\uff0c\u53f3) \u5909\u66f4\u5f8c 0, 0, 0 x, 1, x 0, 0, 1 x, 0, x 0, 1, 0 x, 1, x 0, 1, 1 x, 0, x 1, 0, 0 x, 1, x 1, 0, 1 x, 0, x 1, 1, 0 x, 1, x 1, 1, 1 x, 0, x \u3053\u308c\u3092\u300c\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u66f4\u65b0\u898f\u5247\uff08\u66f4\u65b0\u898f\u5247\uff09\u300d\u3068\u547c\u3073\u307e\u3059\uff0e \u4f8b\u3048\u3070\uff0c\u4e0a\u8a18\u66f4\u65b0\u898f\u5247\u3067\u306f\uff0c\u3042\u308b\u6642\u70b9\u306e\u30ab\u30e1\u30e9\u6607\u964d\u30d1\u30bf\u30fc\u30f3\u304c\u300c0001111000111100\u300d\u3067\u3042\u3063\u305f\u5834\u5408\uff0c\u6b21\u306e\u3088\u3046\u306b\u66f4\u65b0\u3055\u308c\u307e\u3059\uff0e\u306a\u304a\uff0c\u5b9f\u88c5\u306e\u90fd\u5408\u4e0a\uff0c\u53f3\u7aef\u3068\u5de6\u7aef\u306f\u3064\u306a\u304c\u3063\u3066\u304a\u308a\uff0c\u30eb\u30fc\u30d7\u3057\u3066\u3044\u308b\u3082\u306e\u3068\u3057\u307e\u3059\uff0e 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 \u2193 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 \u66f4\u65b0\u898f\u5247\u306f\u5909\u66f4\u5f8c\u306e\u30d3\u30c3\u30c8\u304c\u53d6\u308b\u5024\u306e\u4e26\u30738\u3064\u3067\u8b58\u5225\u3067\u304d\u307e\u3059\uff0e\u4e0a\u8a18\u306e\u898f\u5247\u3067\u306f01010101\u3068\u306a\u308a\u307e\u3059\uff0e\u3059\u306a\u308f\u3061 2^8 = &#8230;<\/p>\n\n<\/div>\n","protected":false},"author":1,"featured_media":1005,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[16,11,7],"tags":[],"class_list":["post-994","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-aquarium","category-misc","category-software","entry-lead"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp\/wp-content\/uploads\/2021\/11\/IMG_2901-scaled.jpeg","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p6EDR2-g2","_links":{"self":[{"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/posts\/994","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/comments?post=994"}],"version-history":[{"count":18,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/posts\/994\/revisions"}],"predecessor-version":[{"id":1085,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/posts\/994\/revisions\/1085"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/media\/1005"}],"wp:attachment":[{"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/media?parent=994"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/categories?post=994"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/se.is.kit.ac.jp\/~o-mizuno\/wp-json\/wp\/v2\/tags?post=994"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}