蓮尾一郎

東京大学大学院情報理工学系研究科コンピュータ科学専攻　講師

研究概要

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

計算機システム（＝計算機を用いた情報処理システム）を正しく設計することはとても難しく、その欠陥が大きな社会的、経済的損害を与える例は枚挙に暇がありません。本研究では，物理学におけるデカルト直交座標のような、「計算機システムの科学」における数学的基礎を構築することを目指します。その成果により、正しい計算機システムの設計が容易になると同時に、抽象数学の研究の対象たりうる新たな構造の発見が期待されます。