コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
廣川研究室 HIROKAWA Laboratory
プログラミング言語と自動証明
キーワード：理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野：情報科学
詳しく見る
コンピューティング科学
藤﨑 英一郎 教授 FUJISAKI Eiichiro
藤﨑研究室 FUJISAKI Laboratory
情報通信システムの安全性を数学的に証明する
キーワード：暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
学修分野：情報科学
詳しく見る
コンピューティング科学
ラチャラク ティーラデチ 講師 RACHARAK Teeradaj
グェン研究室 NGUYEN Laboratory
ReaLearn: Reasoning and Learning for Trustworthy AI
キーワード：Trustworthy AI, Knowledge Representation and Reasoning, Explanation, Deep Learning, Knowledge-aware Machine Learning
学修分野：情報科学
詳しく見る
