人工知能 / 近代書籍文字認識 / ライフコンピューティング
計算機システム / 計算機アーキテクチャ / 並列分散処理
アルゴリズム / 計算理論 / ソフトウェア科学
自律エージェント / 論理プログラミング / 数理論理学
最適化 / アルゴリズム / 数値計算