メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
早稲田大学 ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
山本 直輝
助手
Research Associate 助手
,
基幹理工学部
ウェブサイト
https://w-rdb.waseda.jp/html/100003281_ja.html
h-index
2
被引用数
1
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
2022
2023
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(2)
類似のプロファイル
(1)
Pureに変更を加えた場合、すぐここに表示されます。
フィンガープリント
Naoki Yamamotoが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
1
類似のプロファイル
Data structures
Engineering & Materials Science
100%
Pattern matching
Engineering & Materials Science
68%
Graph structures
Engineering & Materials Science
56%
Functional programming
Engineering & Materials Science
40%
High level languages
Engineering & Materials Science
37%
Modeling languages
Engineering & Materials Science
33%
Model checking
Engineering & Materials Science
32%
Computer programming languages
Engineering & Materials Science
27%
研究成果
年別の研究成果
2022
2022
2023
2023
2
Article
年別の研究成果
年別の研究成果
Type Checking Data Structures More Complex than Trees
Sano, J.
,
Yamamoto, N.
&
Ueda, K.
,
2023
,
In:
Journal of information processing.
31
,
p. 112-130
19 p.
研究成果
:
Article
›
査読
Open Access
Pattern matching
100%
Data structures
72%
Functional programming
58%
High level languages
54%
1
被引用数 (Scopus)
Engineering Grammar-Based Type Checking for Graph Rewriting Languages
Yamamoto, N.
&
Ueda, K.
,
2022
,
In:
IEEE Access.
10
,
p. 114612-114628
17 p.
研究成果
:
Article
›
査読
Open Access
Graph structures
100%
Data structures
89%
Shape
70%
Modeling languages
59%
Model checking
57%
1
被引用数 (Scopus)