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

pdf-image

要旨

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.

関連動画