型システム 〜プログラムの安全性を支える数学〜 - Laborify

2018/12/09 410 users 概念 京都大学大学院 種類 大学 研究

京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から... 続きを読む