zhaoway (
zhaoway
) wrote,
@
2005
-
11
-
16
08:29:00
反例
建立一个命题。然后等着被人举反例。这个是在是件恐怖的事情。按照 Curry-Howard Isomorphism 这个和程序员写了程序出来以后、等着 Bug 出现的心情应该是一样的。^_^
(
Post a new comment
)
bbbush
2005-11-16 01:00 am UTC
(
link
)
Curry-Howard Isomorphism 又是啥？
(
Reply to this
) (
Thread
)
bbbush
2005-11-16 01:01 am UTC
(
link
)
晕，白活了
(
Reply to this
) (
Parent
)
我无聊的时候
(Anonymous)
2005-12-03 02:20 pm UTC
(
link
)
我无聊的时候，就下一命题，然后尽力去证明他成立，好像自己在演讲一样，然后证明反命
题。有时候发觉有的命题明显成立，或者命题看起来是有道理的，但在证明的时候却很困难
，论证显得很无力，反命题却有一堆论据。
(
Reply to this
) (
Thread
)
Re: 我无聊的时候
(Anonymous)
2006-08-08 03:43 pm UTC
(
link
)
多谢了。
*
(http://www.nikesupplier.com)
^
(http://www.nikeshoesshop.com)
-
(http://www.nikeshoes-wholesale.com)
^
(http://www.nike-shoes-sale.com)
#
(http://www.shoesnike.cn)
(
Reply to this
) (
Parent
)
yuntrip
(Anonymous)
2006-09-21 07:38 am UTC
(
link
)
云南旅游
(http://www.7caiyun.com/index.html)
云南旅游
(http://www.7caiyun.com/yunnantravel.html)
丽江旅游
(http://www.7caiyun.com/lijiangtravel.html)
昆明旅游
(http://www.7caiyun.com/kmtravel.html)
香格里拉旅游
(http://www.7caiyun.com/xianggelila.html)
西双版纳旅游
(http://www.7caiyun.com/xishuangbanna.html)
大理旅游
(http://www.7caiyun.com/dalilijiang.html)
丽江
(http://www.7caiyun.com/lijiang.html)
香格里拉
(http://www.7caiyun.com/xianggelila.html)
大理
(http://www.7caiyun.com/dalilijiang.html)
西双版纳
(http://www.7caiyun.com/xishuangbanna.html)
云南旅行社
(http://www.7caiyun.com/ynlvxingshe.html)
昆明旅行社
(http://www.7caiyun.com/kmlvxingshe.html)
云南旅游网
(http://www.yuntrip.com/Index.html)
云南旅游
(http://www.yuntrip.com/travelline/Index.html)
云南旅游线路
(http://www.yuntrip.com/travelline/List_8.html)
云南旅游景点
(http://www.yuntrip.com/travelscene/index.html)
云南旅游地图
(http://www.yuntrip.com/travelnotice/List_122.html)
云南旅行社
(http://www.yuntrip.com/travelline/List_8.html)
昆明旅行社
(http://www.yuntrip.com/travelline/List_11.html)
云南旅游信息
(http://www.yuntrip.com/news/index.html)
大理旅游
(http://www.yuntrip.com/travelline/List_13.html)
丽江旅游
(http://www.yuntrip.com/travelline/List_12.html)
香格里拉旅游
(http://www.yuntrip.com/travelline/List_21.html)
西双版纳旅游
(http://www.yuntrip.com/travelline/List_14.html)
昆明旅游
(http://www.yuntrip.com/travelline/List_11.html)
云南旅游注意事项
(http://www.yuntrip.com/travelnotice/List_33.html)
云南丽江旅游
(http://www.yuntrip.com/travelline/List_17.html)
云南自助旅游
(http://www.yuntrip.com/travelnotice/List_123.html)
(
Reply to this
)
[www.china123456.com 拓展培训]
(Anonymous)
2007-08-23 03:17 am UTC
(
link
)
拓展培训
(http://www.china123456.com)
拓展训练
(http://www.52tuozhan.com)
拓展训练
(http://www.china123456.com)
荣泰按摩椅
(http://www.bjkasj.cn)
东方神按摩椅
(http://www.bjkasj.cn)
光端机
(http://www.dynejunhui.com)
北京婚庆
(http://www.010xyy.com)
北京月嫂
(http://www.xyyjiazheng.com)
家政
(http://www.xyyjiazheng.com)
拓展培训
(http://www.52tuozhan.com)
按摩椅
(http://www.bjkasj.cn)
叉车
(http://www.bjjac.cn)
超声波清洗机
(http://www.xwjing.com)
涡轮流量计
(http://www.flow17.com)
婚庆公司
(http://www.zfz1936.com)
除皱
(http://www.huangsiso.com)
电路维修测试仪
(http://www.lingzhitong.com)
电路板维修
(http://www.lingzhitong.com)
精密天平
(http://www.uelab.net)
单片机培训
(http://www.edu-embedded.com)
塑料袋
(http://www.bjquanli.com)
单片机学习
(http://www.edu-embedded.com)
神经性耳聋
(http://www.medel.com.cn)
调压器
(http://www.bchy.com.cn)
人工耳蜗
(http://www.medel.com.cn)
包皮过长
(http://www.nvxf.com)
妇科病
(http://www.nvxf.com)
无痛流产
(http://www.nvxf.com)
前列腺炎
(http://www.nvxf.com)
药物流产
(http://www.nvxf.com)
美术培训
(http://www.hqdl-art.com)
减肥
(http://www.klkxbj.com)
可丽可心
(http://www.klkxbj.com)
计量泵
(http://www.bj-li-gao.com)
回流焊
(http://www.tonzh.com)
波峰焊
(http://www.tonzh.com)
点胶机
(http://www.tonzh.com)
工作服
(http://www.meiguihong.com)
北京婚庆公司
(http://www.bjsxt.cn)
草原旅游
(http://www.kzcyw.com)
保洁公司
(http://www.jsbj.net)
rubber hose
(http://www.aflrubber.cn)
北京律师
(http://hhls.018098.cn)
北京律师
(http://www.lan-chou.com)
冷却塔
(http://www.bjtcda.com)
干燥箱
(http://www.uelab.net)
高温电阻炉
(http://www.uelab.net)
抽湿机
(http://www.uelab.net)
冷冻干燥
(http://www.shky.com.cn)
冻干机
(http://www.shky.com.cn)
冷冻干燥机
(http://www.shky.com.cn)
冻干
(http://www.shky.com.cn)
真空冷冻干燥机
(http://www.shky.com.cn)
热式质量流量计
(http://www.flow17.com)
超声波流量计
(http://www.flow17.com)
涡街流量计
(http://www.flow17.com)
电磁流量计
(http://www.flow17.com)
led
(http://www.kindco.com.cn)
led显示屏
(http://www.kindco.com.cn)
显示屏
(http://www.kindco.com.cn)
电子显示屏
(http://www.kindco.com.cn)
SMT贴片机
(http://www.tonzh.com)
搬家公司
(http://www.xtbj.cn)
北京搬家公司
(http://www.xtbj.cn)
扫描仪
(http://www.3r.com.cn)
扫描笔
(http://www.3r.com.cn)
硬盘切换器
(http://www.3r.com.cn)
止血海绵
(http://www.chlht.com)
超低温冰箱
(http://www.uelab.net)
分光光度计
(http://www.uelab.net)
恒温箱
(http://www.uelab.net)
(
Reply to this
)
What i can find on this forum ? I new here
(Anonymous)
2008-04-06 03:23 am UTC
(
link
)
HELLO ALL. LOOK FREE SEX VIDEOS:
http://sexvideos.createblog.com/blog/ent
ry.php?id=9168
(
Reply to this
)
cennrXFltRHf
(Anonymous)
2008-08-27 06:27 am UTC
(
link
)
vEEnEF hlgo8G3bdDa2Nx
(
Reply to this
)
vYamtbvUeYKWnWlzGc
(Anonymous)
2008-09-10 09:50 am UTC
(
link
)
Good crew it's cool :)
(
Reply to this
)
YIOZQrdrGafRtWfU
(Anonymous)
2008-09-27 04:04 pm UTC
(
link
)
real beauty page
(
Reply to this
)
hEdhmEIRuADYhkIWGc
(Anonymous)
2008-09-27 07:08 pm UTC
(
link
)
Very Good Site
(
Reply to this
)
Need to download XRumer 5.0 for free!
(Anonymous)
2009-05-02 11:46 am UTC
(
link
)
Well!! I want to download software pack X-Rumer 5.07 PALLADIUM for free. Any download link?
I'm so need this magic program! It's can break captchas automatically! Activate accounts via email automatically too! Absolutely great software! Help me!
And did you hear news - price for XRumer 5.0 Palladium will grow up to $540 after 15 may 2009... And XRumer 2.9 and 3.0 - too old versions, it's cant break modern catpchas and cant break modern anti-bot protections. But XRumer 5.0 Palladium CAN!!!!
So help me for download this great program for free! Thanks!
(
Reply to this
)
Explore LJ
Life
Entertainment
Music
Culture
News & Politics
Technology
Post to Journal
Interest
Region
Site & User
FAQ
Email
IM Info
Username:
Create an Account
Forgot your login or password?
Login w/ OpenID
Password:
Remember Me
English • Español • Deutsch • Русский…
![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small}
