作者luvingyou (喜欢悠闲日子^^)
看板Eng-Class
标题[求译] 系统动态的一段文字
时间Wed Nov 23 11:49:20 2011
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
1F：推 priv:後半是说希望在未来可以让这个「直觉」具体化(更明确) 11/23 12:01
2F：推 priv:如果可能的话最好能变成一个公式化的证明 11/23 12:02
3F：推 priv:以上意译，请自行斟酌用词 11/23 12:06
4F：→ priv:注意这边formulate不代表公式化，但是我想不太到怎麽 11/23 12:07
5F：→ priv:去润这边的proof，总是应该是指有系统的证明 11/23 12:07