再帰プログラムの意味論について http://www.kurims.kyoto-u.ac.jp/~hassei/papers/sugaku07.pdf 読んでみたがさっぱりわからなかったぞ！(´ー｀)ふははは