研究テーマ
検索を中心とする伝統的な人工知能、最近のインテリジェントコンピューティング、ニューラルネットワークを用いた学習
教育目標
検索を中心とする古典的な人工知能、最近の遺伝子アルゴリズム、ニューラルネットワーク及び画像を中心とするパターン認識等について教育研究を行う。また、本領域にはソフトウエアプロセス、仕様、設計手法、形式手段、ソフトウエア変換、評価・検証、メンテナンス、管理、品質評価及びCASEツール、コンカレント、実時間、安全臨界システム及びエンベディッドシステムも含まれる。
専門科目
データマイニング特論
プログラミング言語処理系特論
データベースプログラミング言語
人工知能特論
可視化特論
先端網とコンピューティング
関数型言語と圏論
科目の詳細はシラバスをご覧ください。
修士課程シラバスはこちら教員紹介
学部の教員紹介ページへリンクされています。
