Tarou_CHINOU_Homepage


	知能情報工学科・知能数理学講座・教授原尾　政輝
	Harao Masateru
授業担当科目	学部：論理と証明，プログラム理論大学院：プログラム理論特論，計算理論特論講義資料など詳しくはこちらを参照のこと
専門分野	人工知能理論知能情報処理
研究テーマ	論理に基づく人工知能理論定理自動証明マルチエージェントシステムデータマイニング音楽情報処理
業績	これまでの主な業績
論文リスト	これまでの論文最近の論文
キーワード	人工知能，定理証明，マルチエージェント，音楽情報処理，データマイニング
学位	工学博士（東北大学）
所属学会	電子情報通信学会情報処理学会人工知能学会日本ソフトウェア科学
職歴	これまでの主要な職歴　東北大学電気通信研究所　助手・助教授　山形大学工学部　情報工学科　　教授　九州工業大学　情報工学部　　　教授

原尾 政輝