KEIO RESEARCHERS INFORMATION SYSTEM

Papers, etc., Registered in KOARA 【 Display / hide 】

Papers, etc., Registered in KOARA 【 Display / hide 】

• 哲学第149集編集後記

  Mineshima, Kōji

  Philosophy （三田哲學會)   （ 149 ） 191 - 191 2022.03

  ISSN  05632099

• 哲学第146集編集後記

  Mineshima, Kōji

  Philosophy （三田哲學會)   （ 146 ） 193 - 194 2021.03

  ISSN  05632099

• 哲学第147集編集後記

  Mineshima, Kōji

  Philosophy （三田哲學會)   （ 147 ） 172 - 172 2021.03

  ISSN  05632099

• A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic

  Mineshima, Kōji

  科学研究費補助金研究成果報告書 2020

• Interdisciplinary study on logic, with a special focus on intuitionistic logic

  Mineshima, Kōji

  科学研究費補助金研究成果報告書 2017

display all >>

Research Projects of Competitive Funds, etc. 【 Display / hide 】

Research Projects of Competitive Funds, etc. 【 Display / hide 】

• 証明論と型理論に基づく自然言語の形式意味論の新しい枠組み

  2021.04

  -

  2024.03

  MEXT,JSPS, Grant-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Principal investigator

• 証明論と図形論理の手法に基づく自然言語推論の統合的分析

  2017.04

  -

  2022.03

  MEXT,JSPS, Grant-in-Aid for Scientific Research, Grant-in-Aid for Early-Career Scientists , Principal investigator

Courses Taught 【 Display / hide 】

Courses Taught 【 Display / hide 】

• 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

display all >>