情報科学研究科 平成13年度 授業科目一覧および履修要件
専攻科目
科目名 主な内容 開講学期
情報理論Ｉ 情報源符号化、復号化、帯域圧縮、 １
画像圧縮
情報理論ＩＩ 符号理論・暗号理論の基礎 ２
情報理論ＩＩＩ 符号理論・暗号理論の応用 ３
計算理論Ｉ 形式言語理論、計算可能性、計算量理論 １
計算理論ＩＩ 並列・分散アルゴリズム ２
論理設計学Ｉ 論理設計、設計検証 ２
論理設計学ＩＩ 高信頼性設計論、テスト、 ３
フォールトトレランス
ソフトウェア基礎論 ソフトウェア基礎理論、データベース理論 ２
ソフトウェア構成論 形式意味論、ソフトウェア開発方法論 ４
計測情報処理Ｉ ディジタル信号処理、センサ情報処理 １
計測情報処理ＩＩ 画像計測、画像処理 ３
音情報処理論Ｉ 音声情報処理の基礎 ２
音情報処理論ＩＩ 音声情報処理の応用 ４
人工知能基礎論 命題論理、述語論理、 １
論理プログラミング
人工知能論Ｉ 推論、機械学習 ２
人工知能論ＩＩ 探索、制約充足、知識表現 ３
計算言語学 自然言語構文論・意味論、 ４
自然言語処理システム
ソフトウェアシステム論Ｉ プログラミング言語、言語処理系 ２
ソフトウェアシステム論ＩＩ 並列／分散ＯＳ ４
ソフトウェア工学Ｉ ソフトウェア設計論 ２
ソフトウェア工学ＩＩ 計量ソフトウェア工学 ４
データ工学Ｉ データベースシステムの概念、実現技法 ２
データ工学ＩＩ データベースシステムの応用 ３
計算機構成論 並列マシン ３
情報ネットワーク論Ｉ コンピュータネットワーク １
情報ネットワーク論ＩＩ インターネット ３
情報通信システム論 情報通信、マルチメディア通信 ４
モバイルコミュニケーション
システム工学Ｉ システムモデリングと性能評価 ２
システム工学ＩＩ トラヒックモデリング ４
システム制御Ｉ 線形システム解析、フィードバック制御、 １
アドバンスト制御
システム制御ＩＩ システム同定、ディジタル制御、知的制御 ３
画像情報処理論 画像情報処理 ３
ロボティクス ロボットシステム、マンマシンシステム ３
人間情報論 人間情報処理、医療情報メディア ４
ヒューマンインタフェース論 利用者インタフェイスの人間的側面 ３
技術的側面／設計法／評価法、仮想現実
共通専門科目
科目名 主な内容 開講学期
プロジェクト実習Ｉ，ＩＩＩ 学内／学外での実習 ２又は４又は集中
プロジェクト実習ＩＩ，ＩＶ 学内／学外での実習 平成13年度は開講しない
先端情報科学特論Ｉ，ＩＩＩ 情報科学の先端トピック １叉は２叉は集中
先端情報科学特論ＩＩ，ＩＶ 情報科学の先端トピック 平成13年度は開講しない
ゼミナールＩ ２
ゼミナールＩＩ ２ ４
研究論文
課題研究
基礎科目
科目名 主な内容 開講学期
アルゴリズム概論 アルゴリズムとデータ構造、 １
プログラミング手法
計算機構造概論 論理設計基礎、計算機デバイス、 １
計算機アーキテクチャ基礎
システムプログラム概論 コンパイラ、ＯＳ、データベース基礎 １
一般科目
科目名 主な内容 開講学期
基礎数学Ｉ 線形代数（行列、固有値、線形計算） １
解析基礎（微分、積分）
基礎数学ＩＩ 微分方程式、ラプラス変換、フーリエ解析 ２
数理科学概論Ｉ 確率と統計 ３
（確率論、確率過程、数理統計学）
数理科学概論ＩＩ 応用代数学 ４
（群、環、体、グラフ理論、組合せ論）
英語コミュニケーション法Ｉ 英語討論能力、論文等作成能力（中級） 集中（9月下旬予定）
英語コミュニケーション法ＩＩ英語討論能力、論文等作成能力（上級） 集中（9月下旬予定）
英語プレゼンテーション法Ｉ 英語発表能力 ２
英語プレゼンテーション法ＩＩ英語発表能力 ４
英語ライティング法Ｉ 英語論文作成能力 １
英語ライティング法ＩＩ 英語論文作成能力 ３
学際領域特論Ａ 情報考古学 １
学際領域特論Ｂ 科学の哲学 １
学際領域特論Ｃ 技術と経営 集中
学際領域特論Ｄ 知的所有権 集中
学際領域特論Ｅ 標準化 集中
学際領域特論Ｆ 本年度不開講
情報倫理
注）学際領域特論Ｃ，Ｄ，Ｅ，Ｆは集中講義です。開講学期、開講日は別途連絡します。
前期課程修了のためには, 以下を履修することが必要です.
- 「研究論文」, 「課題研究」のどちらか一方.
- 「基礎科目」, 「共通科目」から６単位.
- 「ゼミナール」.
カリキュラムに戻る
情報科学研究科 広報 WG
is-publicity@is.aist-nara.ac.jp
Last Update: $Date: 2000/03/17 $