作者查詢 / joshs

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

作者 joshs 的總覽 (PTT發文,留言,暱稱)

發文數量: 6

收到的『推』: 16 (48.5%)

收到的『→』: 17 (51.5%)

收到的『噓』: 0 (0.0%)

留言數量: 11

送出的『推』: 7 (63.6%)

送出的『→』: 4 (36.4%)

送出的『噓』: 0 (0.0%)

使用過的暱稱: 1

joshs 在 PTT 最新的發文, 共 6 篇

Re: [問題] Free Monad 是怎麼來的？

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

作者: joshs - 發表於 2013/10/30 22:10(10年前)

Re: [其他] 邏輯中的"定義"該怎麼寫？

[ Math ]9 留言, 推噓總分: +8

作者: joshs - 發表於 2013/04/18 07:52(11年前)

Re: [問題] What does ⊥-elimination do?

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

作者: joshs - 發表於 2013/03/06 04:49(11年前)

Re: [問題] What does ⊥-elimination do?

[ PLT ]0 留言, 推噓總分: 0

作者: joshs - 發表於 2013/03/06 02:11(11年前)

Re: [問題] '#'的意思

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

作者: joshs - 發表於 2012/12/30 19:49(11年前)

joshs 在 PTT 最新的留言, 共 11 則

Re: [問題] Free Monad 是怎麼來的？

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

作者: joshs - 發表於 2013/10/30 22:10(10年前)

3^F→joshs:我 category theory 不好啦.. 像剛剛 xcycl 才罵我太隨便 XD10/30 23:20

[問題] 請問如何準備Haskell的考試?

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

作者: adu - 發表於 2013/02/14 05:04(11年前)

5^F推joshs:還想說國內怎麼可能有哪家想（敢）做這麼驚世駭俗的事情...02/15 02:04

7^F推joshs:我個人如無特別機緣，大學四年應該是學不到 FP.02/15 15:39

8^F→joshs:考什麼還得看老師上課的方向和深度。至少得看到課程大綱吧。02/15 15:43

9^F→joshs:（不過看到課程大綱，八成就會說「沒錯，就考這些」XD）02/15 15:44

[問題] 請問flolac 2012今年會有嗎？

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

作者: sinicauto - 發表於 2012/04/30 18:30(12年前)

1^F推joshs:有！不過我只知道今年是 8/27 - 9/07 上課。05/01 01:56

2^F→joshs:網站有空殻了 - http://flolac.iis.sinica.edu.tw/flolac1205/01 01:57

Re: [閒聊] Go To 有害論大筆戰

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

作者: noctem - 發表於 2009/07/04 20:46(15年前)

1^F推joshs:推「詩意」… XD07/04 21:01

[公告] 謝師宴注意事項

[ b94902xxx ]50 留言, 推噓總分: +46

作者: blueirene - 發表於 2009/06/21 16:01(15年前)

43^F推joshs: 柯向上06/24 16:47

joshs 在 PTT 的暱稱紀錄, 共 1 個

暱稱：Josh Ko

文章數量：6