ミンスキー、melzak-lambek、shepherdson-sturgisモデルによるテープの切り刻み.