電子情報学系

数理論理学研究室

松田 直祐助教

研究室画像

研究概要

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

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


メンバー

教職員

教授
松田 直祐

連絡先

新潟工科大学 形式システム研究室

TEL: 0257-22-8157
E-mail: matsuda.naosuke@niit.ac.jp
E-mailアドレスの「@」を半角に置き換えてください。

Please scroll Page top