KEIO RESEARCHERS INFORMATION SYSTEM

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

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

• 哲学第151集編集後記

  Mineshima, Kōji

  Philosophy (三田哲學會)   ( 151 ) 268 - 268 2023.03

  ISSN  05632099

• 哲学第149集編集後記

  Mineshima, Kōji

  Philosophy (三田哲學會)   ( 149 ) 191 - 191 2022.03

  ISSN  05632099

• Development of the interdisciplinary study of logic and sensitivity

  Mineshima, Koji

  学事振興資金研究成果実績報告書 (慶應義塾大学)  2022

• 哲学第146集編集後記

  Mineshima, Kōji

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

  ISSN  05632099

• 哲学第147集編集後記

  Mineshima, Kōji

  Philosophy (三田哲學會)   ( 147 ) 172 - 172 2021.03

  ISSN  05632099

display all >>

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

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

• Interdisciplinary research on reasoning based on a unified perspective of logic and deep learning

  2024.04

  -

  2028.03

  基盤研究(B), Principal investigator

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

  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

  2024

• PHILOSOPHICAL TOPICS, SEMINAR 4

  2024

• PHILOSOPHICAL TOPICS, SEMINAR 3

  2024

• INTRODUCTION TO LOGIC 2

  2024

• INTRODUCTION TO LOGIC 1

  2024

display all >>