| smx(SmallX)个人资料 |
|
|
|
 |
身份： |
[用户] |
 |
新伪币： |
731.10 |
| |
可用： |
730.40 |
| |
旧伪币： |
1643.14 |
 |
上站次数： |
[1865] |
 |
发文数： |
[5226] |
 |
经验值： |
[7391](航空母舰) |
 |
表现值： |
[77](优等生) |
 |
生命力： |
[730] |
 |
信箱： |
[ ] |
 |
在线状态： |
目前不在站上 |
| 上次在[Thu May 15 21:03:51 2008]从[65.93.]到本站一游 |
| 离线时间(Thu May 15 21:16:20 2008) |
|
|
| [写信问候] [发送讯息] [加入好友] [删除好友] |
|
| |
 |
smx的讨论区 |
 |
|
|
|
|
|
|
个人说明档 |
|
|
|
SmallX (1982-), one of the most WSN Mathematician, Logicion and Computer
Scientist of our time.
His work covered but did not limit to co-algebraic arithmatics, programming
language theory, categorial architecture of software, computational number
theory, formal language and automata. He is currently working on automata-
based proves of theories of semigroup. He is a master of C, C++, UML, Java,
All, HOL, SMV, Html, PHP, SQL, Matlab, Maple, Chinese(mandarin), Japanese,
English, etc. etc.
How to reach him:
1. Call his name, his Majesty master SmallX, to the air. He may receive it.
2. Write him an email to smx@mitbbs or SmallX@BDWM.
|
|
| |
|
| |
|
|
