再帰プログラムの意味論について