
青木 利晃教授
モデル検査、定理証明、形式仕様記述、組込みシステム、車載システム、産業応用
北陸先端科学技術大学院大学先端科学技術研究科 金沢大学新学術創成研究科融合科学共同専攻


モデル検査、定理証明、形式仕様記述、組込みシステム、車載システム、産業応用

ゲーム木探索、教師あり学習、強化学習、遺伝的アルゴリズム、パズル、コンテンツ生成、人間らしいゲームAI

物理・実験系、低次元伝導体、熱電変換の物理、熱電材料、エネルギーの有効利用、エネルギーハーベスティング

統計的自然言語解析、ウェブアクセス支援、自然言語処理応用システム

ネットワーク科学、無線通信、フラクタル統計物理、生物メカニズム、アルゴリズム、最適化、SNS、インフルエンサー

ソフトロボティクス、柔軟な触覚装置

リチウムイオン2次電池、ナトリウムイオン2次電池、リチウム空気電池、スーパーキャパシター

創造性支援、コミュニティ支援、インタラクション設計、VR/AR応用、都市デザイン、人間中心AI、感情デザイン

資源・エネルギーの有効利用技術、金属ナノ粒子触媒、固体酸塩基触媒、新触媒の創成、触媒作用機構の解明