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