<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
次の講演会の案内をさせていただきます。<br>
慶應義塾大学文学部哲学専攻 岡田光弘<br>
ーーーー<br>
<p class="MsoNormal"><span lang="EN-US">-----------------------------------------------------------------------------------------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">ジャンイヴ・ジラール教授公開連続講義(11月10日より)のお知らせ</span><span
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Jean-Yves GIRARD open
lectures (Nov. 10<sup>th</sup>, 17<sup>th</sup>, 24<sup>th,</sup>)
(</span><span style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">三田ロジックセミナー</span><span
lang="EN-US">)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">***Apologies for multiple
copies due to cross-posting***<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">------------------------------------------------------------------------------------------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶應義塾大学に滞在されているジャンイヴ ジラール教授に、インフォーマルな連続講義をお願いしていますの
で、ご案内させていただきます。</span><span lang="EN-US">Transcendental Syntax</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">をテーマとした連続講義です。</span><span
lang="EN-US">(</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">同
一タイトルの近刊書籍の中核的部分を解説していただきます。</span><span lang="EN-US">)</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin"> </span><span lang="EN-US">Proof-Normalization, </span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">線
形論理、</span><span lang="EN-US">Proofnests, Geometry of
Interaction</span><span style="font-family: "MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin; mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">、</span><span
lang="EN-US">ludics</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">などのこれまでのご研究を基にした</span><span lang="EN-US">,</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">
証明論、証明論の哲学についての彼の新しい研究パラダイムをご紹介いただきます。(初回は、証明論の初歩以外の専門的知識なしで聴講でき
る</span><span lang="EN-US">Introduction</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">から始めていただきます。)</span><span
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">In this series of lectures
Prof. Jean-Yves Girard is giving his new research paradigm<span
style="mso-spacerun:yes"> </span>“Transcendental Syntax”,
which is based on his past researches (such as proof
normalization, linear logic, proofnets, geometry of interaction,
Ludics and others)</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin"> </span><span lang="EN-US">No particular background
knowledge is required except for <span style="mso-spacerun:yes"> </span>elementary
proof theoretic ideas..<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">講師 </span><span lang="EN-US">Jean-Yves Girard (</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">M</span><span
lang="EN-US">athematics Institute, Univ de Marseille/CNRS, </span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">現
在慶應義塾大学に</span><span lang="EN-US">Distinguished Guest Professor
(Global)</span><span style="font-family: "MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin; mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">と
して滞在中</span><span lang="EN-US">)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Ist lecture </span><span
style="font-family: "MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin; mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">11
月10日18:00-19:30(</span><span lang="EN-US">Nov,10<sup>th</sup>
18:00-19:30</span><span style="font-family:"MS
明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">)</span><span
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">2<sup>nd</sup> lecture </span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">11
月17日18:00-19:30(</span><span lang="EN-US">Nov,17th 18:00-19:30</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">)</span><span
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">3<sup>rd</sup> Lecture </span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"MS
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">11
月24日18:00-19:30(</span><span lang="EN-US">Nov,24th 18:00-19:30</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">)</span><span
lang="EN-US"><br>
</span><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;
mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";mso-fareast-theme-font:
minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">会
場</span> <span style="font-family:"MS
明朝",serif;mso-ascii-font-family:Century;
mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";mso-fareast-theme-font:
minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">慶
應義塾大学三田キャンパス大学院棟1階313号</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Graduate School Building the
ground floor, room 313.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">なお、これとは別に、11月28日―29日に証明論、証明論の哲学、計算機科学についての国際ワークショップ
を予定しております。詳細が決まりましたらお知らせいたします。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">JR-</span><span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">田町駅、地下鉄三田駅、地下鉄
赤羽橋駅から徒歩約</span><span lang="EN-US">7</span><span
style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">分</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">7 minutes along distance
from JR-Tamachi, Subway-Mita, Subway-Akabanebashi<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">See campus-map below/<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><span
style="mso-spacerun:yes"> </span><a
class="moz-txt-link-freetext"
href="http://www.keio.ac.jp/en/maps/mita.html"><a class="moz-txt-link-freetext" href="http://www.keio.ac.jp/en/maps/mita.html">http://www.keio.ac.jp/en/maps/mita.html</a></a><span
style="mso-spacerun:yes"> </span><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">大学院棟は8番の建物です。</span><span lang="EN-US">Graduate
School Building is #8 on this map.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">この会合案内は転送自由です。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">―――――――――――――――――――――――――――――――――</span><span
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">お問い合わせ先:</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"MS
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"MS 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶應義塾大学文学部哲学専攻</span> <span
style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">岡田光弘研究室</span>
<span style="font-family:"MS 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "MS
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">三田ロジックセミナー講演会事
務局</span><span lang="EN-US"><o:p></o:p></span></p>
<span lang="EN-US"><a class="moz-txt-link-abbreviated"
href="mailto:philosophy@abelard.flet.keio.ac.jp">philosophy@abelard.flet.keio.ac.jp</a></span>
</body>
</html>