（重複して受け取られた場合はご容赦ください）

============================================== 第二回「範疇文法と証明論」シンポジウムのご案内 ==============================================

「範疇文法と証明論」は、理論言語学、数理論理学、自然言語処理の学 際シンポジウムです。範疇文法(Categorial Grammar)と証明論的意味論 (Proof Theoretic Semantics)を中心テーマとして、言語学者、論理学者、 自然言語処理研究者が、それぞれの立場から研究発表を行います。

プログラムをお送り致します。どなたでも、お気軽にご参加下さい。

日時：2012/7/21(土) 10:00-17:00

場所：お茶の水女子大学 理学部3号館209-207（以下の地図の建物20の2F） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線 茗荷谷駅徒歩7分、または 有楽町線 護国寺駅徒歩7分） 備考：お茶の水女子大学に入構する際に、守衛所にて身分証明書の提示 を求められます。

URL：http://researchmap.jp/joadanh3a-8286/#_8286

使用言語：日本語（質疑は英語可）

参加費：無料

講演予定： ------------------------------------------------------------------ 10:00-10:40 矢田部俊介 （産業技術総合研究所） 「範疇文法と証明論的意味論」

10:40-11:20 峯島宏次 （慶應義塾大学） 「Syllogistic logics and categorial grammar」

11:20-12:00 戸次大介 （お茶の水女子大学） 「範疇文法と限定継続」

12:00-14:00 昼食休憩

14:00-14:40 佐野勝彦 （北陸先端科学技術大学院大学） 「Inquisitive semantics and inquisitive logic」

14:40-15:20 上垣渉（MIT) 「選言を含む知識帰属とinquisitive logic」

15:20-15:30 休憩

15:30-16:10 窪田悠介（東京大学・JSPS） 「Hybrid Type-Logical Categorial Grammar」

16:10-17:00 宮尾祐介・松崎拓也 （国立情報学研究所） 「大学入試における「論理」とは？」 ------------------------------------------------------------------