| 研究課題/領域番号 |
19K20215
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
DUBUT Jeremy 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50836765)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2022-03-31
|
| キーワード | topology / category / robotics / concurrency |
|---|
| 研究実績の概要 |
The paper "Bisimilarity of diagrams" has been accepted to the international conference RAMiCS related to the grant. Two projects are on-going. 1) Directed Topological Robotics about extending topological robotics with a directed structure coming from control constraints; 2) Coalgebraic perspective of rational operations about understanding concatenation and iteration in a general manner, with the purpose of understanding those operations for truly concurrent systems.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
Due to the global situation of the COVID-19, and due to unavailability of some of my colleagues in France, several planned trips have been canceled, delaying slightly the progress of the project.
|
| 今後の研究の推進方策 |
Project 2 is in a very advanced state, and a submission can be considered soon. Project 1 is still in an early stage, but progress is expected in the coming months.
|
| 次年度使用額が生じた理由 |
The reason for incurring amount to be used next fiscal year is due to canceled trips. This amount will be used for further trips if the global situation gets better.
|
