B08
数理・論理・量子情報／考え方をかんがえる
Computation, Logic, Quantum information
情報と物理の融合を数学で目指します
Fusion of Information and Physical Systems via Mathematics
数学からソフトウェア、そしてものづくりへ
From Mathematics to Software Development and Manufacturing
代表者名
ERATO蓮尾メタ数理システムデザインプロジェクト
ERATO Hasuo Metamathematics Systems Design Project
共同発表者名
勝股 審也
Shin-ya Katsumata
所属分野
アーキテクチャ科学研究系研究センター
Information Systems Architecture Science Research Division Research Center
要旨
ERATO蓮尾プロジェクトでは、安全なソフトウェアの数学的開発手法を物理情報システムに拡張することで、安全で高信頼なIT社会の建設に貢献します。
ERATO Hasuo project aims to help the construction of safe and reliable IT society by extending mathematical development methods of safe software systems to cyber-physical systmes.