情報数理（塚田 武志）

About关于研究室

プログラムの意味を、数学のことばで。

塚田武志先生は、プログラミング言語理論を研究しています。
数理論理学や圏論、機械学習といった道具を使って、プログラムを数学として扱います。
最近とくに関心をもっているのは、ゲーム意味論とそれに関係するモデルです。
もう一つの柱は、プログラムが正しく動くかを機械に確かめさせる自動検証です。

Research研究课题

プログラミング言語理論を研究しています。数理論理学や圏論、機械学習の道具を使い、ゲーム意味論と、プログラムの自動検証の二つを柱にしています。

※示意图

プログラミング言語理論↗

数理論理学や圏論、機械学習などの道具も使いながら、プログラミング言語理論を研究しています。最近はとくに、ゲーム意味論と関連するモデル、プログラムの自動検証に関心をもっています。

Voices学长学姐的评价

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

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