[日本語 | English]
2005年から始めたインフォーマルなワークショップの第５回です．（こちらから過去のワークショップのプログラムがご覧になれます．）ワークショップのテーマはラムダ計算と形式文法の関わりで，特に，「抽象的範疇文法」または「ラムダ文法」と呼ばれる文法フォーマリズムに焦点を当てています．どなたでも参加できます．興味を持たれた方の参加をお待ちしています．
このワークショップは，国立情報学研究所平成19年度企画型共同研究「型付きラムダ計算に基づく包括的な文法モデルの構築」（研究代表者：金沢 誠）の活動として行うものです．
| 日にち： | 2008年3月24日（月）〜25日（火） |
| 場所： | 国立情報学研究所20階講義室１，２（2005, 2004）（学術総合センター内）（地図と交通）． |
学術総合センターの入口で20階で行われているワークショップに参加する旨をお伝えください．
Philippe de Groote (INRIA Nancy - Grand Est)
金沢 誠 (NII)
Greg Kobele (Humboldt University of Berlin)
Reinhard Muskens (Tilburg University)
Sylvain Salvati (INRIA Bordeaux - Sud-Ouest)
Chung-chieh Shan (Rutgers University)
吉仲 亮 (北海道大学)
| 10:20 | 開会の辞 |
| 10:30 | Reinhard Muskens (Tilburg University), The social construction of meaning and the theory of types |
| 11:20 | コーヒーブレーク |
| 11:40 | Philippe de Groote (INRIA Nancy - Grand Est), A type-theoretic view of dynamic logic |
| 12:30 | 昼食 |
| 14:30 | Chung-chieh Shan (Rutgers University), Reasoning about contexts in Henkin models |
| 15:20 | コーヒーブレーク |
| 15:40 | 吉仲 亮（北海道大学）, Efficient learning and the inclusion problem of a subclass of deterministic context-free languages |
| 16:30 | 金沢 誠（NII）, A prefix-correct Earley recognizer for multiple context-free grammars |
| 10:30 | Sylvain Salvati (INRIA Bordeaux - Sud Ouest), On the derivations of minimalist grammars |
| 11:20 | コーヒーブレーク |
| 11:40 | Greg Kobele (Humboldt University of Berlin), On the complexity of deletion under identity |
| 12:30 | 閉会の辞 |
問い合わせは下記までどうぞ．
Last modified: 2008-03-17 16:29:25 JST