column value
英文名稱 partial recursive function
中文名稱 部分遞迴函數