|
情報科学研究科 情報システム学専攻 紹介
Laboratories of Information Systems Department Graduate School of Information Science [ Japanese / English ] |
|---|
|
情報システム学専攻 情報システムの解析、設計、構築、運用等の基本原理とそれらの応用について 高度な教育研究を行なう。 | ||||
|---|---|---|---|---|
| 講座名 | 教育研究内容 | 教授 | 助教授 | 助手 |
| ソフトウェア基礎 | ソフトウェア構成原理・方法論、仕様記述、検証・テスト、自動生成など の基本機構とそのソフトウェア構成への応用 | 片山卓也 | 権藤克彦 | 青木利晃
Adel Cherif |
| 言語設計学 | プログラミング言語、仕様言語の意味論、設計法、処理系／検証系と それに基づくソフトウェア構成法。システム設計の基礎としての言語設計学 | 二木厚吉 | 渡部卓雄(併) | 緒方和博
天野憲樹 |
| ソフトウェア計画構成学 | 大規模ソフトウェアの設計・検査法、ソフトウェア構成プ ロセス、ソフトウェア環境、遠隔教育 | 落水浩一郎 | 村越広享
服部哲 |
|
| 計算機アーキテクチャ | 高機能計算機アーキテクチャ、超高速計算機アーキテクチャ、VLSI 設計・実装法、マルチメディア通信、 リアルタイム OS、分散システム、モバイルコンピューティング | 日比野靖 | 田中清史 | 宮崎純 |
| マルチメディア統合システム | 超並列システム、超並列シミュレーション、コンピュータグラフィック、 仮想現実感、コンピュータ音楽、画像認識、移動物体追跡、三次元物体認識 | 堀口進 | 阿部亨 (併) | 林亮子 星芝貴行 |
| 情報ネットワーク [Shen 研 ・丹研] | 広域・超高速ネットワークの構成法と解析・管理、情報セキュリティ、通 信プロトコル、分散処理 | Shen Hong | 丹康雄 | 田湯智 |
| システム基礎 | システムの構成、解析、設計、構築、最適化などに関する理論や手法、ツー ルとその応用 | Milan Vlach | 平石邦彦 | 宋少秋 高島康裕 |
| システム制御・管理 | アクセスの制御、エージェント情報セキュリティの安全性解析、システムの安全性と耐故障性 | 金子峰雄 | 宮地充子 | 多田充 双紙正和 |
| ロボティックス | 知能ロボットのための知識表現論と処理技術、制御理論・技術、認識理論・技術、システム化方式 | Jaddu Hussein | ||
| 客員講座名 | 教育研究内容 | 教授 | 助教授 | 助手 |
| 並列分散システム | 並列分散システムのための基礎理論、設計法、アーキテクチャ、ソフトウェ ア、分散 OS、分散 DB | 小柳滋 | 大庭信之 | |
| 連携講座名 | 教育研究内容 | 客員教授 | 客員助教授 | 助手 |
| 超高速通信網構成学 |
超高速情報ネットワークの設計と構築 関連機関：通信総合研究所 | 久保田文人 | 中川晋一 | |