“Lambek Calculus and Linear Logic” Meeting （１月２５日、慶応大三田キャンパス）
国立情報学研究所教授金沢誠先生、ペンシルバニア大学数学科及び計算機科学科教授Andre Scedrov先生、
リヨン大学哲学科教授Jean-Baptiste Joinet先生先生をお招きして、Lambek Calculus 及びLogic & Computationに
関する次のようなミニ・シンポジウム形式集会を開催いたします。事前登録なし、参加自由です。
https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html
なお１月１９日（金）―２０日（土）”Philosophy of Logic & Mathematics” Workshopの確定プログラムを
https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html%E3%81%AB%E4%B8%8A%E3%...
日時・会場
日時:Jan. 25th, Thurs. 2018 / 2018年1月25日(木) 15:30 - 18:30
場所:8F, East Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス東館8階ホール
Building #3 on this map. / キャンパスマップ3番の建物です。
招待講演者/ Speakers
•Jean-Baptiste Joinet教授(リヨン第3大学哲学科・パリ高等師範学校カバイエス研究センター)
•Makoto Kanazawa/金沢誠教授(国立情報学研究所NII)
•Andre Scedrov教授(ペンシルバニア大学数学科および計算機科学科）
プログラム（アブストラクトは、
https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html
を参照ください。）
•15:20 Registration
•15:30-16:30 Jean-Baptiste Joinet (リヨン第3大学哲学科・パリ高等師範学校カバイエス研究所)“Logic and Dialectical Time”
•16:30-17:30 Andre Scedrov (ペンシルバニア大学数学科および計算機科学科）“Lambek Calculus Extended with Bracket and Subexponential Modalities”
•17:30-18:30 Makoto Kanazawa (国立情報学研究所NII)“On the Recognizing Power of the Lambek Calculus with Brackets”
共催
•慶應義塾大学 論理と感性のグローバル研究センター
同大学•次世代研究推進プロジェクト
•CNRS(フランス)
問い合わせ先：
東京都港区三田２－１５－４５
文学部岡田光弘研究室
--------------------------------------------------------------------
-
Mitsu Okada