| 体系的番号 |
JPMJPR077A |
| DOI |
https://doi.org/10.52926/JPMJPR077A |
研究代表者 |
蓮尾 一郎 京都大学, 数理解析研究所, 助教
|
|---|
| 研究期間 (年度) |
2007 – 2010
|
| 概要 | 計算機システム(=計算機を用いた情報処理システム)を正しく設計することはとても難しく、その欠陥が大きな社会的、経済的損害を与える例は枚挙に暇がありません。本研究では、物理学におけるデカルト直交座標のような、「計算機システムの科学」における数学的基礎を構築することを目指します。その成果により、正しい計算機システムの設計が容易になると同時に、抽象数学の研究の対象たりうる新たな構造の発見が期待されます。
|
|---|
| 研究領域 | 数学と諸分野の協働によるブレークスルーの探索 |
|---|
