| Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2011: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2010: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2009: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2008: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| Research Abstract |
In the first half I studied computability of social choice rules and general equilibrium solution, and using Cantor’s diagonal argument and constructive mathematics I proved that they are not computable. In the second half I investigated Brouwer’s fixed point theorem from the point of view of constructive mathematics. It is not generally constructively proved, but if we require that functions satisfy the condition called“sequential local non-constancy”, then this theorem can be constructive proved. And I applied this result to economic theory and game theory.
|
