富山県立大学 情報工学部 データサイエンス学科  中村 正樹 研究室のページです．

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