情報数理（塚田 武志）

About研究室について

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

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

Research研究テーマ

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

※イメージ画像

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

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

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。