- HOME
- 教員／研究室
- 研究室一覧
研究室一覧
（平成25年4月）
情報理工学系研究科コンピュータ科学専攻に所属する研究室および教員の紹介です。
理学部七号館の研究室
- 平木研究室
- 平木敬 教授
-
研究室の基本テーマは計算の高速化であり、ハードウェア、アーキテクチャ、基本ソフトウェア、プログラミング言語、アルゴリズム、アプリケーションなど計算機が関わる全ての側面から、高速化の研究をすすめています。
- 計算機を非常に多数並列に動作させて 高速性を達成する並列分散計算機システム
- 並列度の高い超並列分散計算システム
- 萩谷研究室
- 萩谷昌己 教授 / 角谷良彦 助教
-
本研究室では、論理学をベースとして、新しい計算モデルの提案、各種計算モデルの解析や検証、そのためのツールの設計と実装などを行っています。主としてソフトウェアやプログラミング言語を対象としていますが、電子計算機から成る計算システム以外に、分子系や生物系も研究の対象としており、特に現在は分子コンピューティングの研究も行っています。
- 今井研究室
- 今井浩 教授 / 河村彰星 助教
-
- アルゴリズムの設計と解析、 特に幾何学的なアルゴリズムとその計算代数への展開、 システム解析も含めた離散システム論・最適化
- このアルゴリズム研究を踏まえて、 計算生物学・データベース・地理情報システム・カーナビ・ 知識発見など新たな分野にインパクトを与えること
- 量子計算・量子情報科学
- 石川研究室
- 石川裕 教授 / ゲローフィ バリ 助教
- 並列分散システムの次世代システムソフトウェア体系確立を目指した研究を行います。研究テーマは大きく次の4つです。
- クラスタ、グリッドのためのシステムソフトウェアの研究
- 動的にプロセッサやI/O機器が増減しても システム全体が効率よく実行できる拡張性と可用性(Availability)に 富んだシステムソフトウェア体系確立のための研究
- アプリケーションレベルからシステムレベルまで、 複数の能動体間の交信プロトコルの設計・実装・検証に 関するプログラミング言語レベルからの研究
- 安全かつ容易に記述できるWEBプログラミング言語システムの研究
- 須田研究室
- 須田礼仁 教授 / 玉田嘉紀 助教
- 数値アルゴリズムをテーマの基本にすえ、並列・分散・ネットワーク計算や物理などの応用シミュレーションと関連付けながら、主に高速・高性能をめざす研究を行っている。
- 小林研究室
- 小林直樹 教授 / 松田一孝 助教
-
本研究室では、ソフトウェアの基礎理論およびそのプログラミング言語、プログラム検証、プログラム変換などへの応用について研究しています。最近は特に高階モデル検査に基づくプログラムの自動検証手法の研究に力をいれています。
- 五十嵐研究室
- 五十嵐健夫 教授
-
コンピュータアプリケーションを使いやすくするためのユーザインタフェースの研究を行っている。特に以下の研究を行っている。
- 3次元グラフィクスを手軽に生成・利用できるような インタラクション手法の研究
- 手書きの自由度を生かしたペン入力インタフェースに関する研究
- 膨大な情報空間を効率よく取り扱うためのインタフェースの研究
- 高橋研究室
- 高橋成雄 准教授
- コンピュータグラフィックスの技術を用いて、形状を処理（設計・解析・可視化）するためのさまざまなモデリング手法の開発を行っている。最近の研究テーマは次の通り。
- 3次元形状処理: 3次元メッシュ・メッシュレス処理、形状モーフィング・3次元形状電子透かし
- ボリューム可視化: サイエンテフィックビジュアリゼーション、ボリューム特徴解析など
- 物体の最適視点計算と新しい投影法の構築: 形状特徴を考慮にいれた視点計算、手描き風案内図自動生成など
- 3次元形状処理: 3次元メッシュ・メッシュレス処理、形状モーフィング・3次元形状電子透かし
- 蓮尾研究室
- 蓮尾一郎 講師
-
計算機科学に現れる諸現象を数学のことば（とくに圏論，数理論理学）を用いて記述することで，より良い理解と同時に応用上の新手法をめざす．応用例は：システムの形式検証，情報セキュリティ，量子計算，ハイブリッド・システムなど．
その他の研究室
- 高野研究室（国立情報学研究所）
- 高野明彦 教授
- ソフトウェア研究、プログラミング技法