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

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

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

１．人工知能

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

２．ソフトウェア科学

組込みシステムの時相論理によるソフトウェアモデル検査
仮想マシンによるIoTシステム
分散並列プログラミング言語の設計
より良いソフトウェアの実現をめざし、さまざまな分野を研究対象としています。