| Project/Area Number |
19K20215
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
DUBUT Jeremy 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50836765)
|
|---|
| Project Period (FY) |
2019-04-01 – 2022-03-31
|
| Project Status |
Completed (Fiscal Year 2021)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2021: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | algebraic topology / concurrency / language theory / robotics / topological robotics / concurrent systems / topology / category / directed structures / computer science |
|---|
| Outline of Research at the Start |
In this research, the investigator is planning to use directed algebraic topology, a mathematical domain about the geometry of an object that has a natural direction of time, to theoretical computer science.
|
| Outline of Final Research Achievements |
The goal of this project was to describe and analyse directed structures, typically by the influence of the unrolling of time, in various problems in computer science, mathematics, and robotics. Throughout this project, and thanks to domestic and international collaborations with France and Germany, we have developed theories and algorithms towards this goal, with results already published for concurrent systems in international conferences and journal, and results in preparation for robotics and language theory.
|
| Academic Significance and Societal Importance of the Research Achievements |
At this point of the project, the significance is mostly academic: the results obtained showed good theoretical results and algorithms in the analysis of directed structures.
|
