人間情報学
チ ヨンフン 准教授 JI Yonghoon
移動ロボティクス研究室 Laboratory on Mobile Robotics
無人移動ロボットによる知的環境センシング技術の開拓
キーワード：移動ロボット、ロボットビジョン、環境センシング、 SLAM（simultaneous localization and mapping）
学修分野：情報科学、マテリアルサイエンス
詳しく見る
人間情報学
チョン ナクヨン 教授 CHONG, Nak-Young
知能ロボティクス研究室 Intelligent Robotics Laboratory
知覚認知情報処理に基づく知能ロボット実現を目指す
キーワード：自律型知能ロボット、知覚認知情報処理、日常生活支援ロボット
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
冨田 尭 准教授 TOMITA Takashi
形式手法研究室 Laboratory on Formal Methods
ソフトウェアの高安全化・高信頼化を目指して
キーワード：モデル検査、プログラム検証、仕様検証、モデル生成、プログラム生成、テスト生成
学修分野：情報科学
詳しく見る
コンピューティング科学
トラン ヴ ドゥック 講師 TRAN Vu Duc
人間・AIシナジー研究室 Laboratory on Human-AI Synergy
Safe domain- savvy AI for reliable human–AI synergy
キーワード：Deep Learning, Natural Language Understanding, Generative AI, Legal Engineering, Social Media Analysis
学修分野：情報科学
詳しく見る
人間情報学
長谷川 忍 教授 HASEGAWA Shinobu
学習情報学研究室 Laboratory on Learning Informatics
「学び方の学び」を支援する学際的研究環境
キーワード：AI in Education、スキル学習支援、主体的学習支援、エデュテイメント、遠隔教育システム
学修分野：知識科学、情報科学
詳しく見る
創造社会デザイン
林 幸雄 教授 HAYASHI Yukio
複雑ネットワーク科学研究室 Laboratory on Complex Network Science
災害に強く日常的にも役立つ
近未来のネットワーク設計法を探ろう
キーワード：ネットワーク科学、無線通信、フラクタル統計物理、生物メカニズム、アルゴリズム、最適化、SNS、インフルエンサー
学修分野：知識科学、情報科学、融合科学
詳しく見る
共創インテリジェンス
日髙 昇平 准教授 HIDAKA Shohei
計算認知科学研究室 Laboratory on Computational Cognitive Science
認知を理解して知的システムを創造し、
知的システムに喩えて認知を理解する。
キーワード：意味認知、理解、学習、言語発達、身体運動、模倣、コミュニケーション、情報、計算理論、非線形力学系
学修分野：知識科学、情報科学
詳しく見る
コンピューティング科学
平石 邦彦 教授 HIRAISHI Kunihiko
平石研究室 HIRAISHI Laboratory
R7年10月以降に入学する学生の受け入れは行いません
過去・現在・未来を知るための
システム数理技術について学ぼう
キーワード：離散事象／ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野：情報科学
詳しく見る
コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
計算理論研究室 Laboratory on Theory of Computation
プログラミング言語と自動証明
キーワード：理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野：情報科学
詳しく見る
