コンピューティング科学
井之上 直也 准教授 INOUE Naoya
井之上研究室 INOUE Laboratory
知識を使って推論し
言葉の行間を読むマシンをつくる
キーワード：言語モデル、深層学習、人工知能、説明可能性、データサイエンス、推論、論述理解
学修分野：情報科学
詳しく見る
コンピューティング科学
上原 隆平 教授 UEHARA Ryuhei
上原研究室 UEHARA Laboratory
折り紙、パズル、ゲームを学んで
柔らかな知力を身につけよう！
キーワード：計算折り紙、組合せ最適化、グラフアルゴリズム、ゲームやパズルの計算量
学修分野：情報科学
詳しく見る
コンピューティング科学
緒方 和博 教授 OGATA Kazuhiro
緒方研究室 OGATA Laboratory
状態機械をとおして 複雑な分散システムの核心に迫る！
キーワード：分散システム、状態機械、定理証明、モデル検査
学修分野：情報科学
詳しく見る
コンピューティング科学
小川 瑞史 教授 OGAWA Mizuhito
小川研究室 OGAWA Laboratory
理論を現実の問題に： 信頼できるソフトウェア、セキュアなシステム
キーワード：Formal language, Combinatorics, Rewriting systems, State transition systems, Formal methods, SMT solver, Binary code analysis
学修分野：情報科学
詳しく見る
コンピューティング科学
グェン ミン レ 教授 NGUYEN, Minh Le
グェン研究室 NGUYEN Laboratory
Deep Learning, Natural Language Understanding, Legal Text Processing
キーワード：Natural Language Understanding, Text Summarization, Deep Learning, Knowledge Representation
学修分野：情報科学
詳しく見る
コンピューティング科学
クルカスキー ブライアン 教授 KURKOSKI, Brian Michael
クルカスキー研究室 KURKOSKI Laboratory
BITS: Bits of Information, Transmitted and Stored
キーワード：reliable communications, wireless communications, data storage
学修分野：情報科学
詳しく見る
コンピューティング科学
シュワルツマン グレゴリー 准教授 SCHWARTZMAN, Gregory
シュワルツマン研究室 SCHWARTZMAN Laboratory
Algorithm design for the 21st century
キーワード：Distributed Systems, Graph Algorithms, Combinatorial Optimizations, Streaming Algorithms
学修分野：情報科学
詳しく見る
コンピューティング科学
髙木 翼 准教授 TAKAGI Tsubasa
髙木(翼)研究室 TAKAGI Laboratory
計算機科学の理論的基盤を構築する
キーワード：多ソート等式論理、様相論理、動的論理（ホーア論理）、時相論理（モデル検査）、量子論理
学修分野：情報科学
詳しく見る
コンピューティング科学
平石 邦彦 教授 HIRAISHI Kunihiko
平石研究室 HIRAISHI Laboratory
過去・現在・未来を知るための システム数理技術について学ぼう
キーワード：離散事象／ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野：情報科学
詳しく見る
