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

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

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

Share this Post