信息数理研究室（塚田 武志）

About关于研究室

用数学的语言，表达程序的含义。

塚田武志老师研究程序设计语言理论。
他运用数理逻辑、范畴论和机器学习等工具，把程序当作数学对象来研究。
最近尤其关注的是博弈语义学及与之相关的模型。
另一大支柱是自动验证，即让机器来检验程序能否正确运行。

Research研究课题

研究程序设计语言理论。运用数理逻辑、范畴论、机器学习等工具，以博弈语义学和程序自动验证为两大支柱。

※示意图

程序设计语言理论↗

在研究程序设计语言理论的过程中，也运用数理逻辑、范畴论、机器学习等工具。最近尤其关注博弈语义学及相关模型，以及程序的自动验证。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。