[logic-ml] ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ

[Mitsuhiro Okada]

次の講演会の案内をさせていただきます。
慶應義塾大学文学部哲学専攻　岡田光弘
ーーーー

-----------------------------------------------------------------------------------------------------------------

ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ

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.

この会合案内は転送自由です。

―――――――――――――――――――――――――――――――――

お問い合わせ先：

慶應義塾大学文学部哲学専攻 岡田光弘研究室 三田ロジックセミナー講演会事 務局

philosophy at abelard.flet.keio.ac.jp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20151103/5dd10a43/attachment.html>