-
Affiliation
-
Faculty of Letters, Department of Humanities and Social Science (Philosophy) ( Mita )
-
Position
-
Professor
KEIO RESEARCHERS INFORMATION SYSTEM |
Details of a Researcher
このページはJavascriptを使用しています。すべての機能を使用するためにはJavascript を有効にする必要があります。
Mineshima, Koji
|
|
|
Abductive Reasoning with Syllogistic Forms in Large Language Models
Abe H., Ando R., Morishita T., Ozeki K., Mineshima K., Okada M.
Lecture Notes in Computer Science 15504 LNCS 3 - 17 2025
ISSN 03029743
Sato T., Kubota A., Mineshima K.
Proceedings of the Annual Meeting of the Association for Computational Linguistics 4 977 - 990 2025
ISSN 0736587X
Building a Large Dataset of Human-Generated Captions for Science Diagrams
Sato Y., Suzuki A., Mineshima K.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 14981 LNAI 393 - 401 2024
ISSN 03029743
Can Machines and Humans Use Negation When Describing Images?
Sato Y., Mineshima K.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 14522 LNCS 39 - 47 2024
ISSN 03029743
Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?
Ando R., Ozeki K., Morishita T., Abe H., Mineshima K., Okada M.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 14981 LNAI 232 - 248 2024
ISSN 03029743
Development of the interdisciplinary study of logic and sensitivity
Mineshima, Koji
学事振興資金研究成果実績報告書 (慶應義塾大学) 2022
Yada K., Takama Y., Mineshima K., Satoh K.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 13856 LNAI v - vi 2023
ISSN 03029743
Okazaki N., Yada K., Satoh K., Mineshima K.
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 12758 LNAI v - vi 2021
ISSN 03029743
Interdisciplinary research on reasoning based on a unified perspective of logic and deep learning
基盤研究(B), Principal investigator
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
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
INTENSIVE SEMINAR: PHILOSOPHY 1
2026
RESEARCH METHODS FOR THE ARTS AND HUMANITIES 2
2026
INTENSIVE SEMINAR: PHILOSOPHY 3
2026
INTENSIVE SEMINAR: PHILOSOPHY 2
2026
CONTEMPORARY LOGIC ISSUES 1
2026
Click to view the Scopus page. The data was downloaded from Scopus API in April 05, 2026, via http://api.elsevier.com and http://www.scopus.com .