
コンピューティング科学
髙木 翼 准教授 TAKAGI Tsubasa
計算論理学研究室 Laboratory on Computational Logic
計算機科学の理論的基盤を構築する
キーワード:多ソート等式論理、様相論理、動的論理(ホーア論理)、時相論理(モデル検査)、量子論理
学修分野:情報科学
詳しく見る
世界から集まるトップレベルの教授陣と幅広い研究分野。
あなたのやりたい研究が、きっと見つかるはず。
コンピューティング科学
計算論理学研究室 Laboratory on Computational Logic
計算機科学の理論的基盤を構築する
キーワード:多ソート等式論理、様相論理、動的論理(ホーア論理)、時相論理(モデル検査)、量子論理
学修分野:情報科学
詳しく見る
ナノマテリアル・デバイス
ナノバイオ研究室 Laboratory on Nanobiotechnology
ナノバイオテクノロジー
キーワード:ナノ粒子、バイオ医療応用
学修分野:マテリアルサイエンス
詳しく見る
ナノマテリアル・デバイス
先端ナノ材料科学研究室 Laboratory on Advanced Nanomaterials Science
表面・界面の理解に基づいた
ナノマテリアル開発
キーワード:ナノマテリアル、二次元材料、薄膜成長、走査プローブ顕微鏡、放射光実験
学修分野:マテリアルサイエンス
詳しく見る
バイオ機能医工学
バイオナノ医工学デバイス研究室 Bio-Nano Medical Device Laboratory
ナノとバイオを融合して
医療と環境の問題を解決する
キーワード:血液分析チップ、一細胞解析、質量分析チップ、マイクロ元素分析、微細加工プロセス、バイオチップ、マイクロプラズマ
学修分野:マテリアルサイエンス
詳しく見る
次世代デジタル社会基盤
計算機アーキテクチャ研究室 Laboratory on Computer Architecture
高性能コンピュータを作ろう
キーワード:キャッシュメモリ、低消費電力、高機能メモリシステム、FPGA、相互結合網、リアルタイムスケジューリング、組込みOS
学修分野:情報科学
詳しく見る
物質化学フロンティア
マテリアルズインフォマティクス研究室 Laboratory on Materials Informatics
“探索・学習・予測”のシナジーを実践する
次世代マテリアル設計
キーワード:固体触媒、重合、ナノコンポジット、分離膜、グラフェン、データ科学
学修分野:マテリアルサイエンス
詳しく見る
共創インテリジェンス
先端AIデータ駆動知識創成研究室 Data-Driven AI for Scientific Discovery Laboratory
データ解析のコンセプトを学んで情報化時代における知識の獲得を楽しもう
キーワード:計算機シミュレーション、データマイニング
学修分野:知識科学、情報科学、マテリアルサイエンス
詳しく見る
次世代デジタル社会基盤
IoT・スマートシステム研究室 Laboratory on IoT and Smart Systems
家庭環境で人々を支援する
ICTシステムの研究を推進しています
キーワード:IoT、M2M、ホームネットワーク、情報家電、スマートハウス、国際標準化
学修分野:情報科学
詳しく見る
人間情報学
移動ロボティクス研究室 Laboratory on Mobile Robotics
無人移動ロボットによる知的環境センシング技術の開拓
キーワード:移動ロボット、ロボットビジョン、環境センシング、 SLAM(simultaneous localization and mapping)
学修分野:情報科学、マテリアルサイエンス
詳しく見る