（重複して受け取られた場合はご容赦ください）
============================================== 第二回「範疇文法と証明論」シンポジウムのご案内 ==============================================
「範疇文法と証明論」は、理論言語学、数理論理学、自然言語処理の学 際シンポジウムです。範疇文法(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 宮尾祐介・松崎拓也 （国立情報学研究所） 「大学入試における「論理」とは？」 ------------------------------------------------------------------