松田 直祐
マツダ ナオスケ (Naosuke Matsuda)
更新日: 03/02
基本情報
- 所属
- 湘南工科大学 情報学部 情報学科 講師
- 学位
-
博士（理学）(2016年3月 東京工業大学)
- 研究者番号
- 80817619
- ORCID iD
https://orcid.org/0000-0002-1925-2000- J-GLOBAL ID
- 202101012060271145
- researchmap会員ID
- R000022500
研究分野
1経歴
4-
2023年4月 - 現在
-
2021年4月 - 2023年4月
-
2019年4月 - 2021年3月
-
2016年4月 - 2019年3月
学歴
3-
2013年4月 - 2016年3月
-
2011年4月 - 2013年3月
-
2007年4月 - 2011年3月
委員歴
2-
2024年4月 - 現在
-
2024年4月 - 現在
論文
8-
Notre Dame Journal of Formal Logic 64(3) 363-376 2023年8月 査読有り
-
Logic, Language, Information, and Computation 175-189 2022年9月 査読有り
-
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic LogicNotre Dame Journal of Formal Logic 63(2) 243-259 2022年5月1日 査読有り責任著者
-
Studia Logica 109(6) 1413-1422 2021年12月 査読有り
-
Notre Dame Journal of Formal Logic 61(4) 591-600 2020年11月1日 査読有り責任著者
-
Logic Journal of the IGPL 25(5) 686-696 2017年10月1日 査読有り責任著者
-
Studia Logica 103(6) 1225-1244 2015年3月 査読有り責任著者
-
Studia Logica 102(1) 175-183 2014年2月 査読有り責任著者