PkmX
@PkmX
male Taipei, Taiwan
National Chiao Tung University
Department of Computer Science
Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
Department of Computer Science
Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
PkmX
好奇
如果沒修網程設概論直接修研究所的網程設會不會大爆炸 
PkmX
說
https://i.imgur.com/sFD1J.png LXDE on Arch Linux ARM on Android 
PkmX
好奇
跟風：不可以整理，直接貼上你的桌面 :challenge_accepted:
PkmX
問
有人有買AI課本可以告訴我fig 4.19長怎樣嗎= =
PkmX
需要
自動化FPGA板管理機器人
PkmX
說
有人知道如果已經裝了vs2010，然後又裝vs2008會不會怎樣呢？
PkmX
說
AI作業狀態：deC++11izing ^q^
PkmX
說
Compiler助教寄信說我的作業編不起來，不過我剛剛試freebsd/linux/cygwin底下都可以make成功啊= =a