V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
est
V2EX  ›  数学

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

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

    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 +08: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   ·   实用小工具   ·   5221 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 35ms · UTC 09:28 · PVG 17:28 · LAX 01:28 · JFK 04:28
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.