作者查詢 / freef1y3

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

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

限定看板：Programming

看板排序：

首頁

尾頁

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

作者: descent - 發表於 2017/11/03 18:04(8年前)

4^F→freef1y3: 用yacc要解conflict也是很麻煩的140.113.210.57 11/09 20:21

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

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

1^F→freef1y3:保證所有程式都會終止！好神奇140.113.55.148 07/02 22:44

2^F→freef1y3:那我可以用Agda來計算3n+1數列嗎？140.113.55.148 07/02 22:46

3^F→freef1y3:若可用Agda來計算3n+1數列，Agda又保證140.113.55.148 07/02 22:47

4^F→freef1y3:所有程式都會終止，那是不是就證明了140.113.55.148 07/02 22:48

5^F→freef1y3:3n+1數列一定會終止呢？140.113.55.148 07/02 22:48

6^F推freef1y3:還是說Agda的表達能力無法計算3n+1數列呢140.113.55.148 07/02 22:50

7^F推freef1y3:(3n+1數列指的是3n+1 Conjecture)140.113.166.34 07/03 11:00

13^F推freef1y3:原來如此，我就在想如果所有程式都能終止140.113.166.34 07/04 15:29

14^F→freef1y3:那這個語言的表達能力一定很有限140.113.166.34 07/04 15:29

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

作者: davidowen - 發表於 2012/05/14 14:53(13年前)

6^F→freef1y3:如果能crack AES應該會轟動國際140.113.208.229 05/16 19:41

[ Programming ]7 留言, 推噓總分: +4

作者: id2007 - 發表於 2007/11/27 01:31(18年前)

4^F推freef1y3:xxx.s depends on xxx.S140.113.95.47 11/28 18:05

5^F→freef1y3:$@是xxx.s，$<是xxx.S140.113.95.47 11/28 18:06

6^F→freef1y3:也就是遇到任何副檔名是.s的target140.113.95.47 11/28 18:09

7^F→freef1y3:都用這條來處理140.113.95.47 11/28 18:09

首頁

尾頁