ようこそ計算機ソフトウェア研究室へ

金沢大学大学院
理工学域 電子情報科学専攻
計算機ソフトウェア研究室(2C520)

本研究室では、ソフトウェアを中心として、
人工知能とソフトウェア科学に関して、主に以下を研究しています。

1.人工知能

深層強化学習の理論、実装、応用
ディープラーニングによる画像処理、翻訳
オンライン型異種混合学習の理論と応用
ベイズ推論
R-CNNによる動画像認識

2.ソフトウェア科学

組込みシステムの時相論理によるソフトウェアモデル検査
仮想マシンによるIoTシステム
分散並列プログラミング言語の設計

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