電子情報学系
松田 直祐助教
本研究室では、様々な概念・事象を形式化(コンピュータで扱えるよう体系化)し、その形式化された体系の性質を調べることで様々な概念・事象の性質を調べています。 特に、数学で現れる「証明」や「計算」といった概念を形式化した体系に興味があります。
TEL: 0257-22-8157 E-mail: matsuda.naosuke@niit.ac.jp E-mailアドレスの「@」を半角に置き換えてください。
Please scroll Page top