結果 : computer programming and logic formulation