ここには↓を解説できる者はおらんのか？
memory to memory
SICD machine
chemical abstract machine
categorical abstract machine
while-if machine