
コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
計算理論研究室 Laboratory on Theory of Computation
プログラミング言語と自動証明
キーワード:理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野:情報科学
詳しく見る
世界から集まるトップレベルの教授陣と幅広い研究分野。
あなたのやりたい研究が、きっと見つかるはず。
コンピューティング科学
計算理論研究室 Laboratory on Theory of Computation
プログラミング言語と自動証明
キーワード:理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野:情報科学
詳しく見る
共創インテリジェンス
意思決定インテリジェンス研究室 Laboratory on Decision Intelligence
Decision Intelligence
キーワード:Machine learning, Data analytics, Argumentation, Optimization, Uncertainty management, Decision analysis
学修分野:知識科学、情報科学
詳しく見る
コンピューティング科学
暗号と情報セキュリティ研究室 Laboratory on Cryptography and Information Security
情報通信システムの安全性を数学的に証明する
キーワード:暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
学修分野:情報科学
詳しく見る
次世代デジタル社会基盤
サイバーセキュリティ研究室 Cybersecurity Laboratory
セキュリティの研究により次世代社会の信頼性を高める
キーワード:ネットワークセキュリティ、AI、トラストワージネス、セキュリティ演習、サイバーレンジ
学修分野:情報科学
詳しく見る
次世代デジタル社会基盤
光無線通信研究室 Laboratory on Optical and Wireless Communications
Advancing Wireless Communication Technologies for the Future
キーワード:Wireless Communications, Optical Communications, Communication Theory, Experimental Validations
学修分野:情報科学
詳しく見る
サスティナブルイノベーション
データ駆動型量子材料研究室 Laboratory on Data-Driven Quantum Materials Search
スパコンを活用した計算科学と情報学の融合による革新的物質設計
キーワード:ベイズ統計、機械学習、統計的学習、第一原理電子状態計算、物質・材料科学シミュレーション
学修分野:情報科学、マテリアルサイエンス
詳しく見る
人間情報学
視覚情報処理学研究室 Laboratory on Visual Information Processing
画像・映像処理とユーザインタフェースに関わる研究を幅広く展開しています
キーワード:深層学習、動画像解析、物体検出・識別、医用画像処理、視線解析、撮影・編集支援システム
学修分野:情報科学
詳しく見る
次世代デジタル社会基盤
先進ネットワーキング研究室 Laboratory on Advanced Networking
For Forthcoming Research on Quantum, Wireless, Sensor and Energy
キーワード:量子、無線、ネットワーク、センサ、エネルギー
学修分野:情報科学
詳しく見る