半世紀前に神が再帰関数をこのように定義した。
http://www-formal.stanford.edu/jmc/recursive.pdf
In general (we shall discuss an exception), the routine for a recursive function
uses itself as a subroutine.