概要
情報システム学専攻では、社会における利便性、安全性、快適性の向上を実現する情報科学技術の創造を目的として、情報システム学の教育・研究を行います。効率的でディペンダブルな情報システムの設計・開発のために、情報システムプラットフォームおよびソフトウェアに対する理論と技術の基盤を確立し、情報システム学の新たな発展を目指します。また、高信頼アルゴリズムや高度な計算モデルに対する研究に基づき、より高い効率とディペンダビリティを実現する理論と技術の創出によって、情報システムの継続的な進化を探究します。さらに、ネットワーク接続により時間的・空間的にバウンダリレスとなった巧緻な次世代情報システムの設計と開発に適用できる情報システム学の教育・研究を通じて、情報システム構築の指導的な役割を担える高度情報技術者と、情報システム学の発展を担える研究者の育成を行います。
主な開講科目
計算論基礎特論A・B
システムプログラム特論A・B
計算機アーキテクチャ特論A・B
ソフトウェア基礎論特論A・B
ソフトウェア工学特論A・B
大規模計算特論A・B
情報ネットワーク特論A・B
情報セキュリティ特論1・2
プログラミング言語特論1・2
情報システム開発実践特論1・2
並行分散計算特論1・2
オートマトン・形式言語特論
計算モデル特論
知識表現・推論特論1・2
暗号学特論
講座・教員
計算論講座
この講座では、アルゴリズム、形式論理、計算モデル、計算意味、機械学習など、情報システムを理論面から支える分野の教育・研究を行います。
情報プラットフォーム論講座
この講座では、プロセッサなどの基盤アーキテクチャとオペレーティングシステムなどの基本ソフトウェアとの組み合わせにより高信頼、高性能な情報システムを実現するプラットフォームに関する教育・研究を行います。
ソフトウェア論講座
この講座では、高信頼かつ高性能なソフトウェアの効率的な開発や、検証、テストを行うためのソフトウェア論について、理論的ならびに実践的な側面から教育・研究を行います。
情報ネットワークシステム論講座 協力講座（情報基盤センター）
この講座では、情報ネットワークの構成法、情報セキュリティ、知的情報検索、大規模データ分析・計算、超分散・並列処理法などについて教育・研究を行います。
SATソルバを利用したお絵かきロジック問題作成ツールSAT-based creation tool for Logic Picture puzzles
HRPカーネルを搭載したH-IIBロケット3号機の打ち上げLaunch of H-IIB rocket which adopts TOPPERS/HRP Kernel
状態遷移モデルツールを利用した並行プログラムの振舞い検証Behavioural analysis of concurrent programs based on the labelled transition models
