メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Keio University ホーム
ヘルプ&FAQ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
白旗 優
商学部
ウェブサイト
https://k-ris.keio.ac.jp/html/100001022_ja.html
h-index
13
被引用数
2
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
1996
2006
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(2)
類似のプロファイル
(1)
Pureに変更を加えた場合、すぐここに表示されます。
フィンガープリント
Masaru Shirahataが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
1
類似のプロファイル
Zermelo
Arts & Humanities
100%
Conservative Extension
Arts & Humanities
99%
Cut-elimination
Arts & Humanities
93%
Set Theory
Arts & Humanities
77%
Logic
Mathematics
53%
Interpretation
Mathematics
47%
First-order
Mathematics
45%
Linear Logic
Arts & Humanities
44%
研究成果
年別の研究成果
1996
1996
2006
2006
2
Article
年別の研究成果
年別の研究成果
The Dialectica interpretation of first-order classical affine logic
Shirahata, M.
,
2006 12月 16
,
In:
Theory and Applications of Categories.
17
,
p. 49-79
31 p.
研究成果
:
Article
›
査読
Logic
100%
Interpretation
89%
First-order
86%
Style
15%
Contraction
13%
10
被引用数 (Scopus)
A linear conservative extension of zermelo-fraenkel set theory
Shirahata, M.
,
1996 1月 1
,
In:
Studia Logica.
56
,
3
,
p. 361-392
32 p.
研究成果
:
Article
›
査読
Zermelo
100%
Conservative Extension
99%
Cut-elimination
93%
Set Theory
77%
Linear Logic
44%
3
被引用数 (Scopus)