計算工学

情報工学の分野では、コンピュータを用いた高速、大量の各種の計算が行われている。理工学分野の数学的記述問題の解を数値で求める数値解析、理工学の問題を確率・統計的な問題に置き換え、確率論的な問題として取り扱うシミュレーション、直接的な大規模シミュレーションや可視化シミュレーション、等式の自動定理証明や関数・論理プログラミングの基礎となる記号計算の理論、手法などについて研究する。