Proj
J-GLOBAL ID:202104003732370262
Research Project code:07051384
「計算機システムの科学」のための数学
「計算機システムの科学」のための数学
National award number:JPMJPR077A
Study period:2007 - 2010
Organization (1):
Principal investigator:
(
, 数理解析研究所, 助教 )
DOI:
https://doi.org/10.52926/JPMJPR077A
Research overview:
計算機システム(=計算機を用いた情報処理システム)を正しく設計することはとても難しく、その欠陥が大きな社会的、経済的損害を与える例は枚挙に暇がありません。本研究では、物理学におけるデカルト直交座標のような、「計算機システムの科学」における数学的基礎を構築することを目指します。その成果により、正しい計算機システムの設計が容易になると同時に、抽象数学の研究の対象たりうる新たな構造の発見が期待されます。
Terms in the title (3):
Terms in the title
Keywords automatically extracted from the title.
,
,
Research program:
>
>
Parent Research Project:
数学と諸分野の協働によるブレークスルーの探索
Organization with control over the research:
Japan Science and Technology Agency
Reports :
Return to Previous Page