〔教　授　要　目〕

76001

計算機アーキテクチャ特論（Advanced Computer Architectures）

後学期　2−0−0　　吉瀬　謙二　講師

パソコン，ワークステーション，携帯情報機器など計算機のダウンサイジング，パーソナル化に大きな役割を果たしているマイクロプロセッサについて，その動向と先端技術について講義を行う。また，演習を実施することでマイクロプロセッサ技術を習得する。

76003

プログラム理論（Mathematical Theory of Programs）西暦奇数年度開講

前学期　2−0−0　　未　　　定

プログラミング言語の様々な意味定義手法について学び，プログラムの仕様記述や検証，合成，変換などの原理とその実際的な応用について理解することにより，プログラミング言語の形式的な取り扱いを習得する。

76004

知識工学（Knowledge Engineering）西暦奇数年度開講

後学期　2−0−0　　徳永　健伸　助教授・村田　剛志　助教授

データベースやWebなど，大規模なデータから知識や法則を見出すための方法として，その内容に注目するアプローチと構造に注目するアプローチがある。本講義ではこれらのアプローチの具体例として，情報検索およびデータマイニングに関する基礎的な概念および技術について学ぶ。

76005

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

後学期　2−0−0　　米田　友洋　教授・権藤　克彦　助教授

システムの故障が及ぼす影響を阻止し，高い信頼性を持つフォールトトレラントシステムを実現するために，システム構成と回復，誤り検出，分散システムのフォールトトレランス，テスト生成，検証等の技術について詳論する。

76006

並行システム論（Concurrent System Theory）英語講義

前学期　2−0−0　　米崎　直樹　教授

並行処理を記述するための概念と形式化の手法を，代数的な立場と論理的な立場から学ぶことを目的とする。さらに，そのような形式化を用いて，並行システムの検証や設計を行う方法についても学ぶ。

76007

ソフトウェア設計論（Software Design Methodology）

後学期　2−0−0　　佐伯　元司　教授・新井　紀子　助教授

ゴール指向分析法などの要求工学手法やオブジェクト指向ソフトウェア設計法についてその手法，特徴などを理解する。実際にこれらの手法に基づいて，小規模な例題プログラムの分析/設計を行い，各自がその結果を発表し，比較，議論する。

76008

人工知能特論（Advanced Artifical Intellingence）英語講議

前学期　2−0−0　　篠田　浩一　助教授

人工知能基礎で学んだ基盤技術に基づき，さらに高度な理論や技術を学ぶ。最新の研究成果についても紹介するとともに推論機構特論，ヒューマンインタフェース，機械学習の各講義への導入および認知科学などの関連する分野についても概説する。

76009

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

前学期　2−0−0　　亀井　宏行　教授・齋藤　　豪　助教授

画像音声情報の分折，圧縮のためデジタル信号処理技法，画像音声認識のための特徴抽出，パターンマッチング手法について学ぶ。

76010

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

後学期　2−0−0　　渡部　卓雄　助教授

具体的なオペレーティングシステムの事例を通してオペレーティングシステムの設計論を学ぶ。最近の分散オペレーティングシステムの話題についても触れる。

76012

自然言語処理特論（Natural Language Processing）

後学期　2−0−0　　徳永　健伸　助教授

　言語を記号の計算システムとして捉える考え方に基づき，コンピュータによって言語を扱うための基礎的な概念や技術について学ぶ。

76013

パターン情報処理（Pattern Information Processing）隔年（偶数年開講），英語講義

前学期　2−0−0　　杉山　　将　助教授

　入力と出力の例からその背後に潜む入出力規則を推測することを教師付き学習という。本講義では，統計的な立場から教師付き学習を議論し，その基礎的概念と最新の手法の習得を目指す。

76033

　データ解析特論（Advanced Data Analysis）隔年（奇数年開講），英語講義

　　前学期　2−0−0　　杉山　　将　助教授

　本講義では，データの中に潜んでいる有益な構造を見つけ出すための基礎的な考え方と実用的な手法の習得を目指す。

76015

計算環境論（Foundations of Computing Environments）英語講義

後学期　2−0−0　　徳田　雄洋　教授

現代的な計算環境は，ネットワーク，オペレーティングシステム，データベース等の並行型システムや分散型システムによって支えられている。これらの並行型システムおよび分散型システムのための基本的アルゴリズムの設計原理を解説する。

76016

ソフトウェア論理学（Logic and Software）

前学期　2−0−0　　西崎　真也　助教授・新井　紀子　助教授

論理による証明は，情報を伝達，構成するプロセスと見なすことができる。このよう考え方とその応

用について習得すると同時に，ソフトウェアの分野に特有の様々な論理体系について理解することを目的とする。

76017

機械学習（Machine Learning）

後学期　2−0−0　　村田　剛志　助教授

　与えられたデータに内在する知識や法則をコンピュータによって見出す機械学習の手法について論じる。入力データに関する基本事項や，学習によって得られる概念表現としての決定木やルール等について理解を深めるとともに，現実的なデータへの手法の適用についても論じる。

76018

コンピュータグラフィックス（Computer Graphics）奇数年英語講義

前学期　2−0−0　　中嶋　正之　教授

CAD/CAM，科学，工学，医用，芸術，ゲーム等の分野において広く利用されるようになってきたコンピュータによる映像・画像生成の技法について学ぶ。また関連するディジタル画像処理や符号化アルゴリズムについても紹介する。なお，偶数年は，主に日本人学生を対象として日本語，奇数年は主に留学生を対象として英語により講義する。従って，2006年は，全て日本語により行う。

76019

符号理論特論（Advanced Coding Theory）奇数年英語講義

前学期　2−0−0　　藤原　英二　教授

符号理論の計算機への応用の現状と実用的な符号設計理論について講義する。計算機システムにおける故障，誤りの傾向をもとに，プロセッサシステム，高速半導体メモリシステム，磁気/光ディスクメモリシステム，テープメモリシステムを指向した符号の設計理論を詳述する。

76022

推論機構特論（Machine Inference）

後学期　2−0−0　　佐藤　泰介　教授

論理推論の基礎として述語論理の完全性定理／不完全性定理について解説し，項書換えなど演繹的計算体系の手法を学ぶ。また同時に確率的推論の基礎としてベイジアンネットについて講義する。

76024

ソフトウェア工学特論（Advanced Software Engineering）

前学期　2−0−0　　権藤　克彦　助教授・米田　友洋　教授

ソフトウェアの生産性を向上させる工学的手法のうち，下流（コーディング，保守，テスト，デバッグなど）に焦点をあてて概説する。

76025

ヒューマンインタフェース（Human Interfaces）英語講義

前学期　2−0−0　　古井　貞熙　教授

ヒューマンインタフェースのデザイン・構築技術と評価技術を論じる。基礎として，マルチモーダルインタフェースの動向，認知工学と人間工学の最新の知見，人間の情報処理モデルを講義し，それらに基づいたデザインのあり方と評価技術を論じる。最後に次世代ヒューマンインタフェースを展望する。

76027

音声情報処理特論（Speech Information Processing）西暦奇数年度開講

後学期　2−0−0　　古井　貞煕　教授英語講義

音声に含まれる種々の情報を統一的に処理する概念と原理，音声情報の圧縮法，合成法，認識法等について講義する。特に，統計的モデルに基づいた音声分析法，音声符号化法，音声合成法，音声認識法，話者認識法，統計的音声言語モデルなどに重点をおき，最近の応用技術についても紹介する。

76028

自律分散システム（Autonomous Decentralized System）

前学期　2−0−0　　森　　欣司　教授

成長・変動し続ける大規模システムにおけるニーズと技術課題を明らかにし，その解決手段として自律分散システムを講義する。具体的には，自律分散システムコンセプトと，それに基づくシステムアーキテクチャ，自律通信技術，自律駆動技術，稼働中の拡張・保守技術などについて述べる。さらにこれら技術の実適用例についても言及し，システム技術の展開能力の向上の一助とするため，見学，討論を交えて講義を進める。

76029

データ工学特論（Advanced Data Engineering）

後学期　2−0−0　　横田　治夫　教授

データ工学は，データベース処理に代表されるような，格納された不揮発の大量データに対する高度処理に関する研究分野で，計算機システムの大きな利用分野の一つである。大量データを対象とするため，高速化が重要であり，いろいろなレベルで並列／分散化等の試みが行われている。本講義では，大量データ処理のためメカニズム，アルゴリズム，アーキテクチャについて評論する。

76032

ネットワークプログラミング特論（Advanced Network Programming）

後学期　2−0−0　　望月　祐洋　助教授

インターネットを利用したネットワークアプリケーションを設計・開発するための知識および手法を，講義とプロジェクト形式のグループ実習を交えつつ実践的に学ぶ。講義部分では，ソケットプログラミング，RPCプログラミング，RMIプログラミング，Webサービスプログラミング，移動コード／エージェントプログラミング等を採り上げる。講義全体を通じて，複数の通信プリミティブの設計思想・抽象化の相違や長所・短所について実感・考察する。

76031

情報セキュリティ特論（Advanced Information Security）

後学期　2−0−0　　丸山　　宏　講師（非常勤）・工藤　道治　講師（非常勤）

情報セキュリティは領域が広く，どこか一部だけでも弱い点があるとそこが破られる。したがって，情報セキュリティを確保するためには，幅広いセキュリティ知識が必要である。この講義では特定のエリアに固執することなく，必要な知識をバランス良くカバーすることを目標とする。

75104

アルゴリズム特論（Advanced Algorithms）

　前学期　2−0−0　　田中　圭介　助教授

数理・計算科学専攻の教授要目を参照のこと。

75015

計算量理論（Computational Complexity Theory）

後学期　2−0−0　　渡辺　　治　教授

数理・計算科学専攻の教授要目を参照のこと。

75001

計算機支援数理（Mathematical Models and Computer Science）

後学期　2−0−0　　小島　政和　教授

数理・計算科学専攻の教授要目を参照のこと。

75003

ソフトウェア界面（Human Interfaces in Computing Systems）

後学期　2−0−0　　松岡　　聡　教授

教理・計算科学専攻の教授要目を参照のこと。

77016

広領域知識ベース特論（Theory & Applications of Wide Areal Knowledge-Base）

後学期　2−0−0　　大佛　俊泰　助教授

情報環境学専攻の教授要目を参照のこと。

76711〜76712

専攻しようとする分野に関連のある高度の実験を行うものである。

76701〜76704

76801〜76806

専攻しようとする分野に関連ある専門書，文献につき輪読，討論を行うものである。