作者查詢 / scwg

總覽項目：發文 | 留言 | 暱稱

作者 scwg 在 PTT [ Programming ] 看板的留言(推文), 共12則

限定看板：Programming

首頁

尾頁

[ Programming ]6 留言, 推噓總分: +2

作者: sunkill - 發表於 2014/09/02 04:04(11年前)

1^F→scwg: http://openstenoproject.org/128.36.232.45 09/02 09:14

[ Programming ]9 留言, 推噓總分: +1

作者: kamihane - 發表於 2014/08/15 18:25(11年前)

5^F→scwg: then 的部份是對的, 但是就算 X 不是 Alan,128.36.232.45 08/16 08:33

6^F→scwg: 還是不能確定 B=0: 如果 X=Charlie 呢?128.36.232.45 08/16 08:33

7^F→scwg: BTW, X=Alan 應該是 B=1,D=1,*F*=1128.36.232.45 08/16 08:34

[ Programming ]9 留言, 推噓總分: +1

作者: s86092x - 發表於 2014/07/27 00:24(11年前)

5^F→scwg: math.stackexchange.com/questions/58198128.36.232.45 07/27 02:39

6^F→scwg: |V| 次 BFS 是 O(|E||V|+|V|^2) 如果 |E| >128.36.232.45 07/27 02:41

7^F→scwg: |V|^1.376 而且願意刻, 可以做矩陣相乘...128.36.232.45 07/27 02:42

[ Programming ]18 留言, 推噓總分: +3

作者: xcycl - 發表於 2014/06/24 17:53(11年前)

8^F→scwg:Agda 的終止判定會找不到「証據」可以保証一128.36.232.45 07/04 11:27

9^F→scwg:定會終止, 於是回報 warning / error128.36.232.45 07/04 11:28

10^F→scwg:在 Coq 裡寫程式的人要主動提供「線索」128.36.232.45 07/04 11:29

11^F→scwg: (metric, 須非負且遞減), 3n+1 還沒有已知的128.36.232.45 07/04 11:30

12^F→scwg:metric, 因此 Coq 也不會接受128.36.232.45 07/04 11:30

首頁

尾頁