| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2019: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2017: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2016: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Outline of Final Research Achievements |
We studied combinatorial structures of approximations of continuous spaces like real numbers and computations based on them. Specifically, we are interested in the infinite Gray-code, which is a non-redundant representation of real numbers on infinite sequences with bottoms (i.e., non-terminating elements). Together with co-researchers, we developed logical systems called IFP (Intuitionistic Fixed Point Logic) and CFP (Concurrent Fixed Point Logic). From proofs in these systems, one can extract correct nondeterministic and concurrent programs that manipulate such partial representations, using their realizability interpretations.
|
