[logic-ml] 「範疇文法と証明論」シンポジウム (7/21) のご案内

[BEKKI Daisuke]

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

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

　「範疇文法と証明論」は、理論言語学、数理論理学、自然言語処理の学
際シンポジウムです。範疇文法(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」

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

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