[logic-ml] 「範疇文法と証明論」シンポジウム (7/21) プログラム

[BEKKI Daisuke]

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

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

　「範疇文法と証明論」は、理論言語学、数理論理学、自然言語処理の学
際シンポジウムです。範疇文法(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  宮尾祐介・松崎拓也 （国立情報学研究所）
  「大学入試における「論理」とは？」
------------------------------------------------------------------