{"id":2224,"date":"2016-10-11T10:00:58","date_gmt":"2016-10-11T01:00:58","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=2224"},"modified":"2016-12-14T09:14:56","modified_gmt":"2016-12-14T00:14:56","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","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2016\/10\/11\/2224\/","title":{"rendered":"\u9ad8\u7b49\u7814\u7a76\u6240\u4e3b\u50ac\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u3000\u201cPhilosophy of Logic Workshop: Kant, Husserl, and Linear Logic\u201d\u3000\u300c\u8ad6\u7406\u5b66\u306e\u54f2\u5b66\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\uff1a\u30ab\u30f3\u30c8\uff0c\u30d5\u30c3\u30b5\u30fc\u30eb\uff0c\u7dda\u578b\u8ad6\u7406\u300d (10\/21)"},"content":{"rendered":"<h3>\u9ad8\u7b49\u7814\u7a76\u6240\u4e3b\u50ac\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u3000\u201cPhilosophy of Logic Workshop: Kant, Husserl, and Linear Logic\u201d\u3000\u300c\u8ad6\u7406\u5b66\u306e\u54f2\u5b66\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\uff1a\u30ab\u30f3\u30c8\uff0c\u30d5\u30c3\u30b5\u30fc\u30eb\uff0c\u7dda\u578b\u8ad6\u7406\u300d<\/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;\">15:00\u00a0&#8211; 18:00, 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, Waseda University<\/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>\u9ad8\u7b49\u7814\u7a76\u6240\u4e3b\u50ac\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u3000\u201cPhilosophy of Logic Workshop: Kant, Husserl, and Linear Logic\u201d\u3000\u300c\u8ad6\u7406\u5b66\u306e\u54f2\u5b66\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\uff1a\u30ab\u30f3\u30c8\uff0c\u30d5\u30c3\u30b5\u30fc\u30eb\uff0c\u7dda\u578b\u8ad6\u7406\u300d  [&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":[1],"tags":[24,26,28],"class_list":["post-2224","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\/2224","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=2224"}],"version-history":[{"count":0,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/2224\/revisions"}],"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=2224"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=2224"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=2224"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}