想开个博客,开放式投稿,利用 z3, prolog 或者 sympy 专攻“小学奥数” - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
est
V2EX    数学

想开个博客,开放式投稿,利用 z3, prolog 或者 sympy 专攻“小学奥数”

  •  
  •   est 2015-05-22 11:07:42 +08:00 5018 次点击
    这是一个创建于 3871 天前的主题,其中的信息可能已经有所发展或是发生改变。
    比如遇到这种题目

    http://news.mydrivers.com/1/431/431389.htm

    通过编程解题,做得比较好的话,还可以简化归纳出步骤。。。。。。。。。。。。

    最终的目标是训练机器学习自动做奥数题。。。。。。。。。

    大家觉得如何?用个 Jupyter 挂个交互式前端,后面用julia R C++ octave 都可以计算。
    12 条回复    2015-05-22 12:10:27 +08:00
    efi
        1
    efi  
       2015-05-22 11:08:48 +08:00
    efi
        2
    efi  
       2015-05-22 11:11:38 +08:00
    我觉得v2ex是有关键词监控的。发一个关键词过一阵就会被编辑掉,或者删掉。
    est
        3
    est  
    OP
       2015-05-22 11:13:43 +08:00
    @efi 那种比较睾端,受众太狭窄了。。。普遍高中以上才会去看吧。我的想法是把小孩从题海中解救出来。可以理解为一种比百度知道(全文索引+关键词匹配)更加“聪明”的答题平台。
    est
        4
    est  
    OP
       2015-05-22 11:14:20 +08:00
    @efi 可能是写cache。我抢楼遇到过。过一会儿又刷出来了。
    efi
        5
    efi  
       2015-05-22 11:18:39 +08:00
    @est 是真的关键词被编辑没了
    还有就是有关键词能在用户页看见在帖子里看不见
    est
        6
    est  
    OP
       2015-05-22 11:19:01 +08:00
    @efi 想法出发点是这样的: matrix67 那种级别的问题,是真正有兴趣的人才会去研究,没有必要去做这一块。

    而中小学的题目,很多是sb老师蛋痛无聊发明的去折磨小孩的工具。这样的工具才有一点实际意义。
    efi
        7
    efi  
       2015-05-22 11:20:24 +8:00
    @est 折磨小孩锻炼脑力,也没怎么折磨
    这个可以做成出题机
    est
        8
    est  
    OP
       2015-05-22 11:23:46 +08:00
    @efi 这都被你猜中了。。。。。。。。热门题目1元看答案,随机出题5元一道。

    可以根据全国看答案情况出一道 3σ 的人都解不出来的题目。复杂度评估,等等。
    est
        9
    est  
    OP
       2015-05-22 11:26:10 +08:00
    @efi 怎么说呢,初等算术,再怎么锻炼也只是初等方法,适量锻炼,非常赞同,过度折磨,就是无聊了。弄来弄去就是pattern了。计算机是最合适做有pattern的事。
    efi
        10
    efi  
       2015-05-22 11:31:51 +08:00
    这个贴你亏本了
    est
        11
    est  
    OP
       2015-05-22 11:35:52 +08:00
    @efi 之前挖的坑就是为了这种帖子嘛。嗯。
    TimLang
        12
    TimLang  
       2015-05-22 12:10:27 +08:00
    @est 你这个很多啊,比如有app叫什么学霸x的,直接手机拍照上传,帮你搜答案。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2344 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 25ms UTC 15:41 PVG 23:41 LAX 07:41 JFK 10:41
    Do have faith in what you're doing.
    div class="sep10">
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86