{"id":2321,"date":"2016-10-11T10:01:14","date_gmt":"2016-10-11T01:01:14","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=2321"},"modified":"2016-12-14T09:13:41","modified_gmt":"2016-12-14T00:13:41","slug":"%e9%ab%98%e7%ad%89%e7%a0%94%e7%a9%b6%e6%89%80%e4%b8%bb%e5%82%ac%e3%83%af%e3%83%bc%e3%82%af%e3%82%b7%e3%83%a7%e3%83%83%e3%83%97%e3%80%80philosophy-of-logic-workshop-kant-husserl-and-linear-2","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news-en\/2016\/10\/11\/2321\/","title":{"rendered":"WIAS Workshop\u3000\u201cPhilosophy of Logic Workshop: Kant, Husserl, and Linear Logic\u201d\u3000 (10\/21)"},"content":{"rendered":"<h3>WIAS Workshop\u3000\u201cPhilosophy of Logic Workshop: Kant, Husserl, and Linear Logic\u201d\u3000\uff0810\/21\uff09<\/h3>\n<p>&nbsp;<\/p>\n<table class=\"table table-colored-tbhd\" style=\"width: 794.76px;\">\n<tbody>\n<tr style=\"height: 29px;\">\n<th style=\"width: 163px; height: 29px;\">\u65e5\u3000\u6642<\/th>\n<td style=\"width: 628.76px; height: 29px;\">2016\u5e7410\u670821\u65e5\uff08\u91d1\uff0915:00\uff5e18:00<\/td>\n<\/tr>\n<tr style=\"height: 25px;\">\n<th style=\"width: 163px; height: 25px;\">Date &amp; Time<\/th>\n<td style=\"width: 628.76px; height: 25px;\">3:00 pm &#8211; 6:00 pm, Friday, October 21, 2016<\/td>\n<\/tr>\n<tr style=\"height: 34px;\">\n<th style=\"width: 163px; height: 34px;\">\u4f1a\u3000\u5834<\/th>\n<td style=\"width: 628.76px; height: 34px;\"><a href=\"http:\/\/www.waseda.jp\/top\/access\/toyama-campus\" target=\"_blank\">\u65e9\u7a32\u7530\u5927\u5b66\u65e9\u7a32\u7530\u30ad\u30e3\u30f3\u30d1\u30b926\u53f7\u992811\u968e\u30001102\u4f1a\u8b70\u5ba4<img loading=\"lazy\" decoding=\"async\" class=\"icoA01\" src=\"http:\/\/www.waseda.jp\/wias\/common\/images\/mod_ico_external_01.gif\" alt=\"\u65b0\u898f\u30a6\u30a3\u30f3\u30c9\u30a6\u304c\u958b\u304d\u307e\u3059\" width=\"11\" height=\"11\" \/><\/a><\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<th style=\"width: 163px; height: 27px;\">Venue<\/th>\n<td style=\"width: 628.76px; height: 27px;\"><a href=\"https:\/\/www.waseda.jp\/top\/access\/waseda-campus\" target=\"_blank\">Meeting Room 1102, 11th floor, 26th building, Waseda University.<\/a><\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<th style=\"width: 163px; height: 27px;\">\u30d7\u30ed\u30b0\u30e9\u30e0<\/th>\n<td style=\"width: 628.76px; height: 27px;\">15\uff1a00\u3000Opening Remarks (Ryota Akiyoshi, WIAS)<\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<th style=\"width: 163px; height: 27px;\" rowspan=\"7\">Program<\/th>\n<td style=\"width: 628.76px; height: 27px;\">15\uff1a05\u3000\u201cProof-forms vs. formal-proofs:<\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<td style=\"width: 628.76px; height: 27px;\">\u00a0\u3000\u3000\u3000\u3000 Towards reconsideration of &#8220;formal proofs&#8221; and related notions\u201d<\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<td style=\"width: 628.76px; height: 27px;\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <em>Speaker: Mitsuhiro Okada (Keio University)<\/em><\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<td style=\"width: 628.76px; height: 27px;\">16\uff1a25\u3000\u00a0 Break<\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<td style=\"width: 628.76px; height: 27px;\">16\uff1a40\u3000\u201cPhenomenology of Mathematics \u00e0 la Kant\u201d<\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<td style=\"width: 628.76px; height: 27px;\">\u00a0\u3000\u3000\u3000\u3000\u00a0 <em>Speaker: Yasuo Deguchi (Kyoto University)<\/em><\/td>\n<\/tr>\n<tr style=\"height: 27px;\">\n<td style=\"width: 628.76px; height: 27px;\">\u00a018\uff1a00\u3000 Closing Remarks<\/td>\n<\/tr>\n<tr style=\"height: 16px;\">\n<th style=\"width: 163px; height: 16px;\">\u4f7f\u7528\u8a00\u8a9e<\/th>\n<td style=\"width: 628.76px; height: 16px;\">\u65e5\u672c\u8a9e\u30fb\u82f1\u8a9e<\/td>\n<\/tr>\n<tr style=\"height: 17.7px;\">\n<th style=\"width: 163px; height: 17.7px;\">Language<\/th>\n<td style=\"width: 628.76px; height: 17.7px;\">Japanese and English<\/td>\n<\/tr>\n<tr style=\"height: 16px;\">\n<th style=\"width: 163px; height: 16px;\">\u4e3b\u3000\u50ac<\/th>\n<td style=\"width: 628.76px; height: 16px;\">\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<th style=\"width: 163px; height: 24px;\">\u00a0Organizer<\/th>\n<td style=\"width: 628.76px; height: 24px;\">WIAS<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<th style=\"width: 163px; height: 24px;\">\u7533\u8fbc\u307f<\/th>\n<td style=\"width: 628.76px; height: 24px;\">\u53c2\u52a0\u306b\u3042\u305f\u308a\u3001\u4e8b\u524d\u767b\u9332\u306f\u4e0d\u8981\u3067\u3059\u3002\u5f53\u65e5\u76f4\u63a5\u4f1a\u5834\u307e\u3067\u304a\u8d8a\u3057\u304f\u3060\u3055\u3044\u3002<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<th style=\"width: 163px; height: 24px;\">Registarion<\/th>\n<td style=\"width: 628.76px; height: 24px;\">No Pre-Registration Required.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>WIAS Workshop\u3000\u201cPhilosophy of Logic Workshop: Kant, Husserl, and Linear Logic\u201d\u3000\uff0810\/21\uff09 &nbsp; \u65e5\u3000\u6642 2016\u5e7410\u670821\u65e5\uff08\u91d1 [&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],"tags":[82,94,73],"class_list":["post-2321","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-en","tag-events-en","tag-general-en","tag-research-en"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2321","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=2321"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2321\/revisions"}],"predecessor-version":[{"id":2325,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2321\/revisions\/2325"}],"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=2321"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=2321"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=2321"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}