メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Keio University ホーム
ヘルプ&FAQ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
人文社会学科 哲学系
学部
文学部
概要
フィンガープリント
ネットワーク
プロファイル
(4)
研究成果
(56)
研究成果
年別の研究成果
1988
2012
2019
2021
2022
21
Conference contribution
20
Article
7
Conference article
3
Chapter
5
その他
2
Paper
2
Editorial
1
Comment/debate
年別の研究成果
年別の研究成果
7 件
出版年、タイトル
(降順)
出版年、タイトル
(昇順)
タイトル
タイプ
フィルター
Conference article
検索結果
2019
On quasi ordinal diagram systems
Okada, M.
&
Takahashi, Y.
,
2019
,
In:
Electronic Proceedings in Theoretical Computer Science, EPTCS.
288
,
p. 38-49
12 p.
研究成果
:
Conference article
›
査読
Open Access
Pattern matching
100%
2012
On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective
Mineshima, K.
,
Sato, Y.
,
Takemura, R.
&
Okada, M.
,
2012
,
In:
CEUR Workshop Proceedings.
854
,
p. 17-31
15 p.
研究成果
:
Conference article
›
査読
Students
100%
3
被引用数 (Scopus)
The efficacy of diagrams in syllogistic reasoning: A case of linear diagrams
Sato, Y.
&
Mineshima, K.
,
2012 7月 13
,
In:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
7352 LNAI
,
p. 352-355
4 p.
研究成果
:
Conference article
›
査読
Efficacy
100%
Reasoning
89%
Diagram
81%
Euler
26%
Inclusion
12%
10
被引用数 (Scopus)
2009
Conservativity for a hierarchy of Euler and Venn reasoning systems
Mineshima, K.
,
Okada, M.
&
Takemura, R.
,
2009 12月 1
,
In:
CEUR Workshop Proceedings.
510
,
p. 37-61
25 p.
研究成果
:
Conference article
›
査読
Semantics
100%
6
被引用数 (Scopus)
2007
Computational semantics for basic protocol logic a stochastic approach
Bana, G.
,
Hasebe, K.
&
Okada, M.
,
2007
,
In:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
4846 LNCS
,
p. 86-94
9 p.
研究成果
:
Conference article
›
査読
Formal Model
100%
Semantics
65%
Logic
59%
Security Analysis
59%
Formal Analysis
52%
1
被引用数 (Scopus)
2003
Theoretical Computer Science: Preface
Girard, J. Y.
,
Okada, M.
&
Scedrov, A.
,
2003 2月 18
,
In:
Theoretical Computer Science.
294
,
3
,
p. 333
1 p.
研究成果
:
Conference article
›
査読
1996
Electronic Notes in Theoretical Computer Science: Preface
Girard, J. Y.
,
Okada, M.
&
Scedrov, A.
,
1996
,
In:
Electronic Notes in Theoretical Computer Science.
3
,
p. 1
1 p.
研究成果
:
Conference article
›
査読