計算工学専攻 (2000 年度)
計算機アーキテクチャ特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
プログラム理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
知識工学 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
フォールトトレラントシステム論 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
並行システム論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ソフトウェア設計論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
人工知能特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
マルチメディア情報処理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
オペレーティングシステム特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
空間情報論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
自然言語処理特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
パターン情報処理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
計算環境論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ソフトウェア論理学 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
機械学習 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
コンピュータグラフィックス . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
符号理論特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
推論機構特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
計算言語学 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ソフトウェア工学特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ヒューマンインタフェース . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
情報認識特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
音声情報処理特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
自律分散システム . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
並列データ工学特論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
理論言語学 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
情報セキュリティ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

講

義

名

計算機アーキテクチャ特論

開講学期

後学期

担当教官

前島英雄 教授(Advanced Computer Architectures)
単位数

G2 棟 7 階 716 号室

2-0-0

内線： 5597（長津田）【講義の目的】パソコン，ワークステーション，携帯情報機器など計算機のダウンサイジング，パーソナル化に大きな役割を果たしているマイクロプロセッサについて，その動向，技術を実際の商用のマイクロプロセッサを例に挙げながら講義を行う．また，簡単な演習を実施することでマイクロプロセッサ設計を習得する．
【知識ユニット】
ＭＰＵアーキテクチャ，ＬＳＩ設計，コンパイラ設計，市販ＭＰＵアーキテクチャ，ＭＰＵ
設計演習【関連科目・履修の条件等】←− 計算機アーキテクチャ（学部）−→ フォールトトレラントシステム論，オペレーティングシステム特論
参考書 : コンピュータの構成と設計（上）（下），パターソン＆ヘネシー 著，日経ＢＰ社，
1999【講義計画】

1. マイクロプロセッサ動向
2. アーキテクチャ概要：ＣＩＳＣとＲＩＳＣ
3. プロセッサ構成
4. 高速論理方式：スーパスカラ／スーパパイプライン
5. 記憶階層方式
6. 高速論理回路
7. コンパイラの基本
8. マイクロプロセッサの実際（１）：ＣＩＳＣ
9. マイクロプロセッサの実際（２）：ＣＩＳＣ
10. マイクロプロセッサの実際（３）：ＲＩＳＣ
11. マイクロプロセッサの実際（４）：ＲＩＳＣ
12. ＭＰＵ設計演習１
13. ＭＰＵ設計演習２
14. ＭＰＵ設計演習３
15. まとめ【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

1

講

義

名

プログラム理論(Mathematical Theory of Programs)

開講学期

前学期（奇数年開講）

担当教官

米崎直樹 教授

単位数

南 3 棟 3 階 311 号室

2-0-0

内線： 3043【講義の目的】プログラミング言語の様々な意味定義手法について学び，プログラミング言語の形式的な取り扱いやプログラムの検証などを習得する．
【知識ユニット】
操作的意味論，表示的意味論，公理的意味論，プログラムの検証，ドメイン理論，属性文法【関連科目・履修の条件等】←− 計算基礎論（学部）−→ ソフトウェア論理学，並行システム論
参考書 : The Formal Semantics of Programming Languages
Press，1993【講義計画】

1. プログラムの意味論とは
2. 基本概念
3. 操作的意味論（式の評価，コマンドの実行）
4. 種々の帰納的定義と帰納法原理
5. 操作的意味論における証明
6. 表示的意味論（１）7. 表示的意味論（２）8. 公理的意味論（１）9. 公理的意味論（２）10. Hoare 規則の健全性と完全性
11. プログラムの検証
12. ドメイン理論（１）13. ドメイン理論（２）14. 属性文法（１）15. 属性文法（２）【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

2

Glynn and Winskel 著，MIT

講

義

名

知識工学

(Knowledge Engineering)

開講学期

前学期（奇数年開講）

単位数

担当教官

徳永健伸 助教授 南 3 棟 8 階 821 号室

2-0-0

内線： 2685【講義の目的】コンピュータを用いた知識の利用方法としては大きく分けていかの 2 つのアプローチが考えられる．ひとつは知識をコンピュータが扱える形式に変換し，コンピュータに推論させることによって利用するアプローチである．知識ベースの構築技術やエキスパートシステムがこのアプローチに関係する．一方，知識を人間が理解できる形式のままで蓄積し，人間が必要とする知識を効率よく検索するためにコンピュータを利用するアプローチも考えられる．いわゆる情報検索と呼ばれる技術がこれにあたる．本講義では，後者のアプローチを中心に，両者を対比させながら，コンピュータで知識を扱うことの諸問題について論じる．
【知識ユニット】
知識の表現と推論，エキスパートシステム，情報システム，情報検索技術【関連科目・履修の条件等】←− 人工知能基礎論（学部）
参考書 : 1. 知識工学講座 (1)–(5)，オーム社，1986 ∼ 1987

2. Introduction to Modern Information Retrieval, G. Salton and M.J. McGill,
McGraw-Hill Book Co., 1983
3. Automatic Text Processing, G. Salton, Addison-Wesley Publishing Company,
1988.
【講義計画】

1. 知識工学へのアプローチ
2. 知識表現（述語論理，意味ネットワーク，フレーム）
3. エキスパートシステム
4. 情報検索とは？
5. 検索技術（自動索引付け，ランキングモデル）
6. 情報検索への人工知能的アプローチ
7. 情報検索への認知的アプローチ
8. 演習【成績評価】
期末試験により評価する．
【担当教官からの一言】
特になし

3

講

義

名

フォールトトレラントシステム論(Fault Tolerant Systems)

開講学期

後学期

単位数

担当教官

米田友洋 助教授 南 3 棟 3 階 318 号室

2-0-0

内線： 2687【講義の目的】システムの故障が及ぼす影響を阻止し，高い信頼性を持つフォールトトレラントシステムを実現するために，システム構成と回復，誤り検出，セルフチェッキング，テスト生成，検証等の技術について詳論する．
【知識ユニット】
多重化による耐故障設計，システム再構成，回復技術，分散システムのフォールトトレラン
ス，セルフチェッキング，自動テスト生成，故障シミュレーション，テスト容易化設計，形式的設計検証【関連科目・履修の条件等】←− 計算機アーキテクチャ特論
参考書 : 1. フォールトトレラントシステムの構成と設計
著，槇書店，1991

2. フォールトトレラントコンピュータ

当麻 喜弘，南谷 崇，藤原 秀雄

南谷 崇 著，オーム社，1991

3. Fault-Tolerant Computing, Theory and Techniques Vol. I, II
編，Prentice Hall，1986【講義計画】

1. フォールト・誤り・障害，フォールトトレランスのレベル
2. 多重化による耐故障設計
3. システム再構成，回復技術
4. 分散システムのフォールトトレランス
5. 誤り検出符号
6. セルフチェッキング論理回路
7. セルフチェッキングチェッカの構成
8. テスト生成：Ｄアルゴリズム
9. テスト生成：PODEM，その他
10. 故障シミュレーション
11. テスト容易化設計：テスタビリティ
12. テスト容易化設計：スキャン設計
13. 形式的設計検証導入，時相論理
14. 検証アルゴリズム
15. 検証の効率化【成績評価】
レポートおよび期末試験により評価する．
【担当教官からの一言】
特になし

4

D.K. Pradhan

講

義

名

並行システム論

開講学期

前学期

担当教官

米崎直樹 教授(Concurrent System Theory)
単位数
南 3 棟 3 階 311 号室

2-0-0

内線： 3043【講義の目的】並行処理を記述するための概念と形式化の手法を，代数的な立場と論理的な立場から学ぶことを目的とする．さらに，そのような形式化を用いて，並行システムの検証や設計を行なう方法についても学ぶ．
【知識ユニット】
並行プロセス，代数的モデル，軌跡，観測等価，双模倣，CSP，CCS，動的論理，時相論理【関連科目・履修の条件等】←− プログラム理論−→ 計算機環境論，非同期システム論
参考書 : 1. Handbook of Theoretical Computer Science (Vol. B): Formal Models andSemantics (Chapter 19) J. Van Leeuwen 編，Elsevier Science Pub. B.V.,
1990

2. Communicating Sequential Processes, C.A.R. Hoare 著，Prentice-Hall，1985
3. Communication and Concurrency, A.J.R.G. Milner 著，Prentice-Hall 1989
4. Process Algebra, Tracts in Theoretical Computer Science 18
W.P. Weijland 著，Cambridge University Press，1990【講義計画】

1. プロセス，イベント，繰り返しと再帰
2. プロセスの軌跡
3. 軌跡に関する演算
4. 並行性5. 例とデッドロックに関する証明
6. 決定性，インターリービング
7. 動作と観測
8. CCS によるプロセスの表現
9. 双模倣と等価性
10. 等価性判定のための完全な公理系
11. プロセス論理
12. 動的論理
13. 時相論理による形式化【成績評価】
小レポート（約 7 回）と期末テストにより評価する．
【担当教官からの一言】
特になし

5

J.C.M. Baeten，

講

義

名

ソフトウェア設計論(Software Design Methodology)

開講学期

後学期

単位数

担当教官

鈴木正人 助教授 南 3 棟 3 階 308 号室

2-0-0

内線： 2810【講義の目的】
ソフトウェアの分析・設計方法論について、実習を通じて習得することを目的とする。
オブジェクト指向設計法 UML についてその手法、特徴などを理解し、実際に CASE ツールを利用した小規模な例題プログラムの分析/設計を行ない、各自がその結果を発表し、比較、議論する。
【知識ユニット】
オブジェクト指向設計方法論
ソフトウェアアーキテクチャ

UML USE-CASE 概念モデル 動的モデル
デザインパターン【関連科目・履修の条件等】←− プログラム理論−→ ソフトウェア工学特論
参考書 : 1. Applying UML and Patterns,

2. UML Toolkit,

Craig Larman 著、 Prentice Hall, 1998.
Penker Erikson 著、Wiley, 1997.

3. UML ガイドブック, Penker Erikson 著、杉本宣男他 訳、トッパン, 1998
【講義計画】

1. 序論 (ソフトウェア分析/設計/構築の意味づけ)
2. オブジェクト指向設計方法論
3. UML(Uniﬁed Modeling Language) 概論
4. UML 分析フェーズ (1) USE-CASE
5. UML 分析フェーズ (2) 概念モデル/クラス図
6. UML 分析フェーズ (3) 動的モデル/インタラクション図
7. 中間試験
8. 実習説明 (例題/ツール)
9. UML 設計フェーズ (1) アーキテクチャ
10. UML 設計フェーズ (2) コラボレーション図
11. UML 構築フェーズ (1) コードへの変換
12. UML 構築フェーズ (2) テスト
13. 実習結果の討論
14. 期末試験【成績評価】
レポート，期末試験により評価する．
【担当教官からの一言】
特になし

6

講

義

名

人工知能特論(Advanced Artiﬁcial Intelligence)

開講学期

前学期（偶数年開講）

単位数

担当教官

沼尾正行 助教授 南 3 棟 10 階 1023 号室

2-0-0

内線： 2684【講義の目的】
人工知能基礎で学んだ基盤技術について，最新の研究成果を詳細に検討する．推論機構特論，
ヒューマンインタフェース，機械学習の各講義への導入および認知科学などの関連する分野の紹介も行なう．
【知識ユニット】
人工知能における計算（知識表現と計算量），推論（非単調推論，仮説推論，不確実な推論，
メタ推論），信念，フレーム問題，環境，分散，並列，認知科学への導入【関連科目・履修の条件等】←− 人工知能基礎論（学部）−→ 推論機構特論，ヒューマンインタフェース，機械学習【教科書・参考書等】
教科書 : エージェントアプローチ 人工知能 (Artiﬁcial Intelligence — A Modern Approach)
S.J. Russell, P. Norvig 著，古川康一 監訳，共立出版，1997
参考書 : 人工知能大辞典 (Encyclopedia of Artiﬁcial Intelligence)
須賀節夫 監訳，丸善，1987

S.C. Shapiro 他編，大【講義計画】

1. 人工知能の基本テーゼ：計算主義，表象主義
2. 知識表現と計算量１：プロダクションシステム，RETE アルゴリズム
3. 知識表現と計算量２：フレーム
4. 非単調推論１：閉世界仮説，デフォルト推論
5. 非単調推論２：極小限定
6. 仮説推論，ＡＴＭＳ
7. 不確実な推論：確信度，ベイズ，ファジー
8. 信念の取り扱い
9. メタ推論
10. 状態と変化：フレーム問題
11. 環境との関係：状況内オートマタ，包摂アーキテクチャ
12. 分散，並列１：アクター，マルチエージェント
13. 分散，並列２：K-結線，心の社会
14. 認知科学：記憶，メンタルモデル，意識，感情
15. まとめと展望【成績評価】
中間レポート，期末レポートにより評価する．
【担当教官からの一言】「知能」とは何か，考えてみて下さい．

7

講

義

名

マルチメディア情報処理論(Multi-media Information Processing)

開講学期

前学期

単位数

担当教官

亀井宏行 助教授 南 5 棟 2 階 201 号室

2-0-0

内線： 3031【講義の目的】
画像音声情報の分析，圧縮のためのデジタル信号処理技法，画像音声認識のための特徴抽出，
パターンマッチング手法について学ぶ．
【知識ユニット】
適応量子化，DCT， 適応符合化，ベクトル量子化等の画像・音声の符合化技術，有声音，無声音，ピッチ，ホルマント等の音声信号の構造，スペクトラム，線形予測モデル，メル尺度，
マスキング，音声符合化技術，コンピュータビジョンの画像分析諸手法，画像，音声の知的符合化技術，Wavelet 変換，部分空間法による画像認識，隠れマルコフモデル，音声のＤＰ
マッチング，ステレオマッチング，動画の分析【関連科目・履修の条件等】←− 数値計算法（学部），情報認識（学部）−→ コンピュータグラフィクス
参考書 : 1. 信号・画像のディジタル処理，有本 卓 著，産業図書，1980

2. マルチメディア工学，中嶋 正之 編，昭晃堂，1994
3. Morphological Methods in Image and Signal Processing
E.R. Dougherty 著，Prentice Hall，1988

C.R. Giardina and【講義計画】
1. 音声信号の構造と人の音声知覚の特性
2. 音声の前処理：窓，相関行列，スペクトラム，ケプストラム
3. 音声合成モデル：声道モデル，格子型フィルタ，線形予測モデル
4. 画像の符合化技術：情報圧縮の原理，DCT，ファクシミリの情報圧縮
5. 音声の符合化技術：適応量子化，適応符合化，ベクトル量子化
6. 画像，音声の知的符合化
7. 多重解像度と Wavelet 変換
8. パターンマッチングと弛緩法
9. 部分空間法とその変形，判別分析
10. 音声の特徴抽出と心理的に妥当な近さの尺度
11. 音声のＤＰマッチング
12. マルコフモデルと隠れマルコフモデル
13. 画像の強調，二値化，エッジ抽出，線分抽出，ゼロクロッシング，プライマルスケッチ
14. 表面の認識とステレオマッチング（2 + 1/2D スケッチ）
15. 動画の分析：方向選択性，対応付け，オプティカルフロー【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

8

講

義

名

オペレーティングシステム特論(Advanced Operating Systems)

開講学期

前学期（奇数年開講）

単位数

担当教官

鈴木正人 助教授 南 3 棟 3 階 308 号室

2-0-0

内線： 2810【講義の目的】
分散オペレーティングシステムの設計・構築に必要な種々の概念やアルゴリズムを学ぶ．
【知識ユニット】
分散システムの基礎概念，分散システムのモデル化，分散 OS のためのアルゴリズム，ネッ
トワーク，プロセス間通信，セキュリティ【関連科目・履修の条件等】←− オペレーティングシステム（学部），計算機アーキテクチャ特論
参考書 : 1. Distributed Systems — Concepts and Design (2nd ed.)
Dollimore and T. Kindberg 著，Addison-Wesley, 1994

2. Distributed Systems (2nd ed.)Wesley, 1993

G. Coulouris, J.

S. Mullender 編，ACM Press/Addison-【講義計画】

1. ネットワークとインターネットワーキング（１）：概要とアプリケーション
2. ネットワークとインターネットワーキング（２）：プロトコルと実装
3. プロセス間通信と RPC：概念
4. 分散オペテーティングシステム（１）5. 分散オペテーティングシステム（２）：ケーススタディ
6. ファイルシステム
7. ネームサービス／セキュリティ
8. 分散システムのモデルと仕様（１）：仕様記述方式
9. 分散システムのモデルと仕様（２）：ケーススタディおよび演習
10. 時刻管理 (Time & Coordination)：並行性制御11. トランザクション（１）12. トランザクション（２）：分散トランザクション
13. 複製管理 (Replication)
14. 分散共有メモリ【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

9

講

義

名

空間情報論

(Theory of Pseudo Biorthogonal Bases)

開講学期

前学期（偶数年開講）

担当教官

小川英光 教授

単位数

南 3 棟 5 階 516 室

2-0-0

内線： 2190【講義の目的】信号，画像，パターン情報を統一的に取り扱うために開発された擬似双直交性理論を学ぶことにより，問題のとらえ方，数学的定式化の仕方，理論体系の構築の仕方等を身につける訓練をするとともに，理論体系の美しさを味わえる感性を磨く．
【知識ユニット】
擬似直交性理論，擬似双直交性理論，離散フーリエ変換，伝送系の高信頼化，処理系の高信
頼化，パターンの複雑さの評価，Wavelet，一般標本化定理，アナログ符号とＣＴ【関連科目・履修の条件等】←− 関数解析学（学部），情報認識（学部），信号画像処理（学部）←→ パターン情報処理，情報認識特論
参考書 : 小川講義ノート【講義計画】

1. 序論：概要説明，目的，応用
2. 数学的準備：Hilbert 空間，線形作用素，一般逆作用素，再生核
3. 擬似直交基底１：定義と特徴づけ
4. 擬似直交基底２：形式保存性，構成法
5. 離散フーリエ変換の意味づけ
6. 情報伝送系の高信頼化への応用
7. 情報処理系の高信頼化への応用
8. 擬似双直交基底１：定義と特徴づけ
9. 擬似双直交基底２：性質と構成法
10. Ｏ形擬似双直交基底１：定義と特徴づけ
11. Ｏ形擬似双直交基底２：性質と構成法，パターンの複雑さ評価への応用
12. 擬似双直交性理論とフレーム
13. Wavelet
14. 一般標本化定理
15. アナログ符号理論とＣＴ【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

10

講

義

名

自然言語処理特論

開講学期

前学期

担当教官

田中穂積 教授(Natural Language Processing)
単位数
南 3 棟 8 階 820 号室

2-0-0

内線： 3046【講義の目的】人間とコンピュータとの間の，使用言語の相違に基づくギャップを解消するために，自然言語をコンピュータで解析し，理解させる研究が重要になってきている．自然言語の解析手法について，形態素・統語解析・意味解析を中心に講義する．
【知識ユニット】
形態素解析（最長一致法，文節数最少法，字種区切り法），統語解析（ATN，Earley 法，CYK法，チャート法，富田法），意味解析（格フレーム，論理形式，概念依存理論，スクリプト）【関連科目・履修の条件等】←− 人工知能基礎論（学部），プログラミング言語第 2 (学部)−→ 計算言語学
参考書 : 1. 自然言語処理—基礎と応用—，田中穂積 (監修)，電子情報通信学会，1999．

2. Compilers, Principle, Techniques, and Tools, A.V. Aho, S. Ravis and J.D. Ullman 著，Addison Wesley, 1986.
3. Natural Language Understanding, J. Allen, The Benjamin/Cummings Publishing Co. Inc, 1995.
【講義計画】
1. はじめに
2. 統語解析— パーズアルゴリズム（トップダウン，ボトムアップ，アーリー法，チャート法，GLR 法）
3. 形態素解析— 接続表，ヒューリスティクス — 形態素解析と統語解析の融合（MSLR 法）
4. 非文法的な文の解析— メリッシュ法 — GLR*法 — 斉藤の方法
5. コーパスベースの自然言語処理— 確率言語モデル — 確率 CFG — 2 段階確率 CFG — 確率 GLR
6. 言語資源— 分かち書き，タグ付き，括弧付き，...
— ワードネット — EDR — 分類語彙表
7. 単一化文法— 素性構造 — 確定節文法（DCG）
8. 意味解析9. 自然言語応用システム【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
日本語文法，Prolog 言語の知識を前提として講義をおこなう．

11

講

義

名

パターン情報処理(Pattern Information Processing)

開講学期

後学期

単位数

担当教官

熊沢逸夫 助教授 南 3 棟 5 階 515 号室

2-0-0

内線： 2690【講義の目的】
本講義では，数値的情報、曖昧な情報、非記号的な情報、そして人間が無意識的に行なっている非論理的情報処理手続きを工学的に扱うための枠組としてニューラルネットワークの工学
モデルについて学ぶ。
【知識ユニット】
生体情報処理の特色，ニューラルネットワークの工学モデル, 集団による計算とその統計的解析法, 勾配法とニューラルネットワークの学習手法【関連科目・履修の条件等】←− 空間情報論
参考書 : 1. 学習とニューラルネットワーク

熊沢 逸夫 著，森北出版，1998

2. 神経回路システム — 基礎と応用 —小杉 幸夫 著，コロナ社，1995【講義計画】

1. 記号的，論理的情報処理の問題点
2. 生体の情報処理
3. 3 層フィードフォワードネットワークの計算能力
4. 学習の基礎: 勾配法
5. 誤差逆伝搬法
6. 演習/実習
7. 集団による計算:統計物理モデル
8. 非同期並列計算の統計的解析法
9. ボルツマンマシン
10. ボルツマンマシンの学習アルゴリズム
11. 演習/実習
12. 応用例の紹介 1:信号処理
13. 応用例の紹介 2:最適化問題
14. 応用例の紹介 3:画像処理
15. 演習/実習【成績評価】
期末試験により評価する．ただし，課題を予め与え，課題に対する調査結果を試験当日配布
する記入用紙に解答する形式をとる．
【担当教官からの一言】
特になし

12

講

義

名

計算環境論

(Computing Environments)

開講学期

後学期（英語講義）

担当教官

徳田雄洋 教授

単位数

南 3 棟 3 階 314 号室

2-0-0

内線： 3213【講義の目的】現代的な計算環境は，ネットワーク，オペレーティングシステム，データベース等の並行型システムや分散型システムによって支えられている．これらの並行型システムおよび分散型システムのための基本的アルゴリズムの設計原理を理解する．
【知識ユニット】
並行型アルゴリズム・分散型アルゴリズムの基礎概念，並行型アルゴリズム・分散型アルゴ
リズムの検証方法，排他制御問題，通信問題，協調問題【関連科目・履修の条件等】←− オペレーティングシステム（学部），並行システム論
参考書 : 1. Principles of Concurrent and Distributed Programming,
Prentice-Hall, 1990

2. Distributed Algorithms, N. A. Lynch, Morgan Kaufmann, 1996
【講義計画】

1. 基本概念：並行型システム，分散型システム
2. 並行型システム（１）：並行型排他制御法２種，一般化
3. 並行型システム（２）：並行型排他制御法２種の検証
4. 並行型システム（３）：上位と下位の並行型排他制御
5. 分散型システム（１）：分散型問題，通信モデル
6. 分散型システム（２）：分散型排他制御の実例
7. 分散型システム（３）：分散型排他制御法２種
8. 分散型システム（４）：分散型排他制御法２種の検証
9. 分散型システム（５）：分散型合意問題
10. ネットワークシステム（１）：グラフ上の分散型排他制御問題
11. ネットワークシステム（２）：グラフ上の分散型終了判定問題
12. ネットワークシステム（３）：グラフ上の分散型経路制御問題
13. トランザクションシステム（１）：ロックに基づく処理法
14. トランザクションシステム（２）：タイムスタンプに基づく処理法
15. まとめと展望【成績評価】
演習と期末テストにより評価する．
【担当教官からの一言】
特になし

13

M. Ben-Ari,

講

義

名

ソフトウェア論理学(Logic and Software)

開講学期

前学期

単位数

担当教官

西崎真也 助教授 南 3 棟 3 階 315 号室

2-0-0

内線： 3506【講義の目的】
ソフトウェアの基礎理論、とくに、コンピュータサイエンスの観点から数理論理学について講義する。
【知識ユニット】
述語シーケント計算，等号，自然演繹 (述語論理、証明の正規化) シーケント計算 (述語論理、
カット除去) 型理論 (単純型体系、高階型体系) 型推論アルゴリズムさまざまな論理学 (高階論理、線型論理など)【関連科目・履修の条件等】←− プログラム理論−→ 推論機構特論
参考書 : 1. Proofs and Types J.-Y.Girard et.al. Cambridge Univ.Press

2. Handbook of Logic in Computer Science S. Abramsky, Dov M. Gabbay,
T.S.E. Maibaum 編，Clarenden Press，1992【講義計画】

1. 自然演繹 (1) 構文
2. 自然演繹 (2) 証明の正規化
3. シーケント計算 (1) 構文
4. シーケント計算 (2) 自然演繹との対応
5. シーケント計算 (3) カット除去
6. 型つきλ計算 (1) 単純型つきλ計算
7. 型つきλ計算 (2) 論理学との対応
8. 型推論アルゴリズム
9. 型つきλ計算 (3)10. 型つきλ計算 (4)11. 高階論理
12. 線型論理
13. まとめ【成績評価】
複数回の小レポートと小テストにより評価する。
【担当教官からの一言】
特になし

14

講

義

名

機械学習

(Machine Learning)

開講学期

前学期（奇数年開講）

単位数

担当教官

沼尾正行 助教授 南 3 棟 10 階 1023 号室

2-0-0

内線： 2684【講義の目的】
人工知能における学習手法について論ずる．例からの学習，演繹学習，問題解決の学習，類推などの基本事項を学び，帰納推論の枠組による理論的な取り扱いや，知識獲得への応用について考察する．言語獲得，知的チュータなどヒトの学習との関係も明らかにする．
【知識ユニット】
帰納学習とその理論，演繹学習とその問題解決への応用，類推とその理論，発見，クラスタ
リング，遺伝アルゴリズム，言語獲得，認知心理学および教育との関係【関連科目・履修の条件等】←− 人工知能特論
参考書 : 1. 認識と学習，安西祐一郎 著，岩波書店，1989

2. 知識獲得と学習シリーズ 第１〜８巻
研究グループ 訳，共立出版，1987

R.S. Michalski 他編，電総研人工知能【講義計画】

1. 機械学習入門, 例からの学習：概念学習，分類木の学習
2. 演繹学習：説明に基づく学習，知識コンパイル
3. 問題解決の学習：マクロオペレータ，チャンキング
4. 類推
5. 発見
6. クラスタリング, ニューラルネットワーク
7. 帰納推論の理論１：MIS, 質問による学習, 正の例からの学習
8. 論理プログラムの学習
9. 帰納推論の理論２：PAC, MDL
10. 遺伝アルゴリズム
11. 言語獲得
12. 認知心理学における学習研究13. 知的チュータシステム (ITS) との関連
14. まとめ【成績評価】
レポート，発表と議論内容により評価する．
【担当教官からの一言】
積極的に議論に参加した人にはボーナス点を差し上げます．

15

講

義

名

コンピュータグラフィックス(Computer Graphics)

開講学期

前学期（偶数年日本語，奇数年英語講義）

担当教官

中嶋正之 教授

南 5 棟 2 階 202 号室

単位数

2-0-0

内線： 2183【講義の目的】ＣＡＤ／ＣＡＭ，シミュレーション，科学，工学，産業，医用，芸術，ゲーム，教育，等のコンピュータ応用分野において広く利用されるようになってきた映像・画像生成の技法について学ぶ．また最先端のＣＧ作品の鑑賞も行う．
【知識ユニット】
２次元ＣＧ，デジタル画像処理，映像の符号化法，３次元ＣＧ，モデリング，カラーの取り扱いレンダリング手法，レイトレーシング法，テクスチャーマッピング法，ボリュームレン
ダリング法，フラクタル，可視化技法，自然物体の生成法，人間のＣＧ表現【関連科目・履修の条件等】←− マルチメディア情報処理論−→ ヒューマンインターフェイス
参考書 : 1. ３次元ＣＧ，中嶋 正之 編著，オーム社，1994

2. コンピュータグラフィクス，安居院 猛，中嶋 正之 著，昭晃堂，1993【講義計画】

1. ２次元ＣＧについて１：ＣＧについて，図形の表示，滑らかな曲線の表示
2. ２次元ＣＧについて２：ディジタル画像の表示，画像処理，ディザ法，カラー画像の表示，色の取扱

3. ２次元ＣＧについて３：画像圧縮符号化法，JPEG，MPEG
4. ３次元ＣＧの基礎：グラフィックス要素の取扱，隠線隠面消去法，モデリング
5. レンダリング手法：陰影処理，スムーズシェーディング，影の付与
6. レイトレーシング法：スネルの法則，光線の追跡法，高速化技法
7. テクスチャーマッピング法：基本的なマッピング法，各種のマッピング法
8. ボリュームレンダリング法：ＣＴ断層画面の立体表示，３角形パッチの生成，新しい技法
9. フラクタル：フラクタルについて，１／ｆ雑音，フラクタル図形の生成法，ブラウン運動，フラクタル次元，自己相似

10. 可視化技法：サイエンスビジュアライゼーション，可視化技法
11. 自然物体の生成法とその応用：パーティクルシステム，手続き的方法，マッピング法
12. 人間のＣＧ表現とその応用：人間の動作解析，人間の各部位のＣＧ画像生成，次世代通信
13. ＣＧの今後の動向：マルチメディアとＣＧ，ゲーム応用，ＶＲ【成績評価】
期末試験または期末レポートにより評価する．
【担当教官からの一言】
本年度は奇数年にあたり、主として国際コースの学生を対象にすべて英語で講義する。来年
度は日本語で講義するので、日本人の学生は今年は極力受講しないで欲しい。

16

講

義

名

符号理論特論

開講学期

前学期

担当教官

藤原英二 教授(Advanced Coding Theory)
単位数
南 3 棟 9 階 920 号室

2-0-0

内線： 2686【講義の目的】符号理論の計算機への応用の現状と実用的な符号構成の手法について講義する．
【知識ユニット】
応用概論，半導体メモリ用符号，ファイルメモリ用符号【関連科目・履修の条件等】←− 代数系と符号理論（学部）【教科書・参考書等】
教科書 : Error Control Coding for Computer Systems
Prentice-Hall International, 1989
参考書 : Essentials of Error-Control Coding Techniques
1990

T.R.N. Rao, E. Fujiwara 著，
H. Imai 編，Academic Press，【講義計画】

1. 応用概論：通信システム，計算機システム，ＡＶ機器，への応用の現状
2. ビット誤り制御符号１：Parity 符号，Hamming SEC-DED 符号
3. ビット誤り制御符号２：Hsiao SEC-DED 符号
4. ビット誤り制御符号３：符号構成技法（奇数重み列符号，巡回性符号）
5. バイト誤り制御符号１：単一バイト誤り検出・SEC-DED 符号
6. バイト誤り制御符号２：単一バイト誤り訂正符号
7. バイト誤り制御符号３：単一バイト誤り訂正・二重バイト誤り検出符号8. （ビット＋バイト）誤り制御符号
9. 誤り位置指摘符号，誤り保護符号
10. 磁気テープ用符号：ＶＲＣ／ＬＲＣ，最適矩形符号，ＡＸＰ符号11. 磁気ディスク用符号：Fire 符号，Reed-Solomon 符号，インターリーブ
12. 光ディスク用符号：ＣＩＲＣ，ＬＤＣ【成績評価】
期末試験により評価する．
【担当教官からの一言】
特になし

17

講

義

名

推論機構特論

開講学期

前学期

担当教官

佐藤泰介 教授(Machine Inference)
単位数
南 3 棟 7 階 715 号室

2-0-0

内線： 2186【講義の目的】
数理論理の基礎である一階述語論理を中心に、定理証明の様々な技術・方法・応用について講義する．
【知識ユニット】
命題論理、述語論理 Hilbert の体系、完全性、健全性単一化、分解証明法項書き換えシステム局
所合流性、合流性、停止性 Church-Rosser の性質 Knuth-Bendix のアルゴリズム Inductionless
Induction，決定性の理論【関連科目・履修の条件等】←− ソフトウェア論理学，人工知能特論
参考書 : 1. The Computer Modelling of Mathematical Reasoning
demic Press，1983

A. Bundy 著，Aca-

2. Symbolic Logic and Mathematical Theorem Proving
Chin-liang Chang,Richard Char-Tung Lee 著，Academic Press，1973 （コンピュータによる定理の証明，長尾真，辻井潤一 訳，日本コンピュータ協会）【講義計画】

1. 講義の概要と自動推論の歴史
2. 命題論理
3. 述語論理と Hilbert の体系
4. 健全性、完全性定理の証明
5. モデル論：超実数の存在
6. ゲーデル化と不完全性定理
7. パターンマッチングと単一化アルゴリズム
8. 分解証明法
9. Factoring と Paramodulation
10. 等号論理、同値類
11. 項書き替えシステム、停止性、合流性、Church-Rosser 性
12. Kunuth-Bendix のアルゴリズム
13. Simpliﬁcation ordering による停止性の証明
14. 構造帰納法と Inductionless-Induction
15. 決定性の理論：離散順序その他【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

18

講

義

名

計算言語学

(Computational Linguistics)

開講学期

後学期（偶数年開講）

単位数

担当教官

徳永健伸 助教授 南 3 棟 8 階 821 号室

2-0-0

内線： 2685【講義の目的】
自然言語処理特論で学んだ自然言語解析のための基礎知識をふまえ，主に統計的な手法を基礎とした自然言語処理技術について学ぶ．講義はテキストの輪講形式でおこなう．
【知識ユニット】
言語コーパス，語の共起，語義のあいまい性解消，語彙獲得，文法獲得【関連科目・履修の条件等】←− 自然言語処理特論，理論言語学
参考書 : 1. Manning, C. D. and H. Schütze, Fundations of Statistical Natural Language
Processing, The MIT Press, 1999.
【講義計画】

1. コーパスに基づく自然言語処理
2. 語の共起
3. n-gram モデル
4. 語義のあいまい性解消
5. マルコフモデル
6. 品詞の自動付与
7. 確率文脈自由文法
8. 確率的統語解析
9. 統計的アラインメント
10. クラスタリング
11. 情報検索への応用
12. テキスト分類【成績評価】
輪講への貢献度と期末試験によって評価する．
【担当教官からの一言】
各自が参考書を一冊読み通すつもりで輪講に参加して欲しい．

19

講

義

名

ソフトウェア工学特論(Advanced Software Engineering)

開講学期

後学期

単位数

担当教官

佐伯元司 助教授 南 3 棟 8 階 823 号室

2-0-0

内線： 2192【講義の目的】
ソフトウェアの生産性を向上させるための種々の工学的手法について概説する．特に，開発プロセスのモデル化手法，マネジメント手法，再利用法，テスト手法について，最新の技術及びその現状について学習し，実際的な適用法を習得する．
【知識ユニット】
ソフトウェア開発プロセス（ライフサイクルモデル，ソフトウェアプロセス，成熟度モデル，標準化），テスト・デバッギング（ホワイトボックステスティング，ブラックボックステス
ティング，デバッグ手法），再利用ソフトウェアマネジメント（プロジェクト管理，メトリッ
クス，保守，品質管理，構成管理）【関連科目・履修の条件等】←− ソフトウェア設計論−→ ヒューマンインターフェイス
参考書 : 1. Software Engineering – A Paractitioner’s Approach，R. Pressman 著，1992

2. Software Engineering，I. Sommerville 著，1992【講義計画】

1. ライフサイクルモデルと開発プロセス
2. ソフトウェアプロセス１
3. ソフトウェアプロセス２
4. 要求獲得・要求分析
5. 設計
6. 見積り7. 品質保証，レビュー
8. ソフトウェアメトリックス１
9. ソフトウェアメトリックス２
10. テスト・デバッキング１
11. テスト・デバッキング２
12. 保守13. 再利用
14. 構成管理15. 総合化開発環境【成績評価】
レポート（約 5 回），期末試験により評価する．
【担当教官からの一言】
特になし

20

講

義

名

ヒューマンインタフェース

開講学期

前学期

担当教官

古井貞煕 教授(Human Interfaces)
単位数

南 3 棟 8 階 810 号室

2-0-0

内線： 3480【講義の目的】ヒューマンインタフェースのデザイン・構築技術と評価技術を論じる．基礎として，マルチ
モーダルインタフェースの動向，認知工学と人間工学の最新の知見，人間の情報処理モデルを講義し，それらに基づいたデザインのあり方と評価技術を論じる．最後に次世代ヒューマンイ
ンタフェースを展望する．
【知識ユニット】
基礎：認知工学, 人間工学, 人間の情報処理モデル, デザイン・構築技術：マルチモーダルイ
ンタフェース，デザイン・構築の実例, 評価技術：心理学的測定法【関連科目・履修の条件等】←− 人工知能特論，マルチメディア情報処理論，コンピュータグラフィックス
参考書 : 1. The Psychology of Human Computer Interaction, S.K. Card, T.P. Moran and
A. Newell 著，Lawrence Erlbaum Associates, 1983

2. Human-Computer Interaction (2nd Edition), A. J. Dix, J. E. Finlay, G. D.
Abowd and R. Beale 著, Prentice Hall Europe, 1998
3. ヒューマンインタフェース，田村 博 編，オーム社，1998【講義計画】

1. ヒューマンインタフェースの基礎 (1)：マルチモーダルインタフェース
2. ヒューマンインタフェースの基礎 (2)：オブジェクト指向インタフェース
3. ヒューマンインタフェースの基礎 (3)：ハイパーメディアと CSCW
4. ヒューマンインタフェースの基礎 (4)：認知工学と人間工学
5. 感覚・知覚・認知・運動の原理 (1)：情報の統合機能
6. 感覚・知覚・認知・運動の原理 (2)：視知覚・聴知覚
7. 感覚・知覚・認知・運動の原理 (3)：人間の情報処理モデル
8. 感覚・知覚・認知・運動の原理 (4)：人間の情報処理の原理
9. デザイン・構築と評価 (1)：デザイン・構築の指針と技法
10. デザイン・構築と評価 (2)：評価法 (心理学的測定法)
11. デザイン・構築と評価 (3)：デザイン・構築の実例
12. 次世代ヒューマンインタフェース (1)：人間主体のインタフェース
13. 次世代ヒューマンインタフェース (2)：バーチャルリアリティ
14. 次世代ヒューマンインタフェース (3)：今後の展望【成績評価】
期末試験または期末レポートにより評価する．
【担当教官からの一言】
特になし

21

講

義

名

情報認識特論(Advanced Pattern Recognition and Learning)

開講学期

前学期（奇数年開講）

担当教官

小川英光 教授

単位数

南 3 棟 5 階 516 室

2-0-0

内線： 2190【講義の目的】パターン認識，画像処理，機械学習等にまたがる広大な分野の基本概念の一つである推定・予測の問題を，逆問題の立場から統一的に論じることにより，問題の定式化の仕方がいかに重要であるかを示す．
【知識ユニット】
推定・予測，逆問題，逆問題の線形解法，逆問題の非線形解法，学習と逆問題，学習と汎化能力，許容性の理論【関連科目・履修の条件等】←− 関数解析学（学部），情報認識（学部），信号画像処理（学部）←→ パターン情報処理，空間情報論
参考書 : 小川講義ノート【講義計画】

1. 序論：講義の概要
2. 推定・予測問題と逆問題
3. 各種評価基準
4. 逆問題の線形解法理論
5. 最適解の性質
6. 最適解の構成法
7. 最適解と信号空間の位相
8. 逆問題の非線形解法理論１：凸射影法
9. 逆問題の非線形解法理論２：その他の繰り返し法
10. 学習と逆問題
11. 学習と汎化能力
12. 最適汎化能力をもった学習機械の構成法
13. 許容性の理論
14. 学習のための教材の選び方
15. 計算論的学習理論との関係【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

22

講

義

名

(Speech Information Processing)

音声情報処理特論

開講学期

後学期（奇数年開講・英語講義）

担当教官

古井貞煕 教授

南 3 棟 8 階 810 号室

単位数

2-0-0

内線： 3480【講義の目的】
音声に含まれる種々の情報を統一的に処理する概念と原理，音声情報の圧縮法，合成法，認識法などについて学ぶ.
【知識ユニット】
音声信号の統計モデル，統計的音声言語モデル，音声分析，音声符号化，音声合成，音声認
識，話者認識，探索手法【関連科目・履修の条件等】←− マルチメディア情報処理論，計算言語学
参考書 : 1. Digital Speech Processing，Synthesis，and Recognition
Dekker，1989

S.Furui 著，Mercel

2. 音声情報処理，古井貞煕 著，森北出版，1998【講義計画】

1. 音声と言語
2. 音声に含まれる種々の情報の相互関係
3. 音声信号の統計的性質
4. 音声信号の分析法
5. 音声信号分析合成系
6. 音声符号化法
7. 音声合成法
8. 音声認識の基本原理
9. 音響処理モデル（隠れマルコフモデルとニューラルネットワーク）
10. 言語処理モデル
11. 探索手法・最適化法・適応化法
12. 話者認識法
13. 音声情報処理技術の応用【成績評価】
期末試験または期末レポートにより評価する．
【担当教官からの一言】
特になし

23

講

義

名

自律分散システム

開講学期

前学期

担当教官

森欣司 教授(Autonomous Decentralized System)
単位数
南 3 棟 10 階 1020 号室

2-0-0

内線： 2664【講義の目的】
成長・変動し続ける大規模システムにおけるニーズと技術課題を明らかにし，その解決手法
として自律分散システムのコンセプト，システムアーキテクチャ，技術を学習する．さらに，これを基にした実アプリケーション事例を示し，システム設計論を理解する．
【知識ユニット】
自律分散システムコンセプト，システムアーキテクチャ，オンライン拡張・保守技術，シス
テムのフォールトトレランス技術，リアルタイムシステム【関連科目・履修の条件等】←− 計算機アーキテクチャ（学部）−→ フォールトトレラントシステム論
参考書 : Distributed Operating Systems, A. S. Tanenbaum, Prentice Hall, 1995
【講義計画】

1. 大規模システムのニーズと技術課題
2. 自律分散システムコンセプト
3. システムアーキテクチャ
4. 自律通信技術
5. 自律駆動技術
6. ネットワーク設計法
7. システムのフォールトトレラント技術
8. オンライン拡張技術
9. オンライン保守技術
10. トランザクション処理技術
11. 分散システム開発技術
12. システム評価技術
13. システムの分割と統合技術
14. リアルタイムシステムでの事例研究
15. 広域情報サービスシステムでの事例研究【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
システムのニーズを題材とし，システム技術の展開能力の向上の一助とするため，討論および実地見学を交えて講義を進める．

24

講

義

名

並列データ工学特論(Advanced Parallel Data Engineering)

開講学期

後学期

単位数

担当教官

横田治夫 助教授 南 2 棟 3 階 309 号室

2-0-0

内線： 3505【講義の目的】データ工学は、データベース処理に代表されるような、格納された大量データに対する高度な処理に関する研究分野であり、計算機システムの大きな利用分野の一つである。大量のデー
タを対象とするため、処理の高速化が重要であり、いろいろなレベルでの並列化／分散化のア
プローチが行われている。本講では、大量データ処理のためメカニズム、アルゴリズム、アー
キテクチャについて、特にその並列化／分散化に焦点を当てて詳論する。
【知識ユニット】
データ工学のためのシステム構成，システム規模と性能向上および高可用性，問い合わせ処
理の並列/分散アルゴリズム，並列/分散トランザクション処理，並列/分散データ処理における障害回復，並列ディスクシステムとその耐故障化【関連科目・履修の条件等】←− データベース（学部), 計算機構成第２（学部），計算機アーキテクチャ（学部），
参考書 : 1. Distributed and Multi-Database Systems
House Publishers, 1996.

Angelo R. Boback

2. Transaction Processing: Concept and Techniques
Reuter Morgan Kaufmann Publishers, 1993.
【講義計画】

1. データ工学の概要
2. システムの並列化の目的とシステムの分類
3. 並列データ工学の適用例：データウェアハウス
4. 並列化のレベルとデータ配置
5. 問い合わせ処理の並列化：単項関係演算の並列アルゴリズム
6. 問い合わせ処理の並列化：結合演算の並列アルゴリズム
7. 並列結合演算の改善：負荷均等化のアプローチ
8. 並列インデックス
9. 並列/分散システムのトランザクション管理
10. トランザクションの入れ子構造
11. 並列/分散データ処理の障害回復とデータのリプリケーション
12. 耐故障並列ディスクシステム
13. ベンチマーク
14. 専用ハードウェアアプローチ【成績評価】
期末試験または期末レポートにより評価する．
【担当教官からの一言】
特になし

25

ArtechJim Gray and Andreas

講

義

名

理論言語学

(Theoretical Linguistics)

開講学期

前学期

担当教官

野口徹 助教授

単位数
西 3 棟 10 階 1010 号室

2-0-0

内線： 2282【講義の目的】
一口に言語学と言っても、言語のどのような側面を研究するかによって、様々なアプローチが可能である。本講義では、現代の理論言語学の基礎となる理念を押さえながら、種々の言語
データを基に言語分析の基本的手法を身に付けていく。表面的な言語事象に隠された言語の内面に潜む規則性に迫りながら、言語の本質に少しでも近づいてみたい。
【知識ユニット】
音声学，音韻論，形態論，統語論【関連科目・履修の条件等】
予習として英語をかなり読んでもらうので、ある程度英語を読みこなせる力が必要。
【教科書・参考書等】
教科書 : O’Grady, W., M. Dobrovolsky, and M. Aronoﬀ (eds.) (1997): Contemporary
Linguistics: An Introduction, 3rd edition, St. Martin’s Press, New York.
【講義計画】

1. 文法と言語能力
2. 音声学１：音声表記と発声器官
3. 音声学２：音の分類
4. 音韻論１：音素と異音
5. 音韻論２：素性、派生
6. 形態論１：語構造
7. 形態論２：語形成規則（派生、屈折、複合）
8. 統語論１：品詞と句構造
9. 統語論２：変形
10. 統語論３：変形に対する制約
11. 統語論４：普遍文法とパラメター【成績評価】
出席、宿題、及び期末試験を総合的に評価する。
【担当教官からの一言】
特になし。

26

講

義

名

情報セキュリティ(Information Security)

開講学期

後学期

単位数

担当教官

丸山宏 講師 (非常勤)，江藤博明 講師 (非常勤)，工藤道治 講師 (非常勤)（学内連絡先） 徳田雄洋 教授 南 3 棟 3 階 314 号室 内線： 3213

2-0-0

【講義の目的】講義の目的：情報セキュリティは領域が広く，どこか一部だけでも弱い点があるとそこが破られる．したがって，情報セキュリティを確保するためには，幅広いセキュリティ知識が必要である．この講義では，特定のエリアに固執することなく，必要な知識をバランス良くカバーすることを目標とする．
【知識ユニット】
情報セキュリティ，ネットワークセキュリティ，侵入検出，公開鍵インフラストラクチャ，暗号応用，電子商取引，著作権保護【関連科目・履修の条件等】←− オペレーティングシステム (学部)，計算機ネットワーク (学部)
参考書 : 1. Network Security – Private Communication in a PUBLIC World, Charlie
Kaufman, Rdia Perlman, Mike Speciner Prentice Hall 邦訳，ネットワークセ
キュリティ，石橋他訳，プレンティスホール出版

2. Practical Unix & Internet Security Simson Garﬁnkel, Gene Spaﬀord O’Reilly& Associates,【講義計画】

1. 情報セキュリティ概論 (ポリシー/運用の重要性，社会的背景など)
2. インターネットのセキュリティ(TCP/IP，ルーティング，ネーミングなど)
3. セキュリティホールと攻撃
4. 悪意のあるプログラム (ウィルス，トロイの木馬，ワーム)
5. 侵入検出と侵入者の追跡
6. 現代暗号とセキュリティ(共通鍵，公開鍵，メッセージダイジェスト)
7. 公開鍵インフラストラクチャ(X.509, PKIX, SPKI)
8. セキュリティプロトコル (SSL, SSH, IPSec, S/MIME, Kerberos など)
9. 暗号ライブラリとハードウェア (PKCS#11, CDMA, CAPI, JCA，スマートカードなど)
10. 暗号応用 (秘密分散，ゼロ知識証明など)
11. 認証とアクセスコントロール (バイオメトリクスを含む)
12. 電子商取引 (SET，電子マネー，電子公証など)
13. 著作権とプライバシーの保護 (電子透かし，P3P など)
14. Java のセキュリティ【成績評価】
期末レポートにより評価する．
【担当教官からの一言】
特になし

27