<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>ーーーーーーーーーーーーーーーーーーーーーーーーーーーー<br>
</p>
<p>直前の告知となり申し訳けありませんが、11が月７日木曜日が講演会日の案内をさせていただければありがたいです。ご検討の程、お願い申し上げます。。
</p>
<p> 岡田光弘 慶應義塾大学文学部哲学専攻 <br>
</p>
<p> </p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">*******************************************************************************************</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">Jean-Baptiste Joinet教授（Dept
Philosophy, Univ Lyon) , 11月7日（木）Nov.7th (Thurs) 慶應大 Keio U.<br>
</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">******************************************************************************************</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">三田ロジックセミナー</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> Mita Logic Seminar</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">11</span><span style="font-family:
"ＭＳ 明朝",serif;mso-ascii-font-family:"Times New
Roman";mso-hansi-font-family: "Times New
Roman";mso-bidi-font-family:"Times New Roman"">月</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US">7</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">日</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> November 7th</span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">慶應義塾大学三田キャンパス</span><span
style="font-family: "Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> Mita Campus, Keio University</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">講演者</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"ＭＳ 明朝""> <span lang="EN-US">SPEAKER</span></span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US">: Jean-Baptiste Joinet (Université de
Lyon, IRPhiL, Idex Lyon)</span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">タイトル</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"ＭＳ 明朝""> </span><span
style="font-family: "Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman"" lang="EN-US">TITLE: Types and behavioral
indiscernibility</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">***************************************************************************</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">参加自由、事前登録無し。お気軽にお立ち寄りください。</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family:"ＭＳ 明朝""
lang="EN-US">No registration needed</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">***************************************************************************</span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">アブストラクトは以下をご覧ください。</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"ＭＳ 明朝""> </span><span
style="font-family: "Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman"" lang="EN-US">Abstract attached below</span><span
style="font-family:"ＭＳ 明朝",serif;
mso-bidi-font-family:"ＭＳ 明朝"" lang="EN-US">.</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">日時</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> Date:</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">11</span><span style="font-family:
"ＭＳ 明朝",serif;mso-ascii-font-family:"Times New
Roman";mso-hansi-font-family: "Times New
Roman";mso-bidi-font-family:"Times New Roman"">月</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US">7</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">日</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> (</span><span style="font-family: "ＭＳ
明朝",serif;mso-ascii-font-family:"Times New
Roman";mso-hansi-font-family: "Times New
Roman";mso-bidi-font-family:"Times New Roman"">木</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US">) November 7th (Thu.), 16:30-18:00</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">場所</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> Venue:</span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">慶應義塾大三田キャンパス</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""> </span><span
style="font-family: "ＭＳ
明朝",serif;mso-ascii-font-family:"Times New
Roman";mso-hansi-font-family: "Times New
Roman";mso-bidi-font-family:"Times New Roman"">大学院校舎</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US">1</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">階</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US">312</span><span style="font-family: "ＭＳ
明朝",serif;mso-ascii-font-family:"Times New
Roman";mso-hansi-font-family: "Times New
Roman";mso-bidi-font-family:"Times New Roman"">番教室</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "ＭＳ 明朝""
lang="EN-US">(</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">下のキャンパスマップ３番</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"ＭＳ 明朝"" lang="EN-US">)</span><span
style="font-family: "Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman"" lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">Classroom 312, 1F of Graduate School
Building, Mita Campus, Keio University</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">(#3 of the Campus Map below)</span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">構内図</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> Campus Map: </span><span lang="EN-US"><a
href="https://www.keio.ac.jp/en/assets/download/maps/mita/map_mita.pdf"><span
style="font-family:"Times New Roman",serif">https://www.keio.ac.jp/en/assets/download/maps/mita/map_mita.pdf</span></a></span><span
style="font-family:"Times New Roman",serif"
lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">お問い合わせ先</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US">:</span><span style="font-family: "ＭＳ
明朝",serif;mso-ascii-font-family:"Times New
Roman";mso-hansi-font-family: "Times New
Roman";mso-bidi-font-family:"Times New Roman"">慶應義塾大学文学部</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman""> </span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:"Times New
Roman"; mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman"">岡田光弘研究室</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">東京都港区三田</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US">2-15-45</span></p>
<p class="MsoNormal"><span
style="font-family:"游明朝",serif;mso-ascii-theme-font:
minor-fareast;mso-fareast-font-family:游明朝;mso-fareast-theme-font:minor-fareast;
mso-hansi-theme-font:minor-fareast;mso-bidi-font-family:"Times New
Roman"">三田ロジックセミナー</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family: "Times New
Roman"" lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">Email: </span><span lang="EN-US"><a
href="mailto:logic@abelard.flet.keio.ac.jp"><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman"">logic@abelard.flet.keio.ac.jp</span></a></span><span
style="font-family:"Times New Roman",serif"
lang="EN-US"></span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">----------------------------------------------------------</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family: "Times New
Roman";mso-hansi-font-family:"Times New
Roman";mso-bidi-font-family: "Times New Roman"">アブストラクト</span><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman""
lang="EN-US"> ABSTRACT:</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">Types and behavioral indiscernibility</span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US"> </span></p>
<p class="MsoNormal"><span style="font-family:"Times New
Roman",serif; mso-fareast-font-family:"Times New
Roman"" lang="EN-US">In computing theory, the type of a
program is an information partially specifying the task it
performs. Within the framework of (what is usually called) the
Proofs-as-Programs and Propositions-as-Types paradigm, a type
(a.k.a. a proposition) is defined as a set of programs having
some common behavior w.r.t. a specific undecidable property (the
termination of execution when entering in interaction with
contexts). The talk will be devoted to investigate the
underlying classifying methodology used to define the notion of
type (typing by closure by bi-orthogonality) which, in that
particular case, is used to classify computational behaviors.</span></p>
</body>
</html>