Yutaro Tsunekawa(恒川 雄太郎)
Table of Contents
1 Home
Yutaro Tsunekawa
- Master student
- Waseda Univ: Department of Computer Science and Communications Engineering
- Ueda Lab
1.1 Research Interest
Programming and programming language
- Graph rewriting system
- Program manipulation(esp. meta programming)
- State transition system and Model checking
1.2 Scholarships, Grants and Awards
- Fixstars Scholarship Program 2017
- Programming Languages Mentoring Workshop(PLMW)Scholarship, ICFP2016.
1.3 Contact
tsunekawa`at`ueda.info.waseda.ac.jp
2 Publications
2.1 Selected Publications
- Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda:
Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
Meta-Programming Techniques and Reflection (META'16), Amsterdam, Oct. 2016.
paper&slide
2.2 Complete List of Papers / Presentations
2.2.1 2017
- 恒川 雄太郎, 上田和紀:
メタインタプリタを用いた容易に拡張可能なモデル検査器の実装.
第19回プログラミングおよびプログラミング言語ワークショップ(ポスター発表),2017.
2.2.2 2016
- Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda:
Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
Meta-Programming Techniques and Reflection (META'16), Amsterdam, Oct. 2016.
- 恒川 雄太郎, 冨岡 太一, 上田 和紀:
グラフ書き換えに基づくモデル記述言語LMNtalによるLMNtalモデル検査器の実装.
日本ソフトウェア科学会第33回大会,東北大学,2016.
- 恒川 雄太郎, 上田和紀:
グラフ書き換え言語LMNtalにおける第一級書き換え規則の設計と実装.
第18回プログラミングおよびプログラミング言語ワークショップ(ポスター発表),2016.