Kisoron-mlの皆様、 次の案内を投稿させていただきます。 慶応大 岡田光弘
-----------------------------------------------------------------------------------------------------------------
ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ
Jean-Yves GIRARD open lectures (Nov. 10^th , 17^th , 24^th, ) (三田ロ ジックセミナー)
***Apologies for multiple copies due to cross-posting***
------------------------------------------------------------------------------------------------------------------
慶應義塾大学に滞在されているジャンイヴ ジラール教授に、インフォーマルな 連続講義をお願いしていますの で、ご案内させていただきます。 Transcendental Syntaxをテーマとした連続講義です。(同 一タイトルの近刊書 籍の中核的部分を解説していただきます。) Proof-Normalization, 線 形論 理、Proofnests, Geometry of Interaction、ludicsなどのこれまでのご研究を 基にした, 証明論、証明論の哲学についての彼の新しい研究パラダイムをご紹 介いただきます。（初回は、証明論の初歩以外の専門的知識なしで聴講でき るIntroductionから始めていただきます。）
In this series of lectures Prof. Jean-Yves Girard is giving his new research paradigm“Transcendental Syntax”, which is based on his past researches (such as proof normalization, linear logic, proofnets, geometry of interaction, Ludics and others) No particular background knowledge is required except for elementary proof theoretic ideas..
講師 Jean-Yves Girard (Ｍathematics Institute, Univ de Marseille/CNRS, 現 在慶應義塾大学にDistinguished Guest Professor (Global)と して滞在中)
Ist lecture １１ 月１０日１８：００－１９：３０（Nov,10^th 18:00-19:30）
2^nd lecture １１ 月１７日１８：００－１９：３０（Nov,17th 18:00-19:30）
3^rd Lecture １１ 月２４日１８：００－１９：３０（Nov,24th 18:00-19:30） 会 場 慶 應義塾大学三田キャンパス大学院棟１階３１３号
Graduate School Building the ground floor, room 313.
なお、これとは別に、１１月２８日―２９日に証明論、証明論の哲学、計算機科 学についての国際ワークショップ を予定しております。詳細が決まりましたら お知らせいたします。
JR-田町駅、地下鉄三田駅、地下鉄 赤羽橋駅から徒歩約7分
7 minutes along distance from JR-Tamachi, Subway-Mita, Subway-Akabanebashi
See campus-map below/
http://www.keio.ac.jp/en/maps/mita.html
大学院棟は８番の建物です。Graduate School Building is #8 on this map.
この会合案内は転送自由です。
―――――――――――――――――――――――――――――――――
お問い合わせ先：
慶應義塾大学文学部哲学専攻 岡田光弘研究室 三田ロジックセミナー講演会事 務局