Kisoron-mlの皆様、
次の案内を投稿させていただきます。 慶応大 岡田光弘
-----------------------------------------------------------------------------------------------------------------
ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ
Jean-Yves GIRARD open
lectures (Nov. 10th, 17th, 24th,)
(三田ロジックセミナー)
***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,10th
18:00-19:30）
2nd lecture １１
月１７日１８：００－１９：３０（Nov,17th 18:00-19:30）
3rd 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.
この会合案内は転送自由です。
―――――――――――――――――――――――――――――――――
お問い合わせ先：
慶應義塾大学文学部哲学専攻 岡田光弘研究室
三田ロジックセミナー講演会事
務局