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

1.3 Contact

tsunekawa`at`ueda.info.waseda.ac.jp

2 Publications

2.1 Selected Publications

  1. 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 2016

  1. Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda:
    Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
    Meta-Programming Techniques and Reflection (META'16), Amsterdam, Oct. 2016.
  2. 恒川 雄太郎, 冨岡 太一, 上田 和紀:
    グラフ書き換えに基づくモデル記述言語LMNtalによるLMNtalモデル検査機の実装.
    日本ソフトウェア科学会第33回大会,東北大学,2016.
  3. 恒川 雄太郎, 上田和紀:
    グラフ書き換え言語LMNtalにおける第一級書き換え規則の設計と実装.
    第18回プログラミングおよびプログラミング言語ワークショップ(ポスター発表),2016.

Author: yutaro

Created: 2017-02-05 Sun 04:35

Emacs 24.5.1 (Org mode 8.2.10)

Validate