研課題
J-GLOBAL ID:202104003732370262  研究課題コード:07051384

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

体系的課題番号:JPMJPR077A
実施期間:2007 - 2010
実施機関 (1件):
研究代表者: ( , 数理解析研究所, 助教 )
DOI: https://doi.org/10.52926/JPMJPR077A
研究概要:
計算機システム(=計算機を用いた情報処理システム)を正しく設計することはとても難しく、その欠陥が大きな社会的、経済的損害を与える例は枚挙に暇がありません。本研究では、物理学におけるデカルト直交座標のような、「計算機システムの科学」における数学的基礎を構築することを目指します。その成果により、正しい計算機システムの設計が容易になると同時に、抽象数学の研究の対象たりうる新たな構造の発見が期待されます。
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
研究制度:
上位研究課題: 数学と諸分野の協働によるブレークスルーの探索
研究所管機関:
国立研究開発法人科学技術振興機構
報告書等:

前のページに戻る