研究ソフトウェア科学

プログラム論理研究室

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

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

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

北川データ工学研究室

北川データ工学研究室のイメージ

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

北川データ工学研究室 インターネット上の大規模データの利活用。詳細を見る

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

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

機械を学習させる

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

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

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

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

インタラクティブプログラミング研究室 HCI、ユビキタス、情報視覚化の研究。詳細を見る

人工知能研究室(水谷研)

人工知能研究室(水谷研)のイメージ

知性と感性を融合する

人工知能研究室(水谷研)人工知能,プログラム理論および音楽情報学。詳細を見る

ページトップ