[求譯] 系統動態的一段文字

看板Eng-Class作者 (喜歡悠閒日子^^)時間14年前 (2011/11/23 11:49), 編輯推噓3(302)
留言5則, 1人參與, 最新討論串1/1
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

11/23 12:01, , 1F
後半是說希望在未來可以讓這個「直覺」具體化(更明確)
11/23 12:01, 1F

11/23 12:02, , 2F
如果可能的話最好能變成一個公式化的證明
11/23 12:02, 2F

11/23 12:06, , 3F
以上意譯,請自行斟酌用詞
11/23 12:06, 3F

11/23 12:07, , 4F
注意這邊formulate不代表公式化,但是我想不太到怎麼
11/23 12:07, 4F

11/23 12:07, , 5F
去潤這邊的proof,總是應該是指有系統的證明
11/23 12:07, 5F
文章代碼(AID): #1Ep6r3uC (Eng-Class)