情報科学研究科 情報システム学専攻 紹介
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 小柳滋 大庭信之  
連携講座名 教育研究内容 客員教授 客員助教授 助手
超高速通信網構成学 超高速情報ネットワークの設計と構築
関連機関:通信総合研究所
久保田文人
中川晋一  


北陸先端科学技術大学院大学 / 情報科学研究科 / 情報処理学専攻の目次へ
Last Update: 7 Sept 2001; is-webmasters@jaist.ac.jp