結果 : symbolic programming in python