Recursiveに構成された計算機構

ってないのかな。調べるのも面倒だしまいっか。それよりプログラムを書かないと。