{"id":1185,"date":"2015-05-25T09:00:27","date_gmt":"2015-05-25T00:00:27","guid":{"rendered":"http:\/\/www.waseda.jp\/inst\/wias\/?p=1185"},"modified":"2017-03-03T12:17:32","modified_gmt":"2017-03-03T03:17:32","slug":"%e9%ab%98%e7%ad%89%e7%a0%94%e7%a9%b6%e6%89%80%e4%b8%bb%e5%82%ac%e3%82%bb%e3%83%9f%e3%83%8a%e3%83%bcphase-transitions-in-logic-combinatorics-and-provability","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2015\/05\/25\/1185\/","title":{"rendered":"\u9ad8\u7b49\u7814\u7a76\u6240\u4e3b\u50ac\u30bb\u30df\u30ca\u30fc<br \/>&#8220;Phase transitions in logic: combinatorics and provability&#8221;"},"content":{"rendered":"<h3>\u9ad8\u7b49\u7814\u7a76\u6240\u4e3b\u50ac\u30bb\u30df\u30ca\u30fc<br \/>\n\u201cPhase transitions in logic: combinatorics and provability\u201d<\/h3>\n<table class=\"table table-colored-tbhd\">\n<tbody>\n<tr>\n<th style=\"width: 20%;\">\u8b1b\u6f14\u8005<\/th>\n<td style=\"width: 80%;\">F. \u30da\u30eb\u30da\u30c3\u30b7\u30fc\u535a\u58eb\uff08\u6771\u5317\u5927\u5b66\u7406\u5b66\u7814\u7a76\u79d1\uff09<\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u30b3\u30fc\u30c7\u30a3\u30cd\u30fc\u30bf\u30fc\u30fb\u53f8\u4f1a<\/th>\n<td>\u79cb\u5409\u3000\u4eae\u592a\uff08\u65e9\u7a32\u7530\u5927\u5b66\u9ad8\u7b49\u7814\u7a76\u6240\u3000\u52a9\u6559\uff09<\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u65e5\u3000\u6642<\/th>\n<td>2015\u5e745\u670825\u65e5\uff08\u6708\uff0915:00\uff5e16:30<\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u4f1a\u3000\u5834<\/th>\n<td><a href=\"http:\/\/www.waseda.jp\/top\/assets\/uploads\/2014\/10\/waseda-campus-map.pdf\" target=\"_blank\">\u65e9\u7a32\u7530\u5927\u5b66\u65e9\u7a32\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 9\u53f7\u99285\u968e\u7b2c2\u4f1a\u8b70\u5ba4<\/a><\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u4e3b\u3000\u65e8<\/th>\n<td>\u30b2\u30fc\u30c7\u30eb\u306e\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u4ee5\u5f8c\uff0c\u6570\u5b66\u7684\u306b\u81ea\u7136\u306a\u72ec\u7acb\u6027\u547d\u984c\u306e\u5b58\u5728\u304c\u793a\u3055\u308c\u3066\u304d\u305f\uff0e\u4eca\u56de\u306f\uff0c\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u3084\u9006\u6570\u5b66\u306e\u5c02\u9580\u5bb6\u3067\u3042\u308bF.\u30da\u30eb\u30da\u30c3\u30b7\u30fc\u535a\u58eb\u3092\u62db\u3044\u3066\uff0c\u3053\u306e\u3088\u3046\u306a\u547d\u984c\u304c\u300c\u76f8\u8ee2\u79fb\u300d\u3059\u308b\u3053\u3068\u3092\u89e3\u8aac\u3057\u3066\u9802\u304f\uff0e<\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u30d7\u30ed\u30b0\u30e9\u30e0<\/th>\n<td><strong>15\uff1a00-15:05<\/strong><br \/>\n\u306f\u3058\u3081\u306b\u3000\u79cb\u5409\u3000\u4eae\u592a\uff08\u65e9\u7a32\u7530\u5927\u5b66\u9ad8\u7b49\u7814\u7a76\u6240\u3000\u52a9\u6559\uff09<br \/>\n<strong>15\uff1a05-16:00<br \/>\n<\/strong>F. \u30da\u30eb\u30da\u30c3\u30b7\u30fc\u535a\u58eb\uff08\u6771\u5317\u5927\u5b66\u7406\u5b66\u7814\u7a76\u79d1\uff09<br \/>\n\u300c Phase transitions in logic: combinatorics and provability\u300d<br \/>\n<strong>16\uff1a00-16:30<br \/>\n<\/strong>\u8cea\u7591\u5fdc\u7b54<\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u4e3b\u3000\u50ac<\/th>\n<td>\u65e9\u7a32\u7530\u5927\u5b66\u9ad8\u7b49\u7814\u7a76\u6240<\/td>\n<\/tr>\n<tr>\n<th style=\"width: 20%;\">\u7533\u8fbc\u307f<\/th>\n<td>\u4e8b\u524d\u306e\u304a\u7533\u8fbc\u307f\u306f\u4e0d\u8981\u3067\u3059\u3002\u76f4\u63a5\u4f1a\u5834\u306b\u304a\u8d8a\u3057\u304f\u3060\u3055\u3044\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>\u9ad8\u7b49\u7814\u7a76\u6240\u4e3b\u50ac\u30bb\u30df\u30ca\u30fc \u201cPhase transitions in logic: combinatorics and provability\u201d \u8b1b\u6f14\u8005 F. \u30da\u30eb\u30da\u30c3\u30b7\u30fc\u535a\u58eb\uff08\u6771\u5317\u5927\u5b66\u7406\u5b66\u7814\u7a76\u79d1\uff09 \u30b3\u30fc\u30c7\u30a3\u30cd\u30fc\u30bf\u30fc\u30fb\u53f8\u4f1a [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":2764,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[24,26,28],"class_list":["post-1185","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-events","tag-general","tag-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/1185","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=1185"}],"version-history":[{"count":2,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/1185\/revisions"}],"predecessor-version":[{"id":2543,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/1185\/revisions\/2543"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media\/2764"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=1185"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=1185"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=1185"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}