Proj
J-GLOBAL ID:200904002091608750  Research Project code:2530 Update date:Oct. 07, 2013

「計算機システムの科学」のための数学

Study period:2007 - 継続中
Organization (1):
Investigating Researcher (1):
Research overview:
計算機システム(=計算機を用いた情報処理システム)を正しく設計することはとても難しく、その欠陥が大きな社会的、経済的損害を与える例は枚挙に暇がありません。本研究では、物理学におけるデカルト直交座標のような、「計算機システムの科学」における数学的基礎を構築することを目指します。その成果により、正しい計算機システムの設計が容易になると同時に、抽象数学の研究の対象たりうる新たな構造の発見が期待されます。
Research program: 戦略的創造研究推進事業(個人型研究)
Ministry with control over the research :
文部科学省
Organization with control over the research:
独立行政法人科学技術振興機構
Research budget: \0
Parent Research Project (1):

Return to Previous Page