富山県立大学 情報工学部 データサイエンス学科 中村 正樹 研究室のページです．
この研究室では，数学に基づくシステムの設計，検証，開発を支援する技術である形式手法をテーマに，正しいソフトウェアを作る方法や支援環境の構築を目指します．
new
2024/04/01
4月から新設の情報工学部データサイエンス学科に異動になりました．
2023/07/10
2023/06/08
夢ナビさんにページができました．高校生向けにわかりやすく書いてもらってます．
中村のページ
https://yumenavi.info/portal.aspx?CLGAKOCD=033990&p=s033990019
富山県立大学のページ
https://yumenavi.info/portal.aspx?CLGAKOCD=033990