記号の世界を探求する

記号計算研究室

プログラム、論理式などの記号表現を研究

• 井田　哲雄
• 南出　靖彦

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

プログラム論理研究室

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

• 亀山　幸義

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

北川データ工学研究室

インターネット上の大規模データの利活用

• 北川　博之
• 天笠　俊之
• 川島　英之
• 早瀬　康裕

機械を学習させる

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

実世界で動く学習アルゴリズムを作りましょう

• 佐久間　淳

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

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

HCI、ユビキタス、情報視覚化の研究

• 田中　二郎
• 三末　和男
• 高橋　伸
• 志築　文太郎
• ヴァシラケ　シモナ　ミレラ

知性と感性を融合する

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

人工知能，プログラム理論および音楽情報学

• 水谷　哲也

Human-Computer Interaction を推進する

記号計算研究室

記号による計算処理と表現する言語を研究

• 細野　千春
• 山本　順人