- 吉田研究室（数学ソフトウエア研究室）
- 岡崎研究室（情報システム開発研究室）
- 只木研究室（暗号、確率、量子、ランダムネス：工学基礎論研究室）
- 奥居研究室（記号計算研究室）
- 高丸研究室（シミュレーション科学研究室）
- 柴田研究室（計算物理学研究室）
計算工学
情報工学の分野では、コンピュータを用いた高速、大量の各種の計算が行われている。理工学分野の数学的記述問題の解を数値で求める数値解析、理工学の問題を確率・統計的な問題に置き換え、確率論的な問題として取り扱うシミュレーション、直接的な大規模シミュレーションや可視化シミュレーション、等式の自動定理証明や関数・論理プログラミングの基礎となる記号計算の理論、手法などについて研究する。
お知らせ