メールリストの皆さま 直前のお知らせとなり申し訳ありません。ご参加のご検討をお願い申し上げます。。 この告知は転送自由です。 岡田光弘 （慶應義塾大学） ----------------------------------------

J-Y, Girard博士講演・討論会 Prof. Jean-Yves Girard's Lecture and Discussion

2023年5月29日（月）18:00-19:30 (Monday May 29th) (ハイブリッド開催 Hybrid )

会場/Place 慶應義塾大学三田キャンパス東館6階G-Lab / G-Lab, 6th floor, East Building, Mita Campus, Keio University (7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi)

キャンパスマップ 13番の建物: https://www.keio.ac.jp/ja/maps/mita.html Campus Map Building #13: https://www.keio.ac.jp/ja/maps/mita.html

Zoom: https://forms.gle/BBxrLDg3Pf5747sh9 Prerigistration Here / ここから事前登録をお願いします。

最新情報は次のURLで更新します / The Meeting webpage: https://abelard.flet.keio.ac.jp/seminar/j_y_girard_lecture_and_discussion_20...

Preregistration Form: https://forms.gle/BBxrLDg3Pf5747sh9

《PROGRAM》 ◆18:00-19:00 Speaker: Prof. Jean-Yves Girard Title: AGAINST SYSTEMS

◆19:00-19:30 Discussion

講師プロフィール: Jean-Yves Girard博士は1972年、System F のhigher order normalizationに関する学位論文発表以来、よく知られていますように、半世紀の間一貫して基本定理（Cut elimination theorem）の多角的・発展的な研究を進めておられる研究者です。(Linear Logic, Geometry of Interaction, Ludics, 近年のTranscendental Syntaxに関する一連の研究などもこれに含まれます。) 今回の講演でもこのlineの延長上の最新成果を講義していただきます。

問い合わせ先: [email protected] 岡田光弘 峯島宏次 （慶應義塾大学論理と感性のグローバル研究センター 論理班)