研究室

これからの教育を創造しよう
インターネットやコンピュータ技術など工学的なものを教育に利用して、教育をより良いものにすることを目的とする研究をしています。

回路設計を支援する
コンピュータを単独ではなく、コンピュータの外の世界にある道具たち（ハードウェア）と結びつけて、新しいシステムを作る研究をしています。

Webに潜むセキュリティホールを見つける
コンピュータを効率よく安全に動作させるために、コンピュータに与える指令「プログラム」の性質を解析する研究をしています。

ネットワーク、モノとエンジニアを結びつける
WindowsやLinuxなどのオペレーティングシステム（OS）は、コンピュータの管理職です。私たちはクラウドや装置を制御するOSについて研究しています。

知的な問題解決とシミュレーション
コンピュータに人間の持つ知識や経験を使えるようにして効率的に問題を解決する方法や、現実空間の社会現象をコンピュータ上で発生できる仕組みについて研究しています。

信頼できる情報システムをつくる
コンピュータに頼って生活している我々を脅かすハードウェア障害、ソフトウェアのバグ（欠陥）、セキュリティなどの問題解決のための研究をしています。

画像を使って何かを計ろう
私たちの周りには様々な画像が溢れています。ゲームから医療や科学まで、そんな画像を利用した幅広い計測技術の研究をしています。

言語理解・生成の研究や、連想情報を利用した言語教育支援の研究
大規模な実験データから言語知識を構築・応用して、コンピュータの言語理解における精度向上や言語コミュニケーションのモデル化に関する研究に取り組んでいます。

数学を使って，セキュアなソフトウェアやプロトコルを！
数学や様々な技術を用いて、コンピュータ・システムの安全性に問題がないかを調べたり、安全なコンピュータ・システムの作成をサポートする研究をしています。

最適化研究室
高効率なシステムの構築、効率的な学習環境の構築のための最適化を主軸とした、プログラミングや機械学習の歴史学への応用の研究を行っています。

有益な情報や新しいルールを見つけ出すスマホやインターネット上には膨大な量の情報が存在し、その中から機械学習やデータサイエンスの様々な技術を用いて有益な情報や新しいルールを見つけ出す研究をしています。