作者查詢 / carelai

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

作者 carelai 在 PTT 全部看板的發文, 共45篇

限定看板：全部

3

[問題] 有人能很好地講解一下Scott semantics嗎?

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

作者: carelai - 發表於 2015/10/07 20:44(8年前)

[問題] Lattice Theory在PLT的重要性？

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

作者: carelai - 發表於 2015/08/08 00:29(8年前)

[幾何] 求問Topology中的連續

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

作者: carelai - 發表於 2015/06/24 18:16(9年前)

[閒聊]如何學習科技英語？已刪文

[ ST-English ]4 留言, 推噓總分: +3

作者: carelai - 發表於 2015/06/08 16:15(9年前)

[微積] 求導數

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

作者: carelai - 發表於 2015/06/04 00:56(9年前)

[閒聊] 科技英語和日常英語完全不一樣

[ ST-English ]1 留言, 推噓總分: +1

作者: carelai - 發表於 2015/04/17 23:31(9年前)

[討論] 覺得Racket很神奇

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

作者: carelai - 發表於 2015/03/26 18:21(9年前)

[語彙] 日文的單詞怎么記？

[ NIHONGO ]92 留言, 推噓總分: +12

作者: carelai - 發表於 2015/03/14 03:58(9年前)

[請益] 有人了解Racket嗎？

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

作者: carelai - 發表於 2015/03/12 11:24(9年前)

[請益] Common Lisp和Scheme的差異

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

作者: carelai - 發表於 2015/03/03 23:06(9年前)

3