ようこそ計算機ソフトウェア研究室へ
金沢大学大学院 理工学域 電子情報科学専攻 計算機ソフトウェア研究室(2C520)
本研究室では、ソフトウェアを中心として、人工知能とソフトウェア科学に関して、主に以下を研究しています。
1.人工知能
- 深層強化学習の理論、実装、応用
- ディープラーニングによる画像処理、翻訳
- オンライン型異種混合学習の理論と応用
- ベイズ推論
- R-CNNによる動画像認識
2.ソフトウェア科学
- 組込みシステムの時相論理によるソフトウェアモデル検査
- 仮想マシンによるIoTシステム
- 分散並列プログラミング言語の設計
- より良いソフトウェアの実現をめざし、さまざまな分野を研究対象としています。