ホーム

富山県立大学 工学部 電子・情報工学科 情報基盤工学講座 中村(正)研究室のページです.

この研究室では,数学に基づくシステムの設計,検証,開発を支援する技術である形式手法をテーマに,正しいソフトウェアを作る方法や支援環境の構築を目指します.


最新のお知らせ

1 - 5 / 14 件の投稿を表示中 もっと見る »

Twitter Timeline