経歴
-
2025年04月-継続中
早稲田大学 基幹理工学部 情報理工学科 講師(任期付)
書類上は理工学術院所属
-
2022年04月-2025年03月
早稲田大学 基幹理工学部 情報理工学科 助手
書類上は理工学術院所属, 2022年度のみ情報通信学科扱い
2025/03/14 更新
早稲田大学 基幹理工学部 情報理工学科 講師(任期付)
書類上は理工学術院所属
早稲田大学 基幹理工学部 情報理工学科 助手
書類上は理工学術院所属, 2022年度のみ情報通信学科扱い
早稲田大学 大学院基幹理工学研究科 情報理工・情報通信専攻 博士後期課程
上田研究室
早稲田大学 大学院基幹理工学研究科 情報理工・情報通信専攻 修士課程
上田研究室
早稲田大学 基幹理工学部 情報理工学科
上田研究室 (2018年4月より配属)
グラフパターンマッチ
静的型検査
グラフ書換え言語
基幹理工学部長賞 優秀賞
2019年03月 早稲田大学
Grammar-based Pattern Matching and Type Checking for Difference Data Structures
Naoki Yamamoto, Kazunori Ueda
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming 1 - 13 2024年09月 [査読有り]
担当区分:筆頭著者
Engineering Grammar-Based Type Checking for Graph Rewriting Languages
Naoki Yamamoto, Kazunori Ueda
IEEE Access 10 114612 - 114628 2022年 [査読有り]
担当区分:筆頭著者
Type Checking Data Structures More Complex than Trees
Jin Sano, Naoki Yamamoto, Kazunori Ueda
Journal of Information Processing 31 112 - 130 2023年 [査読有り]
強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓
日本学術振興会 科学研究費助成事業
研究期間:
上田 和紀, 山本 直輝
Cアプリケーションデベロップメント
早稲田大学
Cプログラミング入門
早稲田大学
理工学基礎実験2A(工学系)
早稲田大学
情報理工学実験B・情報通信実験B「センサと制御」
早稲田大学
形式文法に基づいたデータ構造のパターンを応用したプログラム実行と検証
2023年 上田和紀
2022年 上田和紀
Click to view the Scopus page. The data was downloaded from Scopus API in March 13, 2025, via http://api.elsevier.com and http://www.scopus.com .