Intelligent, Verification and Analysis Laboratory
岡山県立大学 情報工学部 情報システム工学科 知能システム検証・解析研究室の Web ページです．
Topics
- 第222回ソフトウェア工学研究発表会で，本研究室 B4 茅野立さん，濱寿将さんが発表しました．(2026.3.10)
- 信号処理研究会（SIP）で，本研究室 M1 田中美穂さんが発表しました．(2026.3.3)
- 第70回組込みシステム研究発表会で，本研究室 M1 廣藤拓さんが発表しました．(2025.11.21)
- 第32回ソフトウェア工学の基礎ワークショップ（FOSE2025）で，本研究室 B4 濱寿将さんが発表しました．(2025.11.7)
Contents
メンバー
- 現在の研究室メンバーについて
研究テーマ
- 研究テーマの紹介
修論・卒論
- 過去の修論・卒論テーマについて
研究業績
- 主な研究業績について
産学連携
- 競争的研究資金・共同研究について
実践講座
- 「おかやま組込みシステム・AI実践講座」について
Recent Updates
- 2026.4.1 メンバーを更新．