モトウラ ショウタ
Shota Motoura
本浦 庄太
所属
追手門学院大学 理工学部 数理・データサイエンス学科
職種
助教
発表年月日
2019/01/25
発表テーマ
動的認識論理のための一般的枠組み –正準対応に向けて–
会議名
大岡山ロジックセミナー
主催者
鹿島亮
発表形式
口頭（一般）
開催地名
東京工業大学
発表者・共同発表者
本浦 庄太