情報科学研究科 (Information Science)

　

導入講義　Introductory Lectures

• I１１１［アルゴリズムとデータ構造］（Algorithms and Data Structures）
• I１１２［計算機システム］（Computer Systems）
• I１１３［オートマトンと形式言語］（Automata and Formal Languages）
• I１１４［基礎情報数学］（Fundamental Mathematics for Information Science）
• I１１５［デジタル論理と計算機構成］（Digital Logic and Computer Design）
• I１１６［プログラミング演習�T］（Programming Laboratory I）
• I１１７［プログラミング演習�U］（Programming Laboratory II） 　

  基幹講義　Basic Lectures

• I２１１［数理論理学］（Mathematical Logic）
• I２１２［情報解析学特論］（Analysis for Information Science）
• I２１３［線形システム特論］（Linear Systems）
• I２１４［システム最適化］（Optimization）
• I２１５［人工知能特論］(Artificial Intelligence）
• I２１６［離散数学］(Discrete Mathematics）
• I２１７［プログラミング方法論］(Programming Methodology）
• I２１８［計算機アーキテクチャ特論］ (Computer Architecture）
• I２１９［ソフトウエア設計論］ (Software Design Methodology）
• I２２２［計算の理論］ (Theory of Computation）
• I２２３［自然言語処理論I］ (Natural Language Processing I）
• I２２４［システムソフトウエア特論］ (Advanced System Software）
• I２２５［確率過程論］（Stochastic Processes）
• I２２６［コンピュータネットワーク特論］（Computer Networks）
• I２２７［データベース論］（Foundation of Database Systems）

  専門講義　Intermediate Lectures

• I４１１［認識処理工学特論］ (Pattern Analysis and Recognition）
• I４１３［理論計算機科学］（Theoretical Computer Science）
• I４１４［自然言語処理論II］（Natural Language Processing II）
• I４１６［並列処理］（Parallel Processing）
• I４１９［画像情報処理特論］（Image Information Science and Human Communications）
• I４２２［高機能アーキテクチャ］（Advanced Computer Architecture）
• I４２４［応用数理特論］（Advanced Applied Mathematics）
• I４２５［ソフトウエア環境特論］（Foundations of Software Environment）
• I４２６［オペレーティングシステム特論］（Advanced Operating Systems）
• I４２７［制御理論］（Theory of Control Systems）
• I４２８［ネットワークソフトウェア特論］（Advanced Network Software）
• I４２９［知的エージェント技術］（Intelligent Agents）
• I４３０［データベース特論］（Advanced Topics in Database Systems）
• I４３１［アルゴリズム論］（Theory of Algorithms）
• I４３２［離散状態システムの理論］（Theory of Discrete-State Systems）
• I４３３［数値解析］（Numerical Computing）
• I４３４［言語理論特論］（Linguistic Theories）
• I４３５［ソフトウェアアーキテクチャ論］（Software Architecture）
• I４５０［ネットワーク設計演習］（Network Design）
• I４５１［ソフトウェア設計演習］（Software Design Laboratory）
• I４５２［システムプログラミング演習］（System Programming Laboratory）

  先端講義　Advanced Lectures and Seminars

• I６１３［フォーマルメソッド］（Formal Methods）
• I６１５［ロボティックス］（Robotics）
• I６１６［人間情報処理学特論］（Human Information Processing）
• I６１７［計算機科学特論�T］（Advanced Computer Science I）
• I６１８［計算機科学特論�U］（Advanced Computer Science II）
• I６２０［集積回路特論］（Foundation of VLSI Design）
• I６３１［計算幾何学特論］（Foundation of Computational Geometry）
• I６３２［音声情報処理特論］（Speech Signal Processing）
• I６３３［論理と自然言語］（Logic And Language）
• I６３４［高速コンピュータネットワーク］（High Performance Computer Networks）
• I６３５［並列・分散システムアーキテクチャ特論］（Parallel and Distributed System Architecture）
• I６３６［分散システム検証論］（Specification and Verication of Highly Reliable Sytems）
• I６３７［高信頼ソフトウェア設計］（Reliable Software Design）
• Ｉ６３８［新音楽再生電気音響理論］（Electric Sound Engineering for Music Player and Sound Sommelier）
• Ｉ６３９［Distributed Algorithms］（Distributed Algorithms）
• Ｉ６４０［ソフトウェアモデル検査］（Software Model Checking）
• Ｉ６４１［組み込みソフトウェア工学］（Embedded Software Engineering）