メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Keio University ホーム
ヘルプ&FAQ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
文学部
慶應義塾大学
学部
概要
フィンガープリント
ネットワーク
プロファイル
(65)
研究成果
(850)
研究成果
年別の研究成果
1980
2011
2012
2015
2016
2017
2018
2019
2020
2021
2022
2023
688
Article
55
Conference contribution
35
Chapter
31
Review article
41
その他
15
Comment/debate
9
Editorial
8
Conference article
3
Book
2
Foreword/postscript
2
Paper
2
Letter
年別の研究成果
年別の研究成果
2 件
出版年、タイトル
(降順)
出版年、タイトル
(昇順)
タイトル
タイプ
フィルター
Paper
検索結果
2021
Talking with the Theorem Prover to Interactively Solve Natural Language Inference
Sumita, A.
,
Mineshima, K.
&
Miyao, Y.
,
2021
,
p. 321-330
.
10 p.
研究成果
:
Paper
›
査読
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.
研究成果
:
Paper
›
査読
Graphic Novels
100%
Deep Learning
76%
Data Analysis
41%
Equipment and Supplies
33%
Image classification
29%
2
被引用数 (Scopus)