結果 : what is a computable function