推 priv:後半是說希望在未來可以讓這個「直覺」具體化(更明確) 11/23 12:01
推 priv:如果可能的話最好能變成一個公式化的證明 11/23 12:02
推 priv:以上意譯，請自行斟酌用詞 11/23 12:06
→ priv:注意這邊formulate不代表公式化，但是我想不太到怎麼 11/23 12:07
→ priv:去潤這邊的proof，總是應該是指有系統的證明 11/23 12:07
Based on this experience, our intuition suggests that fingding
counter-examples would be difficult, but it would be desirable
in future work to be able to specify this intuition and if possible
formulate it as a proof.
根據這個經驗, 我們直覺認為找出反例是困難的,
但在未來工作它卻是令人嚮往的, 因為它可以......
後面黃字這段實在不會翻了@@
請各位幫忙(也請順便指正前面的翻譯)
謝謝!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 163.20.242.152