Skip to main navigation
Skip to search
Skip to main content
Keio University Home
Help & FAQ
English
日本語
Home
Profiles
Research Units
Research output
Search by expertise, name or affiliation
Faculty of Letters
Keio University
Undergraduate
Overview
Fingerprint
Network
Profiles
(65)
Research output
(851)
Research output
Research output per year
1980
2011
2012
2015
2016
2017
2018
2019
2020
2021
2022
2023
691
Article
53
Conference contribution
35
Chapter
31
Review article
41
More
15
Comment/debate
9
Editorial
8
Conference article
3
Book
2
Foreword/postscript
2
Paper
2
Letter
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Paper
Search results
2021
Talking with the Theorem Prover to Interactively Solve Natural Language Inference
Sumita, A.
,
Mineshima, K.
&
Miyao, Y.
,
2021
,
p. 321-330
.
10 p.
Research output
:
Contribution to conference
›
Paper
›
peer-review
Theorem proving
100%
Natural Language
72%
Inference
63%
Semantics
51%
Experiments
26%
Visual representation of negation: Real world data analysis on comic image design
Sato, Y.
,
Mineshima, K.
&
Ueda, K.
,
2021
,
p. 1166-1172
.
7 p.
Research output
:
Contribution to conference
›
Paper
›
peer-review
Graphic Novels
100%
Deep Learning
76%
Data Analysis
41%
Equipment and Supplies
33%
Image classification
29%
2
Citations (Scopus)