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

[BEKKI Daisuke]

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

　お茶の水女子大学の戸次です。12/23(木)に東京で開催される「範疇文 
法と証明論」シンポジウムの案内をお送り致します。

　「範疇文法と証明論」シンポジウムは、範疇文法(Categorial Grammar)
を中心テーマとした、理論言語学、数理論理学、自然言語処理の学際シン
ポジウムです。言語学者、論理学者、自然言語処理研究者が、それぞれの
立場から研究発表を行います。招待講演には、北陸先端科学技術大学院大
学の小野寛晰先生をお迎えします。

　多数の皆様のご参加をお待ちしています。参加登録等は特に必要ありま
せん。


「範疇文法と証明論」シンポジウム
================================
ウェブサイト
------------
  http://www.is.ocha.ac.jp/‾bekki/catproof/

日時
----
  2010/12/23(木・祝) 10:00-17:00

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

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

プログラム
----------
10:00-10:30  窪田悠介（東京大学・The University of Chicago・JSPS）
  「言語理論としての範疇文法の可能性」

10:30-11:00  上垣渉（MIT)・
             窪田悠介（東京大学・The University of Chicago・JSPS）
  「音韻・意味標識付き推論による日本語の主部内在関係節と疑似独立文の分析」

11:00-11:30
  戸次大介 （お茶の水女子大学）
  「組合せ範疇文法(CCG)と部分構造論理」

11:30-13:00  昼食休憩

13:00-13:30  矢田部修一 （東京大学）
  「範疇文法にとって問題となりうる諸現象」

13:30-14:00  宮尾祐介 （国立情報学研究所）
  「自然言語処理から観たCCGとHPSGの比較」

14:00-14:30  花岡洋輝・増田勝也・美馬秀樹（東京大学 知の構造化センター）
  「日本語CCGパーザの構築と知の構造化への応用」

14:30-14:45  休憩

14:45-15:15  峯島宏次 （慶應義塾大学・JSPS）
  (TBA)

15:15-15:45  矢田部俊介 （産業技術総合研究所）
  「範疇文法・カリーハワード対応・Agda」

15:45-16:00  休憩

16:00-17:00  招待講演：小野寛晰（北陸先端科学技術大学院大学）
  「Lambek計算と部分構造論理 − 言語、論理、代数の一つの接点」

企画委員
--------
  戸次大介
  矢田部俊介
  窪田悠介
  上垣渉