研究者
J-GLOBAL ID：202201007340587524   更新日: 2024年11月08日

山本 直輝

ヤマモト ナオキ | Yamamoto Naoki
所属機関・部署：
早稲田大学 基幹理工学部

早稲田大学 基幹理工学部 について


職名： 助手
ホームページURL (1件)： http://www.ueda.info.waseda.ac.jp/~yamamoto/
研究分野 (1件)： ソフトウェア
研究キーワード (3件)： グラフパターンマッチ ,  静的型検査 ,  グラフ書換え言語
競争的資金等の研究課題 (1件)：
  • 2023 - 2026 強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓
論文 (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を用いたグラフ型検査. 情報処理学会全国大会講演論文集. 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
  • 白井涼也, 今川連, 山本直輝, 上田和紀. 再帰的なグラフパターンに基づく反復パターンマッチングの効率化手法. 日本ソフトウェア科学会大会講演論文集(Web). 2023. 40th. 1-19
  • 山本直輝, 上田和紀. グラフ書換え言語におけるグラフ操作の軽量かつ静的な型検査. 日本ソフトウェア科学会大会講演論文集(Web). 2023. 40th. 1-9
もっと見る
Works (1件)：
  • Webブラウザ上で動作するラムダ計算インタプリタ「らむだフレンズ」
    山本直輝 2018 - 現在
学歴 (3件)：
  • 2021 - 現在 早稲田大学 大学院基幹理工学研究科 情報理工・情報通信専攻 博士後期課程
  • 2019 - 2021 早稲田大学 大学院基幹理工学研究科 情報理工・情報通信専攻 修士課程
  • 2015 - 2019 早稲田大学 基幹理工学部 情報理工学科
経歴 (1件)：
  • 2022/04 - 現在 早稲田大学 基幹理工学部 助手
受賞 (1件)：
  • 2019/03 - 早稲田大学 基幹理工学部長賞 優秀賞
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM