情報科学専攻
専攻理念
情報科学専攻は、基礎数理情報、応用数理情報及び計算機科学という相互に関連する3つの分野において、基礎を重視した高度の専門知識を習得し、広い視野から情報科学の発展に寄与する人材を育成します。
専攻紹介
情報を数量化し、情報の役割や影響を数理的に解明するのが情報科学です。情報科学を現実問題の解決に役立てるためには、計算機による情報処理が重要です。理工学研究科情報科学専攻では
- 数学
- オペレーションズ・リサーチ
- 計算機
を3つの柱に、次のような研究実践のなかから総合的な知識を持った研究者、技術者の育成にあたっています。
数学／論理数学、量子確率論、量子コンピュータ理論、力学系の理論、応用代数学などの情報数理の根幹をなす分野がそろう。さらに、情報を利用するための数学理論として、認知学習理論やソフトコンピューティング特論も。
オペレーションズ・リサーチ／OR特論のほか、ランダムな要因の解析のために応用確率論と待ち行列理論があり、データ解析のための理論として数理統計学がある。
計算機／基礎的な理論として、計算モデル論、応用論理学、計算理論がありソフトウェアの設計や開発に関して、プログラム言語論、ソフトウェア基礎論、生体情報論、信号処理特論も。
通常の授業のほかに、研究室ごとの少人数のセミナーには特に力が入れられ、基礎的な学力や研究能力の向上に役立っています。また、国際的に活躍する教員が多く、毎年のように外国の教員や研究者を受け入れているのも本専攻の大きな特色といえます。頻繁に行われるセミナーや研究指導が、学生の研究に常に刺激を与えてくれるわけです。さらに計算機ネットワークの環境整備は著しく、だれでも自由に高速計算機を利用する事が可能。学生によるネットワーク委員会も組織され、容易にネットワーク運用の技術を取得することができるように工夫されています。
ポリシー
理工学研究科情報科学専攻におけるアドミッション・ポリシー、カリキュラム・ポリシー、ディプロマ・ポリシーはこちらをご参照ください。
授業科目表(修士課程)
履修年次に応じた履修モデル| 専門分野(部門) | 授業科目 | 単位 | 履修方法 | 履修年次 |
|---|---|---|---|---|
| 数理解析 | 力学系特論 | 2 | 選択 | 共通 |
| 応用代数学特論 | 2 | 選択 | 共通 | |
| 数理情報 | 量子情報理論 | 2 | 選択 | 共通 |
| 量子コンピュータ特論 | 2 | 選択 | 共通 | |
| 応用情報 | 光通信特論 | 2 | 選択 | 共通 |
| 応用情報特論 | 2 | 選択 | 共通 | |
| オペレーションズ・リサーチ | 待ち行列理論 | 2 | 選択 | 共通 |
| 応用確率論 | 2 | 選択 | 共通 | |
| 統計数理 | 統計学特論Ⅰ | 2 | 選択 | 共通 |
| 統計学特論Ⅱ | 2 | 選択 | 共通 | |
| 医薬統計学 | 2 | 選択 | 共通 | |
| 計算機数学 | 計算科学特論 | 2 | 選択 | 共通 |
| データ圧縮特論 | 2 | 選択 | 共通 | |
| 人工知能 | 人工知能特論 | 2 | 選択 | 共通 |
| 生体情報論特論 | 2 | 選択 | 共通 | |
| ソフトウェア環境 | プログラム言語特論 | 2 | 選択 | 共通 |
| 情報ネットワーク特論 | 2 | 選択 | 共通 | |
| 要求仕様技術 | ソフトウェア方式論Ⅰ | 2 | 選択 | 共通 |
| ソフトウェア方式論Ⅱ | 2 | 選択 | 共通 | |
| 言語処理系 | 計算機アーキテクチャ特論 | 2 | 選択 | 共通 |
| 言語処理系特論 | 2 | 選択 | 共通 | |
| 生命情報学 | 生命情報学特論 | 2 | 選択 | 共通 |
| 生命情報の数理 | 2 | 選択 | 共通 | |
| 離散数学 | 組合せ論特論 | 2 | 選択 | 共通 |
| 組合せデザイン特論 | 2 | 選択 | 共通 | |
| 計算理論 | アルゴリズム特論 | 2 | 選択 | 共通 |
| 数量ファイナンスⅠ | 2 | 選択 | 共通 | |
| 数量ファイナンスⅡ | 2 | 選択 | 共通 | |
| ITプログラム特別講義Ⅰ | 2 | 選択 | 共通 | |
| ITプログラム特別講義Ⅱ | 2 | 選択 | 共通 | |
| PBL型システム開発 | 2 | 選択 | 共通 | |
| 情報科学特別講義Ⅰ(情報) | 2 | 選択 | 共通 | |
| 情報科学特別講義Ⅱ(数学) | 2 | 選択 | 共通 | |
| 特別研究(情報) | 18 | 選択必修 | 共通 | |
| 特別研究(数学) | 18 | 選択必修 | 共通 |
| 平成23年度 大学院要覧 修了所要単位数 | ||
|---|---|---|
| 必修 | 選択 | 計 |
| 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 |
| 平成24年度 大学院要覧 博士後期課程修了要件 |
|---|
| 10単位以上修得のこと。ただし、自己の指導教員が担当する科目を毎年1科目のみ履修可。 |
教員一覧
| 専攻部門 | 担当教員 | 研究分野 | |
|---|---|---|---|
| 数理情報 | 教授 | 大矢 雅則 | 量子情報理論 |
| 量子コンピュータ | |||
| 遺伝情報学 | |||
| 応用情報 | 教授 | 渡邉 昇 | 光通信 |
| 量子通信理論 | |||
| 数理解析 | 教授 | 戸川 美郎 | 非線形システム |
| 統計数理 | 教授 | 富澤 貞男 | 統計学 |
| オペレーションズ・リサーチ | 教授 | 宮沢 政清 | オペレーションズ・リサーチ |
| 確率ネットワーク | |||
| 待ち行列理論 | |||
| 計算機数学 | 教授 | 明石 重男 | 計算科学 |
| データ圧縮 | |||
| ソフトウェア環境 | 教授 | 武田 正之 | プログラム言語論 |
| 情報ネットワーク | |||
| 要求仕様技術 | 講師 | 榎本 進 | 仕様記述言語論 |
| プロダクトモデル論 | |||
| 人工知能 | 教授 | 太原 育夫 | 知能情報論 |
| 人工知能 | |||
| 生命情報学 | 准教授 | 佐藤 圭子 | 生命現象への情報論的アプローチ |
| 言語処理系 | 准教授 | 滝本 宗宏 | コード最適化 |
| 離散数学 | 准教授 | 宮本 暢子 | 組合せデザイン |
| 計算理論 | 講師 | 入山 聖史 | アルゴリズム論 |
| (連携大学院方式による客員教員および研究分野) | |||
| ソフトウェア基礎論 | 客員教授 | 橋田 浩一 | 自然言語処理 （産業技術総合研究所） |
| 教授※ | 太原 育夫 | ||