研究ソフトウェア科学

プログラム論理研究室

プログラム論理研究室のイメージ

プログラムの信頼性を創造する記号

コンピュータを操るプログラム言語の研究。詳細を見る

知識・データ工学研究室

知識・データ工学研究室のイメージ

爆発するインターネットデータを科学する

インターネットや実世界のビッグデータを利活用するための基盤と応用。詳細を見る

機械学習・データマイニング研究室

機械学習・データマイニング研究室のイメージ

機械を学習させる

機械学習・データマイニング研究室 実世界で動く学習アルゴリズムを作りましょう。詳細を見る

インタラクティブプログラミング研究室

インタラクティブプログラミング研究室のイメージ

コンピュータの使い方を改革する

新しいコンピュータの操作方法、新しい形のユーザインタフェースを創るHCI研究。詳細を見る

人工知能研究室（水谷研）

人工知能研究室（水谷研）のイメージ

知性と感性を融合する

人工知能、プログラム理論および音楽情報学。詳細を見る

ブラックボックス最適化研究室

ブラックボックス最適化研究室のイメージ

複雑なシステムを最適化する

汎用的な賢い最適化アルゴリズムの開発と、機械学習や強化学習への応用。詳細を見る

システムディペンダビリティ研究室

システムディペンダビリティ研究室のイメージ

ソフトウェアシステムの信頼性を評価する

確率モデルを用いた情報システムの信頼性評価、信頼性改善、最適化の研究。詳細を見る

ビジュアリゼーションとインタラクティブシステム研究室

ビジュアリゼーションとインタラクティブシステム研究室のイメージ

視覚的な表現により情報の活用を促進する

情報可視化、データ可視化、人間の視覚特性、視覚的インターフェースなどに関する研究。詳細を見る

ページトップ