情報科学専攻

専攻紹介

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

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

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

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

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

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

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

理念・目的・教育目標

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

授業科目表(修士課程)

専門分野(部門) 授業科目 単位 履修方法 履修年次
数理解析 力学系特論 2 選択 共通
応用代数学特論 2 選択 共通
応用情報 光通信特論 2 選択 共通
応用情報特論 2 選択 共通
情報科学特別講義 2 選択 共通
統計数理 数理統計学特論 2 選択 共通
統計学特論 2 選択 共通
計算機数学 計算科学特論 2 選択 共通
データ圧縮特論 2 選択 共通
人工知能 人工知能特論 2 選択 共通
マルチモーダル情報処理特論 2 選択 共通
ソフトウェア環境 プログラム言語特論 2 選択 共通
情報ネットワーク特論 2 選択 共通
言語処理系 計算機アーキテクチャ特論 2 選択 共通
言語処理系特論 2 選択 共通
生命情報学 生命情報学特論 2 選択 共通
生命情報の数理 2 選択 共通
離散数学 組合せ論特論 2 選択 共通
組合せデザイン特論 2 選択 共通
計算理論 アルゴリズム特論 2 選択 共通
計算の複雑さ特論 2 選択 共通
カテゴリカルデータ解析特論 2 選択 共通
応用確率統計論 2 選択 共通
  数量ファイナンスI 2 選択 共通
数量ファイナンスII 2 選択 共通
量子情報理論 2 選択 共通
量子コンピュータ特論 2 選択 共通
待ち行列理論 2 選択 共通
応用確率論 2 選択 共通
  情報科学特別講義I(情報) 2 選択 共通
情報科学特別講義II(数学) 2 選択 共通
  特別研究(情報) 18 選択必修 共通
特別研究(数学) 18 選択必修 共通

※科目の内容など詳細情報については「シラバス」からご覧いただけます。

平成29年度 大学院要覧 修士課程修了所要単位数
必修 選択
18 12 30

授業科目表(博士後期課程)

専門分野(部門) 授業科目 単位 履修方法 履修年次
基礎数理情報 基礎数理情報特別研究1 10 選択 1
基礎数理情報特別研究2 10 選択 2
基礎数理情報特別研究3 10 選択 3
応用数理情報 応用数理情報特別研究1 10 選択 1
応用数理情報特別研究2 10 選択 2
応用数理情報特別研究3 10 選択 3
計算機科学 計算機科学特別研究1 10 選択 1
計算機科学特別研究2 10 選択 3
計算機科学特別研究3 10 選択 3

※科目の内容など詳細情報については「シラバス」からご覧いただけます。

平成29年度 大学院要覧 博士後期課程修了要件
10単位以上修得のこと。ただし、自己の指導教員が担当する科目を毎年1科目のみ履修可。

教員一覧

専攻部門 担当教員 研究分野
応用情報 教授 渡邉 昇 光通信、量子通信理論
数理解析 教授 戸川 美郎 非線形システム
統計数理 教授 富澤 貞男 統計学
計算機数学 教授 明石 重男 計算科学、データ圧縮
ソフトウェア環境 教授 武田 正之 プログラム言語論、情報ネットワーク
人工知能 准教授 桂田 浩一 知能情報論、人工知能
言語処理系 教授 滝本 宗宏 コード最適化
生命情報学 准教授 佐藤 圭子 生命現象への情報論的アプローチ
離散数学 准教授 宮本 暢子 組合せデザイン
計算理論 講師 入山 聖史 アルゴリズム論
応用確率統計 講師 田畑 耕治 カテゴリカルデータ解析

ページのトップへ