作者查詢 / buganini

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

作者 buganini 在 PTT [ PLT ] 看板的留言(推文), 共103則

限定看板：PLT

看板排序：

首頁

尾頁

[閒聊] Lambda鱷魚蛋

[ PLT ]8 留言, 推噓總分: +5

作者: stopcrying - 發表於 2009/12/05 21:01(16年前)

4^F推buganini:ich bin schnappi, das kleine krokodile~12/09 01:22

7^F推buganini:就.. 一手鱷魚歌的歌詞XD12/20 20:07

8^F→buganini: 首12/20 20:07

[請益] 同樣數值匯出之後竟然無法讀取大問題 …

[ PLT ]6 留言, 推噓總分: +3

作者: yazin - 發表於 2009/09/13 00:08(16年前)

1^F推buganini:diff一下09/13 15:50

2^F→buganini:說不定是\r\n之類的問題09/13 15:51

5^F推buganini:diff並不只是svn的東西10/06 19:17

Re: [心得] Fixed-points, Curry-Howard, etc.

[ PLT ]2 留言, 推噓總分: +1

作者: godfat - 發表於 2007/04/27 20:02(18年前)

1^F推buganini:其實我覺得那個(a->a)->a是必需成立的04/26 06:34

2^F→buganini:在數學哲學裡面探討真理的部份，我覺得最基本的問題是04/26 06:35

3^F→buganini:因果論是正確的這個命題如果不正確的話也就不需探究04/26 06:35

4^F→buganini:true/false的問題希望我沒有誤解你的意思04/26 06:36

5^F推buganini:這似乎也跟The Church-Turing thesis有點關係04/26 06:40

6^F→buganini:(不是很清楚這些東西，但又好像摸到一點邊，這些真有趣:)04/26 06:40

7^F→buganini:不過想到這些就覺得有點淡淡的憂傷04/26 06:41

8^F→buganini:The Church-Turing thesis說是被普遍假定為真04/26 06:42

9^F→buganini:我就想，其實每個公設還不都是被假定為真04/26 06:42

10^F→buganini:我所相信的一切最後也是based on普遍認同.....~"~04/26 06:42

12^F推buganini:蛤? 我在等你多解說耶....04/26 09:09

13^F→buganini:之前一開始是在想"科學"本身的可證偽性...04/26 09:10

14^F→buganini:結果就慘了...無窮遞迴下去...那陣子頭昏昏的04/26 09:12

15^F→buganini:後來看到Kurt Godel不完備定理覺得真是深得我心04/26 09:13

16^F→buganini:我們在用的邏輯應該可以說是based on因果04/26 09:13

17^F→buganini:其他任何東西也都會based on something...04/26 09:14

18^F→buganini:就是那些所謂公理的東西無所依據...04/26 09:15

19^F→buganini:雖然是有人說依據真實世界,不過真實世界又因什麼而真實?04/26 09:15

20^F→buganini:於是就變成駭客任務了....04/26 09:16

21^F→buganini:wikipedia裡面有個條目就叫真理..我是從lambda calculus04/26 09:16

22^F→buganini:一路連到數學哲學，最後到真理...真理裡面有講一些理論04/26 09:18

23^F→buganini:其中有些我覺得像是宗教式的嘴砲,不過我也無從反駁....04/26 09:19

24^F→buganini:融貫,符合,共識這些我是覺得其實都一樣...04/26 09:19

25^F→buganini:融貫論+真實世界的真實=符合論04/26 09:20

26^F→buganini:真實世界的真實應該算是共識(其實也不一定,也許有人真的04/26 09:21

27^F→buganini:看的到阿飄,但我看不到) 總之最後都是共識..04/26 09:21

28^F→buganini:就是普遍認同...因為對錯都是人(們)在判定...04/26 09:22

29^F→buganini:剛剛在想，因果可不可以based on一個不符合因果的東西04/26 09:23

30^F→buganini:就是說non-deterministic的規則能不能建立出04/26 09:24

31^F→buganini:deterministic的結果.....頭又昏了...04/26 09:24

32^F→buganini:這不知道會不會弄成Russell paradox04/26 09:25

33^F→buganini:以上好像都應該是base on sth....真的昏了啦~"~04/26 09:26

34^F推buganini:慘慘慘...其實是based on沒錯...囧....04/26 09:33

35^F推buganini:令我我私底下其實覺得一切都是deterministic的04/26 09:40

36^F推buganini:這樣與同意Church-Turing thesis 等價嗎?...04/26 09:42

37^F推buganini:把共識的想法套用在社會的東西看,也很有趣,譬如法律04/26 09:48

38^F→buganini:法律應該是恐怖平衡(?)之後大家形成的共識訂出的規則04/26 09:50

39^F→buganini:其實沒有也沒關係，但為了避免小團體作怪，所以還是要有04/26 09:50

40^F→buganini:如果單就這樣而言，法律不應限定犯行04/26 09:51

41^F→buganini:只要限定刑罰和行刑人，剩下的公投...04/26 09:52

42^F→buganini:不過這樣又要考慮怎樣才能提案公投...不然有人告另一個人04/26 09:52

43^F→buganini:踩死蟑螂之類的....04/26 09:53

44^F→buganini:而且在人說眾多的社會公投也是很麻煩...所以還是要有法律04/26 09:54

45^F→buganini:對不起我瞎扯了..總之法律要能反映民意(共識),民意範圍..04/26 09:54

46^F→buganini:應該說每個人的意見所佔份量....不可考...04/26 09:56

47^F推buganini:sorry....= =04/28 01:54

[心得] Fixed-points, Curry-Howard, etc.

[ PLT ]47 留言, 推噓總分: +8

作者: noctem - 發表於 2007/04/25 16:29(18年前)

2^F推buganini:其實我覺得那個(a->a)->a是必需成立的04/26 06:34

3^F→buganini:在數學哲學裡面探討真理的部份，我覺得最基本的問題是04/26 06:35

4^F→buganini:因果論是正確的這個命題如果不正確的話也就不需探究04/26 06:35

5^F→buganini:true/false的問題希望我沒有誤解你的意思04/26 06:36

6^F推buganini:這似乎也跟The Church-Turing thesis有點關係04/26 06:40

7^F→buganini:(不是很清楚這些東西，但又好像摸到一點邊，這些真有趣:)04/26 06:40

8^F→buganini:不過想到這些就覺得有點淡淡的憂傷04/26 06:41

9^F→buganini:The Church-Turing thesis說是被普遍假定為真04/26 06:42

10^F→buganini:我就想，其實每個公設還不都是被假定為真04/26 06:42

11^F→buganini:我所相信的一切最後也是based on普遍認同.....~"~04/26 06:42

13^F推buganini:蛤? 我在等你多解說耶....04/26 09:09

14^F→buganini:之前一開始是在想"科學"本身的可證偽性...04/26 09:10

15^F→buganini:結果就慘了...無窮遞迴下去...那陣子頭昏昏的04/26 09:12

16^F→buganini:後來看到Kurt Godel不完備定理覺得真是深得我心04/26 09:13

17^F→buganini:我們在用的邏輯應該可以說是based on因果04/26 09:13

18^F→buganini:其他任何東西也都會based on something...04/26 09:14

19^F→buganini:就是那些所謂公理的東西無所依據...04/26 09:15

20^F→buganini:雖然是有人說依據真實世界,不過真實世界又因什麼而真實?04/26 09:15

21^F→buganini:於是就變成駭客任務了....04/26 09:16

22^F→buganini:wikipedia裡面有個條目就叫真理..我是從lambda calculus04/26 09:16

23^F→buganini:一路連到數學哲學，最後到真理...真理裡面有講一些理論04/26 09:18

24^F→buganini:其中有些我覺得像是宗教式的嘴砲,不過我也無從反駁....04/26 09:19

25^F→buganini:融貫,符合,共識這些我是覺得其實都一樣...04/26 09:19

26^F→buganini:融貫論+真實世界的真實=符合論04/26 09:20

27^F→buganini:真實世界的真實應該算是共識(其實也不一定,也許有人真的04/26 09:21

28^F→buganini:看的到阿飄,但我看不到) 總之最後都是共識..04/26 09:21

29^F→buganini:就是普遍認同...因為對錯都是人(們)在判定...04/26 09:22

30^F→buganini:剛剛在想，因果可不可以based on一個不符合因果的東西04/26 09:23

31^F→buganini:就是說non-deterministic的規則能不能建立出04/26 09:24

32^F→buganini:deterministic的結果.....頭又昏了...04/26 09:24

33^F→buganini:這不知道會不會弄成Russell paradox04/26 09:25

34^F→buganini:以上好像都應該是base on sth....真的昏了啦~"~04/26 09:26

35^F推buganini:慘慘慘...其實是based on沒錯...囧....04/26 09:33

36^F推buganini:令我我私底下其實覺得一切都是deterministic的04/26 09:40

37^F推buganini:這樣與同意Church-Turing thesis 等價嗎?...04/26 09:42

38^F推buganini:把共識的想法套用在社會的東西看,也很有趣,譬如法律04/26 09:48

39^F→buganini:法律應該是恐怖平衡(?)之後大家形成的共識訂出的規則04/26 09:50

40^F→buganini:其實沒有也沒關係，但為了避免小團體作怪，所以還是要有04/26 09:50

41^F→buganini:如果單就這樣而言，法律不應限定犯行04/26 09:51

42^F→buganini:只要限定刑罰和行刑人，剩下的公投...04/26 09:52

43^F→buganini:不過這樣又要考慮怎樣才能提案公投...不然有人告另一個人04/26 09:52

44^F→buganini:踩死蟑螂之類的....04/26 09:53

45^F→buganini:而且在人說眾多的社會公投也是很麻煩...所以還是要有法律04/26 09:54

46^F→buganini:對不起我瞎扯了..總之法律要能反映民意(共識),民意範圍..04/26 09:54

47^F→buganini:應該說每個人的意見所佔份量....不可考...04/26 09:56

Re: John Backus 逝世

[ PLT ]15 留言, 推噓總分: +10

作者: noctem - 發表於 2007/03/27 20:33(18年前)

12^F推buganini:front把code弄成parse tree,然後back再把tree修剪成精簡03/30 08:49

13^F→buganini:的樣子，然後DFS吐出組語或機語，大概這樣吧03/30 08:50

Re: [連結] 貼一個lazy eval的連接﹐非常淺顯易懂。

[ PLT ]7 留言, 推噓總分: +5

作者: noctem - 發表於 2007/03/21 15:04(18年前)

5^F推buganini:有人用啊...只是比較少03/23 19:35

6^F→buganini:Maxima就是Lisp寫的03/23 19:36

Re: [徵才]Functional Programming 的相關工作

[ PLT ]2 留言, 推噓總分: +1

作者: reader - 發表於 2007/03/07 21:00(19年前)

1^F推buganini:想了一下，如果把parse tree倒過來玩不知道會怎樣03/22 22:11

2^F→buganini:不過recursive function的reverse也不知道怎麼辦 @_@a03/22 22:11

首頁

尾頁