{"id":881,"date":"2019-10-29T16:25:00","date_gmt":"2019-10-29T07:25:00","guid":{"rendered":"https:\/\/lynx.let.hokudai.ac.jp\/cerss_tmp\/?p=881"},"modified":"2024-02-29T16:28:21","modified_gmt":"2024-02-29T07:28:21","slug":"from-turing-machines-to-kripke-models-2","status":"publish","type":"post","link":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/en\/2019\/10\/29\/from-turing-machines-to-kripke-models-2\/","title":{"rendered":"From Turing Machines to Kripke Models"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Date &amp; Time: 2019. 11. 28 (Thu) 16:30-18:00<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Location: Hokkaido University, Faculty of Humanities and Human Scieces, room E304<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Participants:&nbsp;20 participants<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Speaker: SANO Katsuhiko (Hokkaido University, Faculty of Humanities and Human Scieces, Associate Prof. )<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Title: From Turing Machines to Kripke Models<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><img decoding=\"async\" src=\"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/assets\/upload\/images\/DSC_0954%282%29.jpg\" alt=\"\" style=\"width: 300px;\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Susumu Ohnuma, Director, Center for Experimental Research in Social Sciences<br>e-mail: ohnuma@lynx.let.hokudai.ac.jp<\/p>\n","protected":false},"excerpt":{"rendered":"Date &amp; Time: 2019. 11. 28 (Thu) 16:30-18:00 Location: Hokkaido University, Faculty of Humanities...","protected":false},"author":1,"featured_media":1493,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[113],"tags":[86],"class_list":["post-881","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-2019-en","tag-cerss-colloquium-en"],"_links":{"self":[{"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts\/881","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=881"}],"version-history":[{"count":1,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts\/881\/revisions"}],"predecessor-version":[{"id":882,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/posts\/881\/revisions\/882"}],"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=881"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/categories?post=881"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lynx.let.hokudai.ac.jp\/cerss\/wp-json\/wp\/v2\/tags?post=881"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}