/ 2月 12, 2020/ ニュース, 講演会・談話会・最終講義

静岡大学大学院自然科学系教育部（創造科学技術大学院）博士論文公聴会を以下の通り、実施しました。

日時：2020年2月12日(水)10:15〜11:45
会場：静岡大学理学部C棟309号室
講演者：矢崎大志（静岡大学大学院創造科学技術大学院）
タイトル：「Semantical approach to subformula property of modal logics related to K4」(K4 に関する様相論理の部分論理式性の意味論的手法を用いた研究)