Computer Software Laboratory

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

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

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

1.人工知能

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

2.ソフトウェア科学

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