場所： 慶應義塾大学 三田キャンパス 東館(G-SEC Lab) 8Fホール
(JR田町駅または都営地下鉄三田駅または赤羽橋駅（大江戸線）から徒歩5分）
日時： 2005年3月23日-24日
3月23日 (March 23, Wednesday)
| 13:00-14:00 | Jean-Yves Girard (Marseille, IML) |
|
| Invited lecture series I： | ||
| Essentialism and Incompleteness (A philosophical lecture) | ||
| 14:00-14:40 | Discussion & Coffee Break |
|
| 14:40-15:30 | Makoto Kanazawa (NII) |
|
| Invited tutorial: | ||
| Abstract categorial grammar and linear logic | ||
| 15:30-15:50 | Coffee Break |
|
| 15:50-16:20 | Kohei Suenaga (The University of Tokyo) |
|
| Translation of Tree-processing Programs into Stream-processing Programs | ||
| based on Ordered Linear Type | ||
| 16:20-16:50 | Mitsuhuri Okada, Ryo Takemura (Keio University） |
|
| Some semantic questions and cognitive questions on logical inferences |
| 10:30-11:30 | Jean-Yves Girard (Marseille, IML) |
| Invited lecture series II: | |
| A recent advancement of proof theory (a tentative title) | |
| 11:30-11:40 | Discussion & Coffee Break |
| 11:40-12:10 | Masahiro Hamano (JAIST) |
| A denotational semantics for polarized logic | |
| 12:10-13:30 | Lunch Break |
| 13:30-14:20 | Hideki Tsuiki (Kyoto University) |
| Invited talk : | |
| Computation over Topological Spaces via Embeddings in Streams with a bottom | |
| 14:20-14:40 | Discussion & Coffee Break |
| 14:40-15:20 | Atsushi Igarashi (Kyoto University) |
| A proof theory of ephemeral and persistent code | |
| 15:20-15:50 | Naoyuki Tamura and Mutsunori Banbara (Kobe University) |
| Classical propositional linear logic theorem prover on a linear logic programming language | |
| compiler system | |
| 15:50-16:00 | Discussion & Coffee Break |
| 16:00-17:00 | Jean-Yves Girard (Marseille, IML) |
| Invited lecture series III : | |
| A recent advancement of proof theory (a tentative title) |
問合せ先：
慶應義塾大学 21世紀COE人文科学研究拠点
「心の統合的研究」センター ワークショップ事務局
住所: 東京都港区三田3-1-7 三田東宝ビル8F
電話: 代表 03-5427-1156 (内線 23864)
e-mail： [email protected]