情報を数量化し、情報の役割や影響を数理的に解明するのが情報科学です。情報科学を現実問題の解決に役立てるためには、計算機による情報処理が重要です。理工学研究科情報科学専攻では

1. 基礎数理情報
2. 応用数理情報
3. 計算機科学

を3つの柱に、次のような研究実践のなかから総合的な知識を持った研究者、技術者の育成にあたっています。

基礎数理情報／解析学、集合・論理、線形空間、量子エントロピー、量子情報理論、力学系の理論、応用代数学、計算数学、計算の複雑さ、などの情報数理の根幹をなす分野がそろう。

応用数理情報／実用上の問題へ情報数理を応用するために、応用確率統計、数理統計学、組合せ論、生命情報学などがある。

計算機科学／基礎的な理論として、計算モデル論、応用論理学、計算理論がありソフトウェアの設計や開発に関して、プログラム言語論、ソフトウェア基礎論、生体情報論、人工知能特論も。

通常の授業のほかに、研究室ごとの少人数のセミナーには特に力が入れられ、基礎的な学力や研究能力の向上に役立っています。また、国際的に活躍する教員が多く、毎年のように外国の教員や研究者を受け入れているのも本専攻の大きな特色といえます。頻繁に行われるセミナーや研究指導が、学生の研究に常に刺激を与えてくれるわけです。さらに計算機ネットワークの環境整備は著しく、だれでも自由に高速計算機を利用する事が可能。学生によるネットワーク委員会も組織され、容易にネットワーク運用の技術を取得することができるように工夫されています。

情報科学専攻は、基礎数理情報、応用数理情報及び計算機科学という相互に関連する3つの分野において、基礎を重視した高度の専門知識を習得し、広い視野から情報科学の発展に寄与する人材を育成します。