ホーム

富山県立大学 工学部 電子・情報工学科  中村 正樹 研究室のページです.

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


最新のお知らせ

  • ダヴィンチ祭2018(2018/8/4)
    今年のダヴィンチ祭は,子ども向けのプログラミング企画を出展しました.

    ダヴィンチ際2018すごいProgramたのしく学ぼう!の様子

    投稿: 2018/08/04 0:42、masaki n
  • 2018年度スタートしました(2018/4/11)
    2018年度,新しいメンバで研究室の活動がスタートしました.まずは,合同ゼミ(with 榊原研),研究ゼミ,輪講の3つを軸に進めます.
    投稿: 2018/04/11 0:42、masaki n
  • 2017年度学位授与式(2018.3.17)
    予定していた修士,卒研の学生が予定通り修了,卒業しました.おめでとうございます.
    投稿: 2018/04/11 0:39、masaki n
  • ダ・ヴィンチ祭(2017/8/5)
    ダ・ヴィンチ祭で子供向けのクイズ企画を出展しました.

    投稿: 2017/10/21 4:45、masaki n
  • オープンキャンパス2017 (2017/6/17)
    オープンキャンパスで,電子・情報工学科に60名の高校生が見学に来てくれました.皆さんと春にまたお会いできることを楽しみにしています.



    投稿: 2017/06/16 21:21、masaki n
1 - 5 / 18 件の投稿を表示中 もっと見る »

Twitter Timeline