-
所属(所属キャンパス)
-
文学部 人文社会学科(哲学系) ( 三田 )
-
職名
-
教授
峯島 宏次 ( ミネシマ コウジ )
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
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
論理と深層学習の統合的視点に基づくリーズニングの学際的研究
峯島 宏次, 基盤研究(B), 補助金, 研究代表者
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
文部科学省・日本学術振興会, 科学研究費助成事業, 峯島 宏次, 基盤研究(C), 補助金, 研究代表者
証明論と図形論理の手法に基づく自然言語推論の統合的分析
文部科学省・日本学術振興会, 科学研究費助成事業, 若手研究(B), 補助金, 研究代表者
哲学研究会Ⅰ
2026年度
人文学研究の方法論Ⅱ
2026年度
哲学研究会Ⅲ
2026年度
哲学研究会Ⅱ
2026年度
現代論理学の諸問題Ⅰ
2026年度
Click to view the Scopus page. The data was downloaded from Scopus API inApril 05, 2026, via http://api.elsevier.com and http://www.scopus.com .