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

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

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

どなたでも、お気軽にご参加下さい。

日時：2012/7/21(土) 10:00-17:00（予定）

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

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

参加費：無料

講演予定： ------------------------------------------------------------------ 宮尾祐介・松崎拓也 （国立情報学研究所） 「大学入試における「論理」とは？」

峯島宏次 （慶應義塾大学） 「Syllogistic logics and categorial grammar」

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

上垣渉（MIT) 「選言を含む知識帰属とinquisitive logic」

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

矢田部俊介 （産業技術総合研究所） 「範疇文法と証明論的意味論」

戸次大介 （お茶の水女子大学） 「範疇文法とモナド」 ------------------------------------------------------------------