Lambda Calculus and Formal Grammar

[日本語 | English]

国立情報学研究所
2005年2月18日

ラムダ計算と形式文法の関わりについて,インフォーマルなワークショップを企画しました.特に,「抽象的範疇文法」または「ラムダ文法」と呼ばれる最近の文法フォーマリズムに焦点を当てたワークショップです.興味を持たれた方の参加をお待ちしています.

招待講演者

Philippe de Groote, INRIA-Lorraine
Sylvain Salvati, INRIA-Lorraine
Reinhard Muskens, Tilburg University

日にちと場所

日にち:2005年2月18日
場所:  国立情報学研究所20階講義室1および2(学術総合センター内)(地図と交通).

学術総合センターの入口で20階で行われているワークショップに参加する旨をお伝えください.

プログラム

9:45受付/開始
10:00Reinhard Muskens, Separating Syntax and Combinatorics in Categorial Grammar
10:50Philippe de Groote, Introduction to Abstract Categorial Grammars
11:40昼食
13:10Sylvain Salvati, Parsing Abstract Categorial Grammars: Complexity and Algorithms
14:00吉仲 亮,The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars
14:50コーヒーブレーク
15:10金沢 誠,Abstract Families of Abstract Categorial Languages
16:00Philippe de Groote, Discourse Representation Theory and Montague Semantics
16:50休憩
17:00Reinhard Muskens, Lambda Grammars and Hyperintensionality

問い合わせは下記までどうぞ.

金沢 誠
kanazawa at nii


Last modified: 2006-11-28 13:30:39 JST