| Budget Amount *help |
¥19,240,000 (Direct Cost: ¥14,800,000、Indirect Cost: ¥4,440,000)
Fiscal Year 2015: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2013: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2012: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
|
|---|
| Outline of Final Research Achievements |
With the application domains of computer systems diversifying rapidly, we are seeing a number of new computing paradigms (such as cyber-physical systems and quantum computation) increasing their relevance in the society. With the belief that understanding of their mathematical nature is vital in quality assurance of such computing systems, we aimed at unifying the semantical techniques that have been developed over years in computer science, and at coping with the emerging challenges of new computing paradigms thereby. Additionally we have also aimed at comprehensive enhancement of semantical techniques that is driven by the new applicational challenges. We have achieved the concrete goals we set in the beginning of the current research project, in ways that are broader than we had foreseen. Moreover our theoretical approach has led to some unexpected relationships and collaborations between different topics.
|
