| 科目名 | 科目番号 | 担当教員 |
|---|---|---|
| フレッシュマンセミナー Freshman Seminar | 1118102,1118202,1118302,1118402 | 高橋大介,佐久間淳,水谷哲也,山口佳樹 |
| 線形代数I Linear Algebra I | GB10114,GB10124 | 1,2クラス:建部修見, 3.4クラス:佐久間淳 |
| 線形代数II Linear Algebra II | GB10214,GB10224 | 1,2クラス:福井和広, 3,4クラス:山田武志 |
| 解析学I Analysis I | GB10314,GB10324 | 1,2クラス:古川宏,3.4クラス:高橋大介 |
| 解析学II Analysis II | GB10414,GB10424 | 1,2クラス:李頡, 3,4クラス:多田野寛人 |
| 解析学III Analysis III | GB10504 | 片岸一起 |
| コンピュータリテラシ/コンピュータリテラシ実習 Computer Literacy/Computer Literacy Exercise | GB10611,GB10621,GB10623,GB10633 | 田中二郎, 新城靖 |
| プログラミング入門I Introduction to Programming I | GB10714,GB10724 | 1,2クラス:前田敦司, 3,4クラス:加藤和彦 |
| プログラミング入門II Introduction to Programming II | GB10734,GB10744 | 1,2クラス:高橋大介, 3,4クラス:佐藤三久 |
| 情報科学基礎実験 Information Science Laboratory | GB10754 | 山口喜教,櫻井鉄也,追川修一,杉木章義 |
| 論理回路 Introduction to Logic Circuit | GB10804 | 朴泰祐, 児玉祐悦 |
| 離散構造 Discrete Structures | GB10914,GB10924 | 1,2クラス: 亀山幸義, 3,4クラス: 長谷部浩二 |
| ソフトウェアサイエンス概論Ｉ Introduction to Software and Computing Science I | GB11001 | 亀山幸義, 大矢晃久, 北川高嗣, 櫻井鉄也 |
| ソフトウェアサイエンス概論II Introduction to Software and Computing Science II | GB11011 | 大矢,徳永,亀山(幸),南出,水谷,北川(高),櫻井,田中 |
| 情報システム概論I Introduction to Computer Systems I | GB11101 | 西川博昭,冨安洋史,川島英之 |
| 情報システム概論II Introduction to Computer Systems II | GB11111 | 朴,佐藤（三）,山口（喜）,安永,庄野,加藤,北川（博）,西川,李 |
| 知能情報メディア概論I Introduction to Machine Intelligence and Media Technologies I | GB11201 | 福井(和),三谷,佐久間,滝沢,古川,山田 |
| 知能情報メディア概論II Introduction to Machine Intelligence and Media Technologies II | GB11211 | 岡本栄司 他 |
| 力学 Dynamics | GB11214,GB11304 | 大矢晃久,滝沢穂高 |
| 電磁気学 Electromagnetics | GB11404 | 安永守利，山口佳樹 |
| シミュレーション物理 Computer Simulation Methods in Physics | GB11514 | 狩野均 |
| 確率論 Probability Theory | GB11601 | 稲垣敏之 |
| 複素関数論 Complex Analysis | GB11701 | 北川高嗣 |
| 情報数学 Mathematics for Computer Science | GB11807 | 細野千春，水谷哲也 |
| データ構造とアルゴリズム Data Structures and Algorithms | GB11911,GB11921 | 1,2クラス:北川博之,天笠俊之 3,4クラス:追川修一,南出靖彦 |
| データ構造とアルゴリズム実験 Data Structures and Algorithms Laboratory | GB11916,GB11926 | 1,2クラス:天笠俊之, 3,4クラス:南出靖彦 |
| 論理回路実験 Logic Circuit Laboratory | GB12016,GB12126 | 和田耕一,庄野和宏,秡川友宏,冨安洋史 |
| 電気回路 Electric Circuits and Systems | GB12201 | 庄野和宏 |
| 数値計算法 Introduction to Numerical Analysis | GB12301 | 櫻井鉄也 |
| システム制御概論 Introduction to System Control | GB12401 | 大矢晃久 |
| 情報理論 Information Theory | GB12501 | 伊藤誠 |
| 論理と形式化 Introduction to the First-order Logic and Formalism | GB12601 | 細野千春,水谷哲也 |
| 機械語序論 Introduction to Machine Language | GB12701 | 朴泰祐, 多田野寛人 |
| 論理システム Logic System | GB12801 | 山口喜教 |
| ソフトウェア技法 Art of Programming | GB12901 | 南出靖彦 |
| ソフトウェア構成論 Software Construction | GB13001 | 加藤和彦，前田敦司 |
| 論理システム実験 Logic System Laboratory | GB13106 | 山口佳樹,朴泰祐,和田耕一 |
| 技術英語I English in Technologies I | GB13212 | 時國滋夫,狩野均 |
| 技術英語II English in Technologies II | GB13222 | 天笠俊之 |
| 情報特別演習I,II Special Exercise in Information Science I,II | GB13312,GB13322 | 水谷哲也，冨安洋史，古川宏，他 |
| Mathematics for Computer Science Mathematics for Computer Science | GB13604 | James B. Cole |
| コンピュータグラフィックス基礎 Computer Graphics | GB13704 | 福井幸男,三谷純 |
| ソフトウェア品質保証 Quality Assurance and Control for Software Engineering | GB13804 | |
| インターンシップI, II Internship I, II | GB13903,GB13913 | 情報科学類インターンシップ推進委員会 |
| 実践型システム開発演習 Exercise in Practical System Development | GB14006 | (I)菊池純男,駒谷昇一 (II)非常勤講師 |
| 実践型システム企画演習I Exercise in Practical System Planning I | GB14102 | 中沢研也,山戸昭三ほか |
| 情報技術の最新動向 Recent Advance of Information Technology | GB14502 | 山戸昭三,牧野司,上田理 |
| 専門語学I,II,III English for Specialized Subjects I,II,III | GB19011,GB19021,GB19031 | 全教員 |
| 卒業研究I,II,III Graduation Studies I, II, III | GB19918,GB19928,GB19938 | 全教員 |
| 科目名 | 科目番号 | 担当教員 |
|---|---|---|
| プログラム言語論 Programming Languages and Methodology | GB20101 | 亀山幸義 |
| 数理アルゴリズム Computational Algorithms | GB20201 | 櫻井鉄也 |
| 人工知能 Artificial Intelligence | GB20301 | 大矢晃久,水谷哲也 |
| プログラム理論 Program Theory | GB21101 | 水谷哲也,細野千春 |
| 宣言型プログラム論 Declarative Programming | GB21204 | 南出靖彦 |
| エージェントシステム Agent System | GB21301 | 山本順人 |
| 計算論理 Computational Logic | GB21404 | 亀山幸義 |
| 計算モデル論 Models of Computation | GB21504 | 井田哲雄 |
| オートマトンと形式言語 Formal Language and Automata Theory | GB21601 | 南出靖彦 |
| システム検証論 System Verification | GB21701 | 細野千春, 亀山幸義 |
| ソフトウェアサイエンスセミナー Information Science Seminar | GB21802 | 山本順人, 細野千春 |
| 情報確率過程 Stochastic Processes in Information Systems | GB21901 | 平山哲治 |
| システム数理 Mathematical Systems Theory | GB22001,GC50101 | 久野誉人, 河辺徹 |
| 数理メディア情報学 Mathematical Media Informatics | GB22101 | 北川高嗣 |
| 数値シミュレーション Numerical Simulation | GB22201 | コール･ジェームズ |
| インタラクティブCG Interactive Computer Graphics | GB22401 | 蔡東生 |
| 情報線形代数 Information Linear Algebra | GB22501 | 徳永隆治 |
| ソフトウェアサイエンス実験I,II,III Software Science Laboratory I,II,III | GB26103,GB26203,GB26303 | 南出 他 |
| 科目名 | 科目番号 | 担当教員 |
|---|---|---|
| コンピュータネットワーク Computer Networks | GB30101 | 山口喜教，佐藤聡 |
| 計算機アーキテクチャ Computer Architecture | GB30201 | 板野肯三,和田耕一 |
| データベース概論I Database Systems I | GB30301 | 北川博之 |
| オペレーティングシステムI Operating System I | GB30401 | 加藤和彦，品川高廣 |
| 並列処理アーキテクチャ Parallel Processing Architecture | GB31101 | 西川博昭,冨安洋史 |
| VLSI工学 VLSI Engineering | GB31201 | 安永守利,山口佳樹 |
| プログラム言語処理 Compiler Construction | GB31301 | 佐藤三久 |
| システムプログラム System Program | GB31401 | 新城靖,追川修一 |
| ソフトウェア工学 Software Engineering | GB31501 | 前田敦司 |
| データベース概論II Database Systems II | GB31601 | 天笠俊之，川島英之 |
| 情報検索概論 Information Retrieval | GB31701 | 北川博之 |
| オペレーティングシステムII Operating Systems II | GB31801 | 新城靖 |
| 分散システム Distributed Systems | GB31901 | 佐藤三久, 建部修見 |
| システム評価技法 Evaluation and Measurement Techniques for Computer and Communica | GB32001 | 李頡 |
| 光通信工学 Optical Communication | GB32101 | 吉澤明男 |
| 電子回路 Electronic Circuits | GB32201 | 庄野和宏 |
| 情報システム実験I,II,III Computer Systems Laboratory I,II,III | GB36103,GB36203,GB36303 | 川島英之,他 |
| 科目名 | 科目番号 | 担当教員 |
|---|---|---|
| 信号処理概論 Introduction to Signal Processing | GB40101 | 亀山啓輔 |
| パターン認識 Pattern Recognition | GB40201 | 平井有三 |
| ヒューマンインタフェース Human Computer Interaction | GB40301 | 田中二郎,三末和男 |
| 認知科学概論 Introductory Course in Cognitive Science | GB41101 | 古川宏 |
| 統計学 Statistics | GB41204 | 稲垣敏之, 伊藤誠 |
| 信号解析 Signal Analysis | GB41301 | 寅市和男 |
| ディジタル信号処理 Digital Signal Processing | GB41401 | 牧野昭二 |
| 音声聴覚情報処理 Speech and Auditory Information Processing | GB41501 | 山田武志 |
| 自然言語処理 Natural Language Processing | GB41601 | 山本幹雄, 乾孝司 |
| 生体情報科学概論 Introduction to vision and brain | GB41701 | 酒井宏 |
| 確率的知識処理 Uncertain Knowledge and Reasoning | GB41801 | 稲垣敏之 |
| 知識処理概論 Knowledge Processing II | GB41901 | 狩野均 |
| メディア通信工学 Multimedia Communications Engineering | GB42001 | 北脇信彦 |
| 情報セキュリティ Information Security | GB42101 | 岡本栄司 |
| 画像メディア工学 Image Media Engineering | GB42201 | 滝沢穂高 |
| 画像認識工学 Image Recognition Engineering | GB42301 | 福井和広 |
| 機械学習 Machine Learning | GB42404 | 佐久間淳 |
| 知能情報メディア実験I,II,III Machine Intelligence and Media Technologies Laboratory I,II,III | GB46103,GB46203,GB46303 | 山田武志 他 |