| 研究課題/領域番号 |
19K20215
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
DUBUT Jeremy 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50836765)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2022-03-31
|
| キーワード | algebraic topology / topological robotics / concurrent systems / language theory |
|---|
| 研究実績の概要 |
During the current fiscal year, I have been working on two main directions for the present project.
First, I have been developing the categorical foundations for studying topological robotics with control constraints, which requires to look at new concepts in directed algebraic topology such as components of topologically enriched categories.
Second, I have been developing a categorical theory for the language of general transition systems. The challenge is to be able to deal with probabilistic and truly concurrent behaviours. The target is to have a nice way to describe languages for Higher Dimensional Automata, and their possible extensions with various phenomena such as time or probabilities.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
The research on that project deeply relies on collaboration with Europe. The current global pandemic makes it hard to collaborate with my colleagues (they are very busy with setting up online courses, and managing the sanitarian situation in their universities). Furthermore, trips have been cancelled at the beginning of the fiscal year that would have been real boosts for the project.
|
| 今後の研究の推進方策 |
The situation in Europe is improving, and collaborations are starting again. My plan is to finish the two lines I described earlier as soon as possible and to submit papers related to them, one in a mathematical journal, and at a computer science conference.
|
| 次年度使用額が生じた理由 |
The reason for the left-over is that this money was primarily intended for trips such as collaborations and conferences. With the current pandemic, these were cancelled or changed as online events. For the next year, I am hoping that the situation will get better so that I can visit (or invite) collaborators to boost the research of this project. I am also planning to attend conference (at least, online).
|
