ホーム

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

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


最新のお知らせ

  • ダ・ヴィンチ祭(2017/8/5)
    ダ・ヴィンチ祭で子供向けのクイズ企画を出展しました.

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



    投稿: 2017/06/16 21:21、masaki n
  • 14歳の挑戦2017 (2017/5/9)
    14歳が,14歳のためのプログラミング授業の資料作成に,挑戦しに来てくれました.


    投稿: 2017/06/16 21:19、masaki n
  • 2017年度体制がスタートしました
    2017年度は教員1名,大学院2年1名,学部4年生4名の研究室体制になりました.メンバページ更新しました.
    投稿: 2017/04/13 23:19、masaki n
  • 2017年電子情報通信学会総合大会(2017.03.22-23)
    4年生の安藤さん,寺嶋さんが2017年電子情報通信学会総合大会の学生ポスターセッションで,院生の森さんが同大会のソフトウェアサイエンスのセッションでそれぞれ研究成果を発表してきました.



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

Twitter Timeline