| Budget Amount *help |
¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2011: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2010: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Research Abstract |
The aim of this project is to provide a uniform framework for the representations of natural language semantics and pragmatics, by means of Meta-Lambda Calculus (MLC) and (linguistic) monads. We have established a formal foundation of MLC and the notion of linguistic monads, especially its categorical semantics, the soundness theorems in the base- and the meta-level substitutions, and the soundness theorems for alpha/beta/eta-conversions in both the base- and the meta-levels.
We have also provided some linguistic applications of MLC and their empirical evaluation. We proposed a unified system for describing phenomena that lie in the interface of semantic and pragmatic by means of linguistic monads such as "non-deterministic monad", "global variable monad (=state monad)", "continuation monad", and "conventional implicature monad".
|
