Li-Fan Chen says to YSITD
目前幾乎沒有任何程式語言可以做到那種推斷好ㄇ