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