研究概要

形式化 – 多くの事象をコンピュータで扱える対象に –

本研究室では、様々な概念・事象を形式化（コンピュータで扱えるよう体系化）し、その形式化された体系の性質を調べることで様々な概念・事象の性質を調べています。
特に、数学で現れる「証明」や「計算」といった概念を形式化した体系に興味があります。