| Budget Amount *help |
¥3,140,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥540,000)
Fiscal Year 2010: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2009: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2008: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2007: ¥800,000 (Direct Cost: ¥800,000)
|
|---|
| Research Abstract |
As a result of this research, we introduced a new notion of sheaves of complete partially ordered sets from the ordinary definition of sheavs of sets, which is given by replacing the category Sets of sets and functions with the category Cpos of complete partially ordered sets and continuous functions. The framework so obtained allows us to have the cartesian closed category Cpos(X) in which we can develop various structures for denotational semantics of programming languages excluding the condition of extensionality. This is because of a number of desirable features of Cpos(X) in order to interpret flexible syntactical devices of programming languages.
|
