search
search

酒寄 健

酒寄 健助教
SAKAYORI Ken
情報理工学系研究科　情報科学科
メールアドレス sakayori@is.s.u-tokyo.ac.jp
電話番号
居室
外部リンク

研究分野

プログラミング言語

研究テーマ

プログラム意味論、型システム、プログラム検証

研究内容の概要

キーワード

↑