{"id":4868,"date":"2018-01-16T09:00:09","date_gmt":"2018-01-16T00:00:09","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=4868"},"modified":"2018-03-19T09:29:30","modified_gmt":"2018-03-19T00:29:30","slug":"wias-top-runners-lecture-collection-proof-theory-and-computation-1-2%ef%bc%88316-17%ef%bc%89","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2018\/01\/16\/4868\/","title":{"rendered":"WIAS Top Runners\u2019 Lecture Collection: &#8220;Proof Theory and Computation (1) &#038; (2)&#8221;\uff083\/16-17\uff09"},"content":{"rendered":"<h4>WIAS Top Runners\u2019 Lecture Collection:<br \/>\n&#8220;Proof Theory and Computation (1) \u00a0&amp; (2) &#8220;\uff083\/16-17\uff09<\/h4>\n<h5>\u8b1b\u6f14\u8005 \/ Speaker<\/h5>\n<p><a href=\"http:\/\/www.mathematik.uni-muenchen.de\/~schwicht\/index_en.php\">SCHWICHTENBERG, Helmut<\/a> \uff08Professor, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen\uff09<\/p>\n<h5>\u30d7\u30ed\u30b0\u30e9\u30e0 \/ Schedule<\/h5>\n<p>&#8220;Proof Theory and Computation (1) &#8221;\u00a0 \/ 2018\u5e743\u670816\u65e5\uff08\u91d1\uff0916:00\uff5e18:00<br \/>\n&#8220;Proof Theory and Computation (2)&#8221;\u00a0\u00a0 \/ 2018\u5e743\u670817\u65e5\uff08\u571f\uff0916:00\uff5e18:00<\/p>\n<h5>\u4f1a\u3000\u5834 \/ Venue<\/h5>\n<p><a href=\"https:\/\/www.waseda.jp\/top\/access\/waseda-campus\">\u65e9\u7a32\u7530\u5927\u5b66 \u65e9\u7a32\u7530\u30ad\u30e3\u30f3\u30d1\u30b9 26\u53f7\u9928 11\u968e 1102\u6559\u5ba4<\/a><\/p>\n<h5>\u4e3b\u3000\u65e8 \/ Outline<\/h5>\n<p style=\"text-align: justify;\">\u4eba\u9593\u306f\u53e4\u304f\u304b\u3089\u771f\u7406\u3092\u63a2\u7a76\u3057\uff0c\u8a3c\u660e\u306b\u3088\u3063\u3066\u305d\u306e\u88cf\u4ed8\u3051\u3092\u4e0e\u3048\u3088\u3046\u3068\u3057\u3066\u304d\u307e\u3057\u305f\u304c\uff0c\u73fe\u4ee3\u7684\u306a\u8a3c\u660e\u8ad6\u304c\u78ba\u7acb\u3055\u308c\u305f\u306e\u306f\u304a\u304a\u3088\u305d20\u4e16\u7d00\u306b\u306a\u3063\u3066\u304b\u3089\u3067\u3059\uff0e<\/p>\n<p style=\"text-align: justify;\">\u7279\u306b\uff0c1930\u5e74\u4ee3\u306b\u8a08\u7b97\u306e\u6982\u5ff5\u304c\u5b9a\u5f0f\u5316\u3055\u308c\u305d\u306e\u6570\u5b66\u7684\u7406\u8ad6\u304c\u78ba\u7acb\u3055\u308c\u3066\u4ee5\u964d\uff0c\u8a3c\u660e\u8ad6\u306f\u8a08\u7b97\u306e\u6982\u5ff5\u3068\u5bc6\u63a5\u306b\u95a2\u9023\u3057\u306a\u304c\u3089\u6570\u5b66\u57fa\u790e\u8ad6\u306e\u4e00\u5206\u91ce\u3068\u3057\u3066\u5927\u304d\u304f\u767a\u5c55\u3057\u3066\u304d\u307e\u3057\u305f\uff0e<\/p>\n<p style=\"text-align: justify;\">\u4eca\u56de\u306e Top Runners\u2019 Lecture Collection \u3067\u306f\u8a3c\u660e\u8ad6\u306e\u6559\u79d1\u66f8\u7684\u6587\u732e\u3067\u3042\u308b Basic Proof Theory \u53ca\u3073\u8fd1\u5e74\u51fa\u7248\u3055\u308c\u305f Proofs and Computations (\u5171\u306b Cambridge University Press \u3088\u308a\u51fa\u7248)\u306e\u8457\u8005\u306e\u4e00\u4eba\u3067\u3042\u308b Helmut Schwichtenberg \u6559\u6388\uff08\u30eb\u30fc\u30c8\u30f4\u30a3\u30d2\u30fb\u30de\u30af\u30b7\u30df\u30ea\u30a2\u30f3\u5927\u5b66\u30df\u30e5\u30f3\u30d8\u30f3\uff09\u3092\u304a\u62db\u304d\u3057\uff0c\u8a3c\u660e\u3068\u8a08\u7b97\u306b\u95a2\u3059\u308b2\u65e5\u9593\u306e\u9023\u7d9a\u8b1b\u7fa9\u3092\u3057\u3066\u3044\u305f\u3060\u304d\u307e\u3059\uff0e<\/p>\n<p style=\"text-align: justify;\">\u672c\u8b1b\u7fa9\u3067\u306f\uff0c\u8a3c\u660e\u8ad6\u3084\u8a08\u7b97\u7406\u8ad6\u306e\u57fa\u790e\u3092\u3042\u308b\u7a0b\u5ea6\u5b66\u3093\u3067\u3044\u308b\u3053\u3068\u3092\u524d\u63d0\u3068\u3057 (\u4e3b\u305f\u308b\u8074\u8846\u3068\u3057\u3066\u6570\u5b66\u57fa\u790e\u8ad6\u3092\u5b66\u3076\u5927\u5b66\u9662\u751f\u53ca\u3073\u82e5\u624b\u7814\u7a76\u8005\u3092\u60f3\u5b9a\u3057\u3066\u3044\u307e\u3059)\uff0c\u7814\u7a76\u30ec\u30d9\u30eb\u306e\u767a\u5c55\u7684\u306a\u5185\u5bb9\u306b\u3064\u306a\u304c\u308b\u304a\u8a71\u3092\u3057\u3066\u3044\u305f\u3060\u304f\u4e88\u5b9a\u3067\u3059\uff0e<\/p>\n<h5>\u8b1b\u6f14\u8981\u65e8 \/ Abstract &amp; \u30d7\u30ec\u30bc\u30f3\u8cc7\u6599 \/ Presentation Slides<\/h5>\n<p>\u8b1b\u6f14\u8981\u65e8\u3000<a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2018\/02\/dr_Schwichtenberg_mar_16_17.pdf\">\u3053\u3061\u3089<\/a>\u304b\u3089\u3054\u89a7\u304f\u3060\u3055\u3044\u3002<\/p>\n<p>\u30d7\u30ec\u30bc\u30f3\u8cc7\u6599\u3000<a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2018\/03\/Proof_theory_computation.pdf\">\u3053\u3061\u3089<\/a>\u304b\u3089\u3054\u89a7\u304f\u3060\u3055\u3044\u3002<\/p>\n<h5>\u30b3\u30fc\u30c7\u30a3\u30cd\u30fc\u30bf\u30fc\u00a0\/ Coordinator<\/h5>\n<p>\u85e4\u539f \u8aa0\u00a0\u00a0\u00a0 \uff08\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240 \u52a9\u6559\uff09<br \/>\n\u79cb\u5409 \u4eae\u592a\uff08\u65e9\u7a32\u7530\u5927\u5b66 \u9ad8\u7b49\u7814\u7a76\u6240 \u51c6\u6559\u6388\uff09<\/p>\n<h5>\u5bfe\u3000\u8c61 \/ Prospected Audience<\/h5>\n<p>\u5b66\u90e8\u751f\u30fb\u5927\u5b66\u9662\u751f\u30fb\u6559\u8077\u54e1\u30fb\u4e00\u822c<\/p>\n<h5>\u8a00\u3000\u8a9e \/ Language<\/h5>\n<p>\u82f1\u8a9e<\/p>\n<h5>\u4e3b\u3000\u50ac \/ Organizer<\/h5>\n<p>\u65e9\u7a32\u7530\u5927\u5b66 \u00a0\u9ad8\u7b49\u7814\u7a76\u6240<\/p>\n<h5>\u7533\u8fbc\u307f \/ Registration<\/h5>\n<p>\u4e8b\u524d\u7533\u8fbc\u307f\u4e0d\u8981\u3067\u3059\u3002\u76f4\u63a5\u4f1a\u5834\u306b\u304a\u8d8a\u3057\u304f\u3060\u3055\u3044\u3002<\/p>\n<h5>\u30dd\u30b9\u30bf\u30fc \/ Poster<\/h5>\n<p><a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2018\/02\/20180316_top_runners_poster.pdf\">\u3053\u3061\u3089\u304b\u3089\u3054\u89a7\u304f\u3060\u3055\u3044\u3002<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>WIAS Top Runners\u2019 Lecture Collection: &#8220;Proof Theory and Computation (1) \u00a0&amp; (2) &#8220;\uff083\/16-17\uff09 \u8b1b\u6f14\u8005  [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":2765,"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-4868","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\/4868","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=4868"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4868\/revisions"}],"predecessor-version":[{"id":4874,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4868\/revisions\/4874"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media\/2765"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=4868"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=4868"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=4868"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}