Welcome Guest 
メインメニュー
ログイン

ユーザー名:


パスワード:





パスワード紛失
ようこそ山根研究室へ
金沢大学大学院
理工学域 電子情報科学専攻
計算機ソフトウェア研究室(2B622)
本研究室では、
コンピュータ科学及びコンピュータソフトウェアの基盤技術に関して、

組み込みシステムの時相論理によるモデル検査 及び、
クラウドコンピュータのランタイムな解析と検証
オブジェクト指向プログラムのデバッガの開発

などの研究をおこなっております。


より良いソフトウェアの実現をめざし、さまざまな分野を研究対象としています。


News!
2014/12/2

山本 幸一(M2) がWebDBForum2014にて、リクルートテクノロジーズ賞・サイボウズ賞を受賞しました。




2014/10/30

公下 亮佑(M2) が組込みシステムシンポジウム2014にて、奨励賞を受賞しました。




2014/10/28

メンバー情報を更新しました




2014/10/1

2014年度後期の講義サイトを更新しました




コンテンツ一覧
コンテンツ
研究室紹介
講義関連
オペレーティングシステム
分散並列リアルタイムシステム構成論
電子情報生命工学序論
情報システム工学特別講義
情報化社会を支えるICT技術
自主課題研究
分散コンピューティング
コンパイラ
計算機システム
プログラミング演習
情報システム工学実験第2 テーマ2-1
情報システム工学実験第3 テーマ3-3
研究
動的再構成可能組込みシステムの設計検証
組込みソフトウェアのSMT検証
分散システムの設計・解析・検証
ネットワークプロトコルの設計検証
論文リスト
ソフトウェアのデバッグ・検証
リンク
copyright © Kanazawa University Computer Software Laboratory 2008-2014