システム情報科学府 情報学専攻 知能科学講座

システム情報科学府 知能システム学専攻 知能処理システム講座

工学部 電気情報工学科電気情報工学

092-802-3609

092-802-3600

工学博士

知能科学

研究活動概要：
　主に以下の技術分野に関する研究に従事している。
　・自動推論
　・論理プログラミング
　・再構成可能計算
　・並列／分散知識処理
　・形式的検証
　・知識表現

教育活動概要：
　下記の科目を担当している。
　・大学院：
　　- 自動推論特論
　　- 情報学演習
　　- 情報学講究
　・学部：
　　- 情報システム
　　- プログラミング演習IＩ
　　- 電気情報工学実験（ハードウェア実験）
　・九州情報大学（非常勤）：
　　- プログラミング実習Ｉ