As of 22-Feb-24(2) 情報理工学系研究科授業科目表
自令和6年4月
至令和7年3月

コンピュータ科学専攻○ 本年度開講科目 Course List for AY202４
E 原則として英語で行う Conducted in English, in principle※ 開講年度が異なっても、両方の履修は認められない。

※Overlapping Classes and Joint Classes: Once the credit is obtained, students cannot register for both classes even if they are offered in different years.

科目番号

英文科目名

職名

担当教員氏名

ターム

教授(委)
教授

相澤 彰子
宮尾 祐介

A1A2

単位 単位 単位重複履修不可科目※(講義) (演習) (実験)E 4810-1103

自然言語処理システム論

Advanced Natural Language Processing

E 4810-1105

分散並列計算論

Parallel and Distributed Computing Systems24860-1018(創造情報学専攻)
4860-1047(創造情報学専攻)

E 4810-1107

計算システム検証論

Verification of Computing Systems

24810-1180
4860-1019(創造情報学専攻)
4860-1041(創造情報学専攻)
0510101(理学部情報科学科)

アルゴリズム論

Algorithmics

2

分散システムソフトウェア

Distributed System Software

4810-1130

メディア情報学

Multimedia Interface

教授(兼)五十嵐 健夫

A1A2

24810-1109

計算機言語システム論

Programming Language Systems

教授

小林 直樹

A1A2

24810-1113

4810-1111
E 4810-1128

〇

授業科目

24860-1073(創造情報学専攻)

コンピュータグラフィクス

Computer Graphics

2

E 4810-1115

並列数値計算論

Parallel Numerical Computations

20510105(理学部情報科学科)

E 4810-1119

三次元画像処理特論

Three-Dimentional Image Processing

24840-1017(電子情報学専攻)
4915030（学際情報学府）

4810-1149

配列解析アルゴリズム特論

Algorithms for Sequence Analysis

4810-1124

DNA情報解析特論

DNA Information Analysis

4810-1132

ゲノム機能情報解析特論

Information Analysis for Functional Genomics

4810-1201

戦略ソフトウェア特別講義I

Seminar on Strategic Softwere I

14810-1202

戦略ソフトウェア特別講義II

Seminar on Strategic Softwere II

14810-1203

戦略ソフトウェア特別講義III

Seminar on Strategic Softwere III

14810-1154

実践システムソフトウェア

Practical System Software

24810-1155

実践コンピュータシステムI

Practical Computer Systems I

14810-1156

実践コンピュータシステムII

Practical Computer Systems II

先端アルゴリズム論

Advanced Algorithms〇 E 4810-1163

E 4810-1164

教授

渋谷 哲朗

S1S2

2教授
准教授教授
准教授

井元 清哉
片山 琴絵
中井 謙太
朴 聖俊

A1A2

2

S1S2

2

1
講師（非）

□田 悠一

S1S2

コンピュータアーキテクチャとシステムソフトウェ
Modern Computer Architectures and System Softwareア

20510106(理学部情報科学科)

2
Suppakitpaisarn
Vorapong

4810-1172
4810-1173
4810-1174
4810-1171
4810-1173
4810-1174〇 E 4810-1171

実践英語対話表現演習Ⅰ

Practical English Presentation Skill I

E 4810-1172

実践英語対話表現演習Ⅱ

Practical English Presentation Skill II

E 4810-1165

通信理論のアルゴリズム的側面

Algorithmic Aspects of Communication

2

データ可視化論

Data Visualization

2

量子計算論

Introduction to Near-Term Quantum Computation

計算機システムの数理的意味論

Mathematical Semantics of Computer Systems戦略ソフトウェア特論

Strategic Software

准教授

稲葉 真理

S1S2

24810-1144, 4810-1145、 4810-1146、4860-1013(創造情報学専攻)
4860-1014(創造情報学専攻)
4860-1053(創造情報学専攻)

論文構成法

Academic Writing in English

講師(非)Whittaker Edward
William Daniel

A1A2

20510027(理学部情報科学科)

4810-1175

学際計算科学特論

Interdisciplinary Lecture in Scientific Computing

准教授

吉本 芳英

A1A2

2

E 4810-1176

先端データ解析論

Advanced Data Analysis

教授（兼）
講師（兼）

杉山 将
石田 隆

S1S2

247130-53(新領域)

先端統計モデリング論

Advanced Statistical Modeling

教授

佐藤 一誠

S1S2

247130-55(新領域)E 4810-1181

コンピュータアーキテクチャ特論

Advanced Computer Architecture

20510061(理学部情報科学科)

E 4810-1182

オペレーティングシステム特論

Advanced Operating Systems

20510060(理学部情報科学科)
4860-1080(創造情報学専攻)

近似・オンラインアルゴリズムとその応用

Approximation and Online Algorithms with Applications 特任准教授

情報セキュリティのためのアルゴリズム

Algorithms for Information Security and Privacy

特任准教授

ネットワーク最適化

Network Optimizations

特任准教授

4810-1188

計算科学における情報圧縮

Information Compression in Computational Science

4810-1189

4810-1162〇 E 4810-1166

E 4810-1168
4810-1169〇 E 4810-1170〇〇4810-1178〇 E 4810-1183

E 4810-1184〇 E 4810-1185

特任准教授

S1S2

1
1

講師(非)

小野寺 民也

S1S224810-1185
0510058(理学部情報科学科)

0510062(理学部情報科学科)

2Suppakitpaisarn
Vorapong
Suppakitpaisarn
Vorapong
Suppakitpaisarn
Vorapong

S1S2

2

A1A2

20510063(理学部情報科学科)

A1A2

20510058(理学部情報科学科)
4810-1165

235603-0116(理学系)
3752-092(工学系)
47100-81(新領域)35603-0126(理学系)
3752-094(工学系)
47100-98(新領域)
4810-1192

視覚情報処理応用

Advanced Computer Vision

教授（委）

佐藤 いまりA1A2

2〇 E 4810-1190

カスタムコンピューティング特論

Advanced Custom Computing准教授

高前田 伸也

A1A2

2〇 E 4810-1191

リモートセンシング画像解析

Remote Sensing Image Analysis

准教授（兼）

横矢 直人

A1A2

247130-61(新領域)35603-0116(理学系)
3752-092(工学系)
47100-81(新領域)35603-0126(理学系)
3752-094(工学系)
47100-98(新領域)
4810-1188〇〇4810-1192

計算科学・量子計算における情報圧縮

Data Compression in Computational Science andQuantum Computing

講師(非)
講師(非)

大久保 毅
藤堂 眞治

A1A2

2〇4810-1193

自然言語処理応用

Applied Natural Language Processing

准教授

谷中 瞳

A1A2

2〇

4810-1194

多体問題の計算科学

Computational Science for Many-Body Problems

講師(非)
講師(非)

大久保 毅
山地 洋平

S1S2

235603-0117(理学系)
3752-091(工学系)
47100-80(新領域)

4810-1195「量子現象・量子論入門」初学者のための量子論

Introduction to Quantum Theory --- A lecture forbeginners講師(非)

清水 明

S1S2

20510098(理学部情報科学科)

4810-1196

グラフ構造とグラフアルゴリズム

Graph Algorithms and Graph Structures

教授

河原林 健一A1A22〇

備考2

修士課程：本学情報科学科出身者以外は原則履修

単位 単位 単位
重複履修不可科目※(講義) (演習) (実験)

科目番号

授業科目

英文科目名

担当教員氏名

ターム〇

4810-1197

AI ソフトウェアの信頼性保証特論

Trustworthiness Assurance for Data-Driven AI Software
准教授
Systems

馬 雷

A1A2

2〇4810-1177

職名

研究倫理

Information Science and Technology Ethics

教授（兼）五十嵐 健夫通年

0.50510801(理学部情報科学科)〇 E 4810-1215

計算科学アライアンス特別講義ISpecial Lecture on Computational Science I

教授（兼）

中島 研吾

S1S2

24820-1027(数理情報学専攻)
3747-110(工学系)
4810-1204〇 E 4810-1216

計算科学アライアンス特別講義IISpecial Lecture on Computational Science II

教授（兼）

中島 研吾

A1A2

24820-1028(数理情報学専攻)
4810-1205

4810-1217

計算科学アライアンス特別講義ⅢSpecial Lecture on Computational Science III

24810-1218

計算科学アライアンス特別講義ⅣSpecial Lecture on Computational Science IV

24810-1219

計算科学アライアンス特別講義ⅤSpecial Lecture on Computational Science V

14810-1220

計算科学アライアンス特別講義ⅥSpecial Lecture on Computational Science VI

14810-1221

計算科学アライアンス特別演習Ⅰ

Practice on Computational Science I

4810-1222

計算科学アライアンス特別演習ⅡPractice on Computational Science II

E 4810-1204

コンピュータ科学特別講義ISpecial Lecture on Computer Science I

E 4810-1205

コンピュータ科学特別講義IISpecial Lecture on Computer Science II

1
1

客員教授

24820-1027(数理情報学専攻)
3747-110(工学系)
4810-1215

24820-1028(数理情報学専攻)
4810-1216
0510059(理学部情報科学科)

A1A2

2

講師（非）

CODOGNET
PhilippeRichoux Florian

講師(非)

枝廣 正人

S1S2

2

〇 E 4810-1206

コンピュータ科学特別講義III

Special Lecture on Computer Science III

4810-1207

コンピュータ科学特別講義IVSpecial Lecture on Computer Science IV

E 4810-1208

コンピュータ科学特別講義VSpecial Lecture on Computer Science V

E 4810-1210

コンピュータ科学特別講義VI

Special Lecture on Computer Science VI

E 4810-1211

コンピュータ科学特別講義VII

Special Lecture on Computer Science VII

4810-1212

コンピュータ科学特別講義VIIISpecial Lecture on Computer Science VIII

〇4810-1213

コンピュータ科学プロジェクト研究ⅠComputer Science Project Reseach I

各教員

S1S2

34810-2006,4810-2007,4810-3001,4810-3002,4810-2003,4810-2004,4810-2005,4810-3003,4810-3004,4810-3005〇4810-1214

コンピュータ科学プロジェクト研究Ⅱ

Computer Science Project Reseach II

各教員

A1A2

3

4810-2006,4810-2007,4810-3001,4810-3002,4810-2003,4810-2004,4810-2005,4810-3003,4810-3004,4810-3005〇4810-2006

コンピュータ科学修士輪講I

Computer Science Seminar (Master's Program) I

各教員

通年

1〇

4810-2007

コンピュータ科学修士輪講II

Computer Science Seminar (Master's Program) II

各教員

通年

1〇4810-3001

コンピュータ科学修士特別研究I

各教員

通年

〇4810-3002

コンピュータ科学修士特別研究II

Research Project on Computer Science (Master'sProgram) IResearch Project on Computer Science (Master'sProgram) II

各教員

通年

〇4810-2003

コンピュータ科学博士輪講I

Computer Science Seminar (Doctoral Program) I

各教員

通年

24810-1213
4810-1214〇4810-2004

コンピュータ科学博士輪講II

Computer Science Seminar (Doctoral Program) II

各教員

通年

24810-1213
4810-1214〇4810-2005

コンピュータ科学博士輪講III

Computer Science Seminar (Doctoral Program) III

各教員

通年

2〇4810-3003

コンピュータ科学博士特別研究I

各教員

通年

44810-1213
4810-1214〇4810-3004

コンピュータ科学博士特別研究II

各教員

通年

44810-1213
4810-1214〇4810-3005

コンピュータ科学博士特別研究III

Research Project on Computer Science (DoctoralProgram) I
Research Project on Computer Science (DoctoralProgram) II
Research Project on Computer Science (DoctoralProgram) III

各教員

通年

4

4810-1213
4810-1214

〇

2
1
特任准教授

Suppakitpaisarn
Vorapong

S1S20510066(理学部)11

１．修士課程においては、他学部・他研究科の語学の単位を修了単位に含める場合には、指導教員の許可を得た上で2単位を上限とする。
２．博士課程においては、語学の単位を修了単位に含めることはできない。

4810-1213
4810-1214
4810-1213
4810-1214

64810-1213
4810-1214

64810-1213
4810-1214

4810-1213
4810-1214

備考