<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><div class="gmail_attr">メールリストの皆さま</div>直前のお知らせとなり申し訳ありません。ご参加のご検討をお願い申し上げます。。</div><div class="gmail_quote">この告知は転送自由です。　岡田光弘　（慶應義塾大学）<br>----------------------------------------<br><br>J-Y, Girard博士講演・討論会<br>Prof. Jean-Yves Girard's Lecture and Discussion<br><br>2023年5月29日（月）18:00-19:30　(Monday May 29th)<br>(ハイブリッド開催 Hybrid )<br><br>会場/Place<br>慶應義塾大学三田キャンパス東館6階G-Lab /<br>G-Lab, 6th floor, East Building, Mita Campus, Keio University<br>(7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi)<br><br>キャンパスマップ 13番の建物: <a href="https://www.keio.ac.jp/ja/maps/mita.html" rel="noreferrer" target="_blank">https://www.keio.ac.jp/ja/maps/mita.html</a><br>Campus Map Building #13: <a href="https://www.keio.ac.jp/ja/maps/mita.html" rel="noreferrer" target="_blank">https://www.keio.ac.jp/ja/maps/mita.html</a><br><br>Zoom: <a href="https://forms.gle/BBxrLDg3Pf5747sh9" rel="noreferrer" target="_blank">https://forms.gle/BBxrLDg3Pf5747sh9</a><br>Prerigistration Here / ここから事前登録をお願いします。<br><br><br><br>最新情報は次のURLで更新します / The Meeting webpage: <a href="https://abelard.flet.keio.ac.jp/seminar/j_y_girard_lecture_and_discussion_2023/" rel="noreferrer" target="_blank">https://abelard.flet.keio.ac.jp/seminar/j_y_girard_lecture_and_discussion_2023/</a><br><br>Preregistration Form: <a href="https://forms.gle/BBxrLDg3Pf5747sh9" rel="noreferrer" target="_blank">https://forms.gle/BBxrLDg3Pf5747sh9</a><br><br><br><br>《PROGRAM》<br>◆18:00-19:00<br>Speaker: Prof. Jean-Yves Girard<br>Title: AGAINST SYSTEMS<br><br>◆19:00-19:30<br>Discussion<br><br>講師プロフィール:<br>Jean-Yves Girard博士は1972年、System F のhigher order normalizationに関する学位論文発表以来、よく知られていますように、半世紀の間一貫して基本定理（Cut elimination theorem）の多角的・発展的な研究を進めておられる研究者です。(Linear Logic, Geometry of Interaction, Ludics, 近年のTranscendental Syntaxに関する一連の研究などもこれに含まれます。)</div><div class="gmail_quote">今回の講演でもこのlineの延長上の最新成果を講義していただきます。<br><br><br><br>問い合わせ先:<br><a href="mailto:logic@abelatd.flet.keio.ac.jp" target="_blank">logic@abelatd.flet.keio.ac.jp</a><br>岡田光弘　峯島宏次<br>（慶應義塾大学論理と感性のグローバル研究センター 論理班)<br></div></div>