Rchr
J-GLOBAL ID：202201007340587524
Update date: Nov. 08, 2024
Yamamoto Naoki
ヤマモト ナオキ | Yamamoto Naoki
Affiliation and department：
Job title：
Research Associate
Homepage URL (1)：
http://www.ueda.info.waseda.ac.jp/~yamamoto/
Research field (1)：
Software
Research keywords (3)：
Graph Pattern Matching
, Static Type Checking
, Graph Rewriting Languages
Research theme for competitive and other funds (1)：
- 2023 - 2026 強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓
Papers (11)：
-
Naoki Yamamoto, Kazunori Ueda. Grammar-based Pattern Matching and Type Checking for Difference Data Structures. Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. 2024. 1-13
-
山田啓太, 山本直輝, 上田和紀. Token-passing-style graph type checking in graph rewriting systems. 情報処理学会全国大会講演論文集. 2024. 86th. 1. 113-114
-
Jin Sano, Naoki Yamamoto, Kazunori Ueda. Type Checking Data Structures More Complex than Trees. Journal of Information Processing. 2023. 31. 112-130
-
白井涼也, 今川連, 山本直輝, 上田和紀. Optimization Methods for Iterative Pattern Matching based on Recursive Graph Patterns. 日本ソフトウェア科学会大会講演論文集(Web). 2023. 40th. 1-19
-
山本直輝, 上田和紀. Lightweight Static Type Checking of Graph Manipulation in Graph Rewriting Languages. 日本ソフトウェア科学会大会講演論文集(Web). 2023. 40th. 1-9
ｍore...
Works (1)：
-
Lambda Friends, a web interpreter for the lambda calculus
Naoki Yamamoto 2018 - 現在
Education (3)：
- 2021 - 現在 Waseda University Graduate School of Fundamental Science and Engineering Department of Computer Science and Communications Engineering
- 2019 - 2021 Waseda University Graduate School of Fundamental Science and Engineering Department of Computer Science and Communications Engineering
- 2015 - 2019 Waseda University School of Fundamental Science and Engineering Department of Computer Science and Engineering
Work history (1)：
- 2022/04 - 現在 Waseda University School of Fundamental Science and Engineering Research Associate
Awards (1)：
- 2019/03 - Waseda University Outstanding Student Award (Dean's Award)
Return to Previous Page
