-
Affiliation
-
Faculty of Letters, Department of Humanities and Social Science (Philosophy) (Mita)
-
Position
-
Associate Professor
![]() KEIO RESEARCHERS INFORMATION SYSTEM |
Details of a Researcher
このページはJavascriptを使用しています。すべての機能を使用するためにはJavascript を有効にする必要があります。
Mineshima, Koji
|
|
Mineshima, Kōji
科学研究費補助金研究成果報告書 2020
Interdisciplinary study on logic, with a special focus on intuitionistic logic
Mineshima, Kōji
科学研究費補助金研究成果報告書 2017
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
MEXT,JSPS, Grant-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Principal investigator
証明論と図形論理の手法に基づく自然言語推論の統合的分析
MEXT,JSPS, Grant-in-Aid for Scientific Research, Grant-in-Aid for Early-Career Scientists , Principal investigator
RESEARCH METHODS FOR THE ARTS AND HUMANITIES 2
2023
PHILOSOPHICAL TOPICS, SEMINAR 4
2023
PHILOSOPHICAL TOPICS, SEMINAR 3
2023
INTRODUCTION TO LOGIC 2
2023
INTRODUCTION TO LOGIC 1
2023