{"id":4467,"date":"2017-07-04T20:29:30","date_gmt":"2017-07-04T11:29:30","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=4467"},"modified":"2017-08-21T18:42:52","modified_gmt":"2017-08-21T09:42:52","slug":"%e9%ab%98%e7%ad%89%e7%a0%94%e7%a9%b6%e6%89%80%e2%80%95%e6%85%b6%e6%87%89%e7%be%a9%e5%a1%be%e5%a4%a7%e5%ad%a6%e8%ab%96%e7%90%86%e3%81%a8%e6%84%9f%e6%80%a7%e3%81%ae%e3%82%b0%e3%83%ad%e3%83%bc%e3%83%90","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2017\/07\/04\/4467\/","title":{"rendered":"\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240\u30fb\u6176\u61c9\u7fa9\u587e\u5927\u5b66 \u8ad6\u7406\u3068\u611f\u6027\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u7814\u7a76\u30bb\u30f3\u30bf\u30fc  \u5171\u50ac\uff1a \u300c\u8ad6\u7406\u3068\u6570\u5b66\u306e\u54f2\u5b66\u300d Workshop &#8220;Logic and Philosophy of Mathematics&#8221;\uff087\/14-15\uff09"},"content":{"rendered":"<h4>\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240\u30fb\u6176\u61c9\u7fa9\u587e\u5927\u5b66 \u8ad6\u7406\u3068\u611f\u6027\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u7814\u7a76\u30bb\u30f3\u30bf\u30fc\u00a0 \u5171\u50ac\uff1a<br \/>\n\u300c\u8ad6\u7406\u3068\u6570\u5b66\u306e\u54f2\u5b66\u300d Workshop &#8220;Logic and Philosophy of Mathematics&#8221;\uff087\/14-15\uff09<\/h4>\n<h5>\u65e5\u6642\u30fb\u4f1a\u5834 \/ Date &amp; Time, Venue<\/h5>\n<ul style=\"list-style-type: circle;\">\n<li>2017\u5e747\u670814\u65e5\uff08\u91d1\uff09 \/ Friday, July 14, 2017<br \/>\n13:00\uff5e18:00<br \/>\n\u6176\u61c9\u7fa9\u587e\u5927\u5b66 \u4e09\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 \u6771\u99286\u968e G-Lab<br \/>\nKeio University (6th Floor, G-SEC Lab, East Research Bldg., Mita Campus)<\/li>\n<\/ul>\n<ul style=\"list-style-type: circle;\">\n<li>2017\u5e747\u670815\u65e5\uff08\u571f\uff09 \/ Saturday, July 15, 2017<br \/>\n13:00\uff5e18:00<br \/>\n<a href=\"http:\/\/www.waseda.jp\/top\/assets\/uploads\/2014\/10\/waseda-campus-map.pdf\">\u65e9\u7a32\u7530\u5927\u5b66 \u65e9\u7a32\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 9\u53f7\u9928 5\u968e \u7b2c\u4e00\u4f1a\u8b70\u5ba4<\/a><br \/>\n<a href=\"http:\/\/www.waseda.jp\/top\/assets\/uploads\/2014\/10\/waseda-campus-map.pdf\">Waseda University (Meeting Room #1, 5th Floor, Bldg. 9, Waseda Campus)<\/a><\/li>\n<\/ul>\n<h5>\u30d7\u30ed\u30b0\u30e9\u30e0 \/ Schedule<\/h5>\n<ul>\n<li>7\u670814\u65e5 \/ July 14 \u00a0( \u6176\u61c9\u7fa9\u587e\u5927\u5b66 \u4e09\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 \/ Mita campus of Keio University)<\/li>\n<\/ul>\n<p>13:00-18:00<br \/>\n(* Please click <a href=\"https:\/\/abelard.flet.keio.ac.jp\/seminar\/Logic_and_Philosophy_of_Mathematics_20170714.html\">here<\/a> for the workshop information held at Keio University on July 14th.)<\/p>\n<ul>\n<li>7\u670815\u65e5 \/ July 15 \u00a0( \u65e9\u7a32\u7530\u5927\u5b66 \u65e9\u7a32\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 \/ Waseda campus of Waseda University )<\/li>\n<\/ul>\n<p>13:00-14:00\u3000 Ryoma Shinya (The University of Tokyo)<br \/>\n\u65b0\u5c4b\u826f\u78e8\uff08\u6771\u4eac\u5927\u5b66\uff09<br \/>\nTitle\uff1aAlmost every simply typed \u03bb-term has a long \u03b2-reduction sequence<\/p>\n<p>14:00-15:00 \u3000Taishi Kurahashi (National Institute of Technology, Kisarazu College)<br \/>\n\u5009\u6a4b\u592a\u5fd7\uff08\u6728\u66f4\u6d25\u5de5\u696d\u9ad8\u7b49\u5c02\u9580\u5b66\u6821\uff09<br \/>\nTitle\uff1aOn partial disjunction properties of theories containing PA<br \/>\nPresentation Slides: click <a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2017\/08\/Slides_Kurahasi-.pdf\">here<\/a><\/p>\n<p>15:00-15:20 \u3000Break\u3000\u4f11\u61a9<\/p>\n<p>15:20-16:20\u3000Naosuke Matsuda (Kanagawa University)<br \/>\n\u677e\u7530\u76f4\u7950\uff08\u795e\u5948\u5ddd\u5927\u5b66\uff09<br \/>\nTitle: Some extensions of de Jongh&#8217;s theorem<br \/>\nPresentation Slides: click <a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2017\/08\/Slides_Matsuda.pdf\">here<\/a><\/p>\n<p>16:20-17:20\u3000 Masahiko Sato (Kyoto University)<br \/>\n\u4f50\u85e4\u96c5\u5f66\uff08\u4eac\u90fd\u5927\u5b66\uff09<br \/>\nTitle: A common notation system for lambda calculus and combinatory logic<br \/>\nPresentation Slides: click <a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2017\/08\/Slides_Masahiko_Sato_notation.pdf\">here<\/a><\/p>\n<h5>\u767a\u8868\u8981\u65e8\/Abstracts<\/h5>\n<p>\u203b\u8a73\u7d30\u306b\u3064\u3044\u3066\u306f<a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2017\/07\/speaker_abstracts_0715-1.pdf\">\u3053\u3061\u3089<\/a>\u3092\u3054\u89a7\u304f\u3060\u3055\u3044\u3002Please click <a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2017\/07\/speaker_abstracts_0715-1.pdf\">here <\/a>for the abstracts of talks.<\/p>\n<h5>\u8a00\u3000\u8a9e\/ Languege<\/h5>\n<p>\u65e5\u672c\u8a9e\u30fb\u82f1\u8a9e\u3000Japanese &amp; English<\/p>\n<h5>\u5171\u3000\u50ac \/ Co-host<\/h5>\n<p>\u6176\u61c9\u7fa9\u587e\u5927\u5b66 \u8ad6\u7406\u3068\u611f\u6027\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u7814\u7a76\u30bb\u30f3\u30bf\u30fc<br \/>\nGlobal Centre for Advanced Research on Logic and Sensibility, Keio University<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240\u30fb\u6176\u61c9\u7fa9\u587e\u5927\u5b66 \u8ad6\u7406\u3068\u611f\u6027\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u7814\u7a76\u30bb\u30f3\u30bf\u30fc\u00a0 \u5171\u50ac\uff1a \u300c\u8ad6\u7406\u3068\u6570\u5b66\u306e\u54f2\u5b66\u300d Workshop &#8220;Logic and Philosophy of Mathematics&#038;#8221 [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":2764,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[95,1],"tags":[82,94,73,24,26,28],"class_list":["post-4467","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-en","category-news","tag-events-en","tag-general-en","tag-research-en","tag-events","tag-general","tag-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4467","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\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=4467"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4467\/revisions"}],"predecessor-version":[{"id":4477,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4467\/revisions\/4477"}],"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=4467"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=4467"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=4467"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}