コンピューティング科学
井之上 直也 准教授 INOUE Naoya
言語推論研究室 RebelsNLU: Reading between the Lines for Natural Language Understanding
知識を使って推論し
言葉の行間を読むマシンをつくる
キーワード：言語モデル、深層学習、人工知能、説明可能性、データサイエンス、推論、論述理解
学修分野：情報科学
詳しく見る
コンピューティング科学
上原 隆平 教授 UEHARA Ryuhei
離散アルゴリズム研究室 Laboratory on Discrete Algorithms
折り紙、パズル、ゲームを学んで
柔らかな知力を身につけよう！
キーワード：計算折り紙、組合せ最適化、グラフアルゴリズム、ゲームやパズルの計算量
学修分野：情報科学
詳しく見る
コンピューティング科学
緒方 和博 教授 OGATA Kazuhiro
形式手法と高信頼ソフトウェア研究室 Laboratory on Formal Methods and Trustworthy Software
状態機械をとおして複雑な分散システムの核心に迫る！
キーワード：分散システム、状態機械、定理証明、モデル検査
学修分野：情報科学
詳しく見る
コンピューティング科学
グェン ミン レ 教授 NGUYEN, Minh Le
生成AI研究室 Laboratory on Deep Learning, Natural Language Understanding, Large Language Models, and Legal Text Processing
Deep Learning, Natural Language
Understanding, Legal Text Processing
キーワード：Natural Language Understanding, Text Summarization, Deep Learning, Knowledge Representation
学修分野：情報科学
詳しく見る
コンピューティング科学
クルカスキー ブライアン 教授 KURKOSKI, Brian Michael
ＢＩＴＳ情報理論と応用研究室 Laboratory on BITS – Bits of Information, Transmitted and Stored
BITS: Bits of Information,
Transmitted and Stored
キーワード：reliable communications, wireless communications, data storage
学修分野：情報科学
詳しく見る
コンピューティング科学
シュワルツマン グレゴリー 准教授 SCHWARTZMAN, Gregory
アルゴリズム研究室 Laboratory on Algorithms
Algorithm design for the 21st century
キーワード：Distributed Systems, Graph Algorithms, Combinatorial Optimizations, Streaming Algorithms
学修分野：情報科学
詳しく見る
コンピューティング科学
髙木 翼 准教授 TAKAGI Tsubasa
計算論理学研究室 Laboratory on Computational Logic
計算機科学の理論的基盤を構築する
キーワード：多ソート等式論理、様相論理、動的論理（ホーア論理）、時相論理（モデル検査）、量子論理
学修分野：情報科学
詳しく見る
コンピューティング科学
トラン ヴ ドゥック 講師 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
学修分野：情報科学
詳しく見る
コンピューティング科学
平石 邦彦 教授 HIRAISHI Kunihiko
平石研究室 HIRAISHI Laboratory
R7年10月以降に入学する学生の受け入れは行いません
過去・現在・未来を知るための
システム数理技術について学ぼう
キーワード：離散事象／ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野：情報科学
詳しく見る
