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