哈!

[datura (天使的翅膀)]

formal method program: run time reduced from 830sec -> 14sec XD

洪強者走過來: "你這個鉛筆盒 我國小好像也用過..."


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.20.247
推 weichiehaba:很難懂~~ XD
推 masam:按：只有真強者跟真強者才會心有靈犀一點通咩～～