このページの先頭です

メニューを飛ばして本文を読む

ここから本文です

サイト内の現在位置

情報システム基盤学専攻:専攻・講座

現在の情報社会は高度なコンピュータ科学によって支えられています。情報システム基盤学専攻は21世紀のIT時代に必要となるコンピュータ科学の新領域と基本原理を中心に教育研究を行ないます。そのため、クラウド・ユビキタス・モバイル・メディア・大規模データ・高性能コンピューティング等の新しいコンピュータ科学の領域について幅広い分野出身の学生を受け入れ、専門家として育成します。

講座

情報システム基礎学講座

情報システムの設計・構築に際して、情報システム技術の基礎的学問領域が重要な役割を果たしています。その認識にたって、本講座では情報システムを実現する基盤となるアルゴリズムとデータ構造について教育・研究を行っています。とくに複雑な情報システムの実現に必要不可欠となる、大量データの高速処理アルゴリズム、環境の変化に柔軟に対応するための適応・学習アルゴリズム・分散アルゴリズム、などについて理論的かつ実践的な研究を実施しています。さらに、これらの応用として、Webコンテンツの自動内容理解、静止画や動画の自動解析、ネットワークの適応的制御等について研究を行っています。 〈連携機関:日本電気(株)中央研究所 クラウドシステム研究所、情報・ナレッジ研究所〉

基盤ソフトウェア学講座

情報システムの基盤は、プログラミング言語処理系やオペレーティングシステムなどを中心とするシステムソフトウェアによって構成されています。基盤ソフトウェア学講座では、実行速度、使いやすさ、高信頼性を見据えた先進的なシステムソフトウェアを研究対象としています。具体的には、2つ以上のプログラムが協調して動作するような並行システムの設計や構築法を追求し、また、携帯電話や情報家電などで多数使われている組込みコンピュータのシステムソフトウェア、Webベースの各種システムを構築する基盤ソフトウェアの新しい技術や最適化技法について究めます。さらに、これらの実現に不可欠なプログラミング言語処理系の実装技術、記述性・表現力に優れたプログラミング言語の機能及びその高性能実装について研究しています。 〈連携機関:NTTソフトウェアイノベーションセンタ、NTTネットワーク基盤技術研究所〉

データベース学講座

当講座では、データ工学(Data Engineering)、大規模データ処理、データ管理に関するコンピュータ科学を研究しています。具体的には、大規模データを対象にした検索・高価値利用・情報抽出のための新しいデータ処理機能やデータ処理アルゴリズムの研究、並列分散データ処理の研究、先進的なデータマイニング技術、現実世界から生成される新しい多様なデータを扱うデータ工学技術、などを研究します。講座の研究活動は、海外のACM SIGMOD、VLDB、ICDE、KDD、ICDM国際会議や、国内のデータ工学研究専門委員会(電子情報通信学会)と強く関連して行なわれています。

高性能コンピューティング学講座

先進的な情報システムを創出するためには高性能コンピューティング技術、すなわち、コンピュータシステムの高速化、高信頼化、低消費電力化、大規模化、遍在化、並列・分散化などの技術が必須となります。情報システムにおける、これらの基盤技術に関して、ハードウェア、ソフトウェアを対象とし、理論的かつ実践的観点から教育研究を行っています。さらに、Gridベースのコンピューティング技術やGPGPU、グリーンIT技術などの近年注目を浴びている分野にも積極的に取り組んでいます。〈連携機関:情報通信研究機構〉

基盤ハードウェア学講座

次世代情報システムの基盤をなすハードウェアシステム技術、すなわち、組込みシステム、高性能システム、高信頼システム、再構成可能システムなどに関する教育研究を行っています。併わせて、ハードウェア設計支援システムについても、その基盤となる開発支援システム技術を扱っています。

入試受験相談会

現在相談会の予定はありません。予定が決まり次第告知いたします。

修士論文タイトル例

情報システム基盤学専攻での、過去の修士論文タイトル例を紹介します。

  • SURF 特徴点を用いたグラフカットによる動画像からの移動物体自動抽出結果の精度向上
  • 画像の圧縮性に着目した地表面解析手法の研究
  • エンドホストのAQM エミュレーションによるTCP コネクション間のスループット公平性改善
  • グラフマイニングベースの動画像からの背景除去アルゴリズムにおける改良方法
  • 数式画像をクエリとする類似検索システム
  • スマートフォンを対象にした環境適応型マナーモードの自動設定機能の設計・実装
  • 実時間性を確保したハイブリッドOS の実装
  • 低価格カメラを使った探し物支援システムの設計と実装
  • メモ化の適用範囲を拡張するプログラム変換器の設計と実装
  • Scheme における動的ソフトウェア更新機構の設計と実装
  • ページ遷移を考慮したWeb アプリケーション記述言語の設計と実装
  • 多次元的なWeb空間マイニングを行なうデータベースシステムの実現:分析条件一般化への対応
  • グラフデータベースにおける冗長解抑制を伴った正確なTop-k キーワード検索方式
  • リストバンド型センサを利用した生活行動状態の判定方式に関する研究
  • GPGPU プログラム開発を支援するプロファイリングツールに関する研究
  • PC クラスタにおけるMPI プログラムの仮想マシンへの割り当て手法
  • 複数GPU 向けのコードを生成するOpenMP 処理系の研究
  • 大規模なグリッド環境におけるジョブスケジューリング手法に関する研究
  • 機械学習により抽出されたアプリケーションの特徴を利用したタスク配置の研究
  • 走行時パワーゲーティングのための動的命令スケジューリングに用いるスラック解析に関する研究
  • ヘルパースレッドを用いたキャッシュ置換制御に関する研究
  • キャッシュメモリに不揮発性メモリを用いたプロセッサの省電力化の研究
専攻・講座