| 研究課題/領域番号 |
19K20215
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
DUBUT Jeremy 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50836765)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2022-03-31
|
| 研究課題ステータス |
完了 (2021年度)
|
| 配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2020年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2019年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | algebraic topology / concurrency / language theory / robotics / topological robotics / concurrent systems / topology / category / directed structures / computer science |
|---|
| 研究開始時の研究の概要 |
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.
|
| 研究成果の概要 |
このプロジェクトの目標は、コンピューターサイエンス、数学、ロボット工学のさまざまな問題において、通常は時間の展開の影響によって、方向付けられた構造を記述および分析することでした。 このプロジェクト全体を通して、そしてフランスとドイツとの国内および国際的な協力のおかげで、私たちはこの目標に向けた理論とアルゴリズムを開発し、結果は国際会議やジャーナルで同時システムにすでに公開されており、ロボット工学と言語理論の準備につながっています。
|
| 研究成果の学術的意義や社会的意義 |
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.
|
