I’m a graduate student at University of Tsukuba, belonging to Programming Logic Group. My research target is functional programming language and that mechanisms, especially program conversion, control operators, delimited continuation and algebraic effects.

Engineering Skills


  • OCaml
  • Lua
  • Haskell
  • Scala
  • JavaScript
  • Racket
  • Scheme
  • Ruby


  • Linux


  • Git (locally, GitHub, BitBucket)

  • Zsh

  • Vim/Neovim

Main works


llix is meta-circular Lua interpreter with exception and delimited continuation mechanism. The interpreter uses CPS as intermediate representation to manage contexts. Here is a presentation.


Opeth is Lua VM 5.3 Bytecode optimizer and debug tools.

Lua VM is not documented officially while the source code is opened. For implementing Opeth, I read VM’s source code.

Opeth has an optimizer, bytecode visualizer, step-by-step instruction interpreter, based on global data/control -flow analysis, and, assembly-like language compiled to the bytecode.

Here is a report.


Pnyao is pdf management system. It adopts server-client method The server uses play framework and you can access with web browser as client.


Bachelor: College of Information Science, University of Tsukuba, 04/2013 ~ 03/2018

I researched about intermediate representation about compiler for functional language. In this research I designed the intermediate language for impure functional language and optimization for them.

Bachelor thesis: 合流点を追加したコンパイラ中間言語の設計と検証

Graduate school: same as above, 04/2018 ~

We taclke to the relationship about asymmetric coroutines and algebraic effects.

Poster session at JSSST2018: ワンショットの限定継続に着目した代数的効果から非対称コルーチンへの変換

Work career

  • National Institute of Advanced Industrial Science and Technology, 09/2014 ~ 02/2015
  • AgilePoint Japan, 05/2015 ~ 11/2018
  • HERP, inc. 11/2018 ~
  • Linux Development head office, Fujitsu, as an internship, 09/2015 ~ 10/2015


『つくってかんたんVM-Based Interpreter』 from 『Dragon University 技術書典5』

This column focuses on how to design virtual machine-based interpreter and implement it. You can learn the formalization of the VM state and the compilation rules from the source to the instruction sequence.

The book gives an implementation of toy language and you can see the source code. You can purchase here.