>>58
UCSD p-Systemみたいなもんか?