{"id":360,"date":"2019-10-29T00:42:00","date_gmt":"2019-10-28T15:42:00","guid":{"rendered":"https:\/\/lynx.let.hokudai.ac.jp\/cerss_tmp\/?p=360"},"modified":"2024-02-29T00:43:31","modified_gmt":"2024-02-28T15:43:31","slug":"from-turing-machines-to-kripke-models","status":"publish","type":"post","link":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/2019\/10\/29\/from-turing-machines-to-kripke-models\/","title":{"rendered":"From Turing Machines to Kripke Models"},"content":{"rendered":"\n<p>\u65e5\u6642\uff1a2019\u5e7411\u670828\u65e5 \uff08\u6728\uff09 16:30-18:00<\/p>\n\n\n\n<p>\u5834\u6240\uff1a \u5317\u6d77\u9053\u5927\u5b66 \u6587\u5b66\u7814\u7a76\u9662 E304\u5ba4<\/p>\n\n\n\n<p>\u53c2\u52a0\u8005\uff1a 20\u540d<\/p>\n\n\n\n<p>\u30bf\u30a4\u30c8\u30eb\uff1a From Turing Machines to Kripke Models<\/p>\n\n\n\n<p>\u30b9\u30d4\u30fc\u30ab\u30fc\uff1a \u4f50\u91ce\u52dd\u5f66 (\u5317\u6d77\u9053\u5927\u5b66\u6587\u5b66\u7814\u7a76\u9662\u30fb\u51c6\u6559\u6388)<\/p>\n\n\n\n<p>\u30a2\u30d6\u30b9\u30c8\u30e9\u30af\u30c8\uff1a<br>\u30a2\u30e9\u30f3\u30fb\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u304c1936\u5e74\u306b\u63d0\u6848\u3057\u305f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306f\u3001\u7121\u9650\u9577\u306e\u30c6\u30fc\u30d7\u4e0a\u3067\u30d8\u30c3\u30c9\u3092\u5de6\u53f3\u306b\u52d5\u304b\u3057\u6570\u5b57\u306e\u8aad\u307f\u66f8\u304d\u3092\u3059\u308b\u5358\u7d14\u306a\u8a08\u7b97\u30e2\u30c7\u30eb\u3067\u3059\u304c\u3001\u7406\u60f3\u5316\u3055\u308c\u305f\u8a08\u7b97\u4f5c\u696d\u8005\u306e\u632f\u821e\u3044\u3092\u6349\u3048\u308b\u30e2\u30c7\u30eb\u3068\u3057\u3066\u63d0\u6848\u3055\u308c\u307e\u3057\u305f\u3002\u5b9f\u306f\u3001\u73fe\u5728\u4f7f\u308f\u308c\u3066\u3044\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3067\u304d\u308b\u3053\u3068\u306f\u3001\u3069\u3093\u306a\u3053\u3068\u3067\u3082\u3053\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306b\u3088\u308b\u8a08\u7b97\u30e2\u30c7\u30eb\u3067\u51fa\u6765\u308b\u3053\u3068\u304c\u77e5\u3089\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u8b1b\u6f14\u306e\u524d\u534a\u3067\u306f\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306e\u8a08\u7b97\u30e2\u30c7\u30eb\u3067\u89e3\u3051\u308b\u554f\u984c\u3068\u89e3\u3051\u306a\u3044\u554f\u984c\u306b\u3064\u3044\u3066\u7c21\u5358\u306b\u8aac\u660e\u3057\u307e\u3059\u3002\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306e\u8a08\u7b97\u30e2\u30c7\u30eb\u3067\u89e3\u3051\u306a\u3044\u554f\u984c\u306f\u3001\u6211\u3005\u304c\u4f7f\u3063\u3066\u3044\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3082\u89e3\u3051\u306a\u3044\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u6a5f\u68b0\u306e\u52d5\u4f5c\u306f\u8996\u899a\u7684\u306b\u5206\u304b\u308a\u3084\u3059\u3044\u30b0\u30e9\u30d5\uff08\u30d5\u30ed\u30fc\u30c1\u30e3\u30fc\u30c8\u3001\u72b6\u614b\u9077\u79fb\u56f3\uff09\u3067\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u3067\u3059\u304c\u3001\u3053\u3046\u3044\u3063\u305f\u30b0\u30e9\u30d5\u306f\u81f3\u308b\u6240\u306b\u898b\u3089\u308c\u308b\u3082\u306e\u3067\u3059\u3002\u8ad6\u7406\u5b66\u306e\u5206\u91ce\u3067\u306f\u3053\u3046\u3044\u3063\u305f\u30b0\u30e9\u30d5\u306f\u30af\u30ea\u30d7\u30ad\u30e2\u30c7\u30eb\u3068\u3044\u308f\u308c\u3001\u30e2\u30c7\u30eb\u4e0a\u3067\u751f\u3058\u308b\u4e8b\u614b\u3092\u8a18\u8ff0\u3059\u308b\u7c21\u660e\u306a\u8a00\u8a9e\uff08\u69d8\u76f8\u8ad6\u7406\uff09\u304c\u3042\u308a\u307e\u3059\u3002\u8b1b\u6f14\u306e\u5f8c\u534a\u90e8\u5206\u3067\u306f\u3001\u7406\u60f3\u5316\u3055\u308c\u305f\u63a8\u8ad6\u8005\uff08\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u3068\u3088\u3073\u307e\u3057\u3087\u3046\uff09\u306e\u77e5\u8b58\u72b6\u614b\u3092\u8868\u3059\u30af\u30ea\u30d7\u30ad\u30e2\u30c7\u30eb\u3092\u5c0e\u5165\u3057\u3066\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u3078\u306e\u544a\u77e5\u884c\u70ba\u304c\u3069\u306e\u3088\u3046\u306b\u5404\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u77e5\u8b58\u72b6\u614b\u3092\u5909\u3048\u308b\u304b\u3092\u7c21\u5358\u306a\u4f8b\u3092\u4f7f\u3063\u3066\u7d39\u4ecb\u3057\u307e\u3059\u3002\u7279\u306b\u3001Plaza \u304c1989\u5e74\u306b\u63d0\u6848\u3057\u305f\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u96c6\u56e3\u5168\u4f53\u3078\u306e\u516c\u958b\u544a\u77e5\u884c\u70ba\u3092\u6271\u3046\u4e88\u5b9a\u3067\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"684\" src=\"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-1024x684.jpeg\" alt=\"\" class=\"wp-image-361\" srcset=\"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-1024x684.jpeg 1024w, https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-300x201.jpeg 300w, https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-768x513.jpeg 768w, https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-1536x1027.jpeg 1536w, https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-2048x1369.jpeg 2048w, https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-content\/uploads\/2024\/02\/image-11-600x400.jpeg 600w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n","protected":false},"excerpt":{"rendered":"\u65e5\u6642\uff1a2019\u5e7411\u670828\u65e5 \uff08\u6728\uff09 16:30-18:00 \u5834\u6240\uff1a \u5317\u6d77\u9053\u5927\u5b66 \u6587\u5b66\u7814\u7a76\u9662 E304\u5ba4 \u53c2\u52a0\u8005\uff1a 20\u540d \u30bf\u30a4\u30c8\u30eb\uff1a From Turing Machines to Kripke M...","protected":false},"author":1,"featured_media":1493,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[51],"tags":[33],"class_list":["post-360","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-51","tag-cerss"],"_links":{"self":[{"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts\/360","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/comments?post=360"}],"version-history":[{"count":1,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts\/360\/revisions"}],"predecessor-version":[{"id":362,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts\/360\/revisions\/362"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/media\/1493"}],"wp:attachment":[{"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/media?parent=360"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/categories?post=360"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/tags?post=360"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}