Calvin's Marbles


  • 首页

  • 关于

  • 归档

  • 标签

  • 搜索

魔方公式总结

发表于 2017-06-09

基本规律

  1. x, y, z系操作后不影响面的转动方向
    例如对于公式y’ U’ (R’ U R),经过y’后变为U’ F’ U F,只有转R变成了转F,但方向是不变的
  2. 常用手法
    1. fsc1: R U R’ U’
      将当前槽起到顶层
    2. fsc2: U R U’ R’
      fsc1的反操作
    3. s: U’ F’ U F
    4. t: U R U’ R
阅读全文 »

Word用法

发表于 2017-05-20

微软Office产品的特点是看上去非常弱智,但实际用起来各种棘手。比较麻烦的有自动添加引用文献、设置多级标题、自动续表等工作。这里介绍以下我的方法。

阅读全文 »

明史之太祖本纪

发表于 2017-05-20

去敦煌玩回来的时候,卓林兄说其实明史是写的不错的,建议我读读。

阅读全文 »

敦煌游记

发表于 2017-04-25

三月份,我法发现去敦煌非常实惠,于是招贤纳士,最终克服重重阻碍,确定4月19日前往兰州,20日晚从兰州前往敦煌,4月21日和22日在敦煌游览两天并在23日前往嘉峪关,23日晚从嘉峪关到兰州,并于24日晚从兰州返程。

阅读全文 »

multiprocessing模块用法

发表于 2017-04-18

由于一些历史原因,我们常用的CPython具有全局解释器锁(GIL)机制,这把全局大锁导致Python的多线程性能非常糟糕,为了解决这个问题,一种方案是使用协程代替多线程,由于自带了yield,Python实现协程相对于C++那种动辄setjmp或者CPS,抑或利用Linux.ucontext等基于运行时的组件的方式相比要优雅了一些。不过协程对于IO密集型的程序用处很大,但如果我们想要实现并行,那么使用多进程来取代多线程就是一个必由之路。
multiprocessing和multiprocessing.dummy是Python下两个常用的多进程和多线程模块。

阅读全文 »

毕业实习报告

发表于 2017-04-14

为期五天的毕业实习,我们参观了位于溧水的宁溧城际铁路交通路地铁站TA08标段、苏州虎丘塔、上海青浦区金泽水库、上海石洞口无水处理厂、无锡雪浪山边坡治理工程、南京双子楼及南京眼。

阅读全文 »

使用tensorflow训练神经网络

发表于 2017-04-02

tensorflow是一个采用数据流图(data flow graph)的机器学习平台,其特征在于用点和线来表示状态和计算过程。

阅读全文 »

coq学习笔记

发表于 2017-03-12

因为没找到比较好的 Coq 中文学习资料,所以主要根据官方 doc和tutorial-nahas等国外的教程来学习。

这篇文章被 deprecated 掉了,详见 Software Foundation 做题的 Notes。

阅读全文 »

使用deap实现遗传算法

发表于 2017-03-02

最近在做毕业论文,其中涉及到一项是检验某个为有限元程序优化参数的遗传算法的正确性。
deap是Python上的一个遗传算法库,主要封装了和遗传算法相关的生成population、select、mutant这些相关的操作。比较方便的是deap框架允许自定义个体类型、种群生成方法、评价函数等,所以灵活性比较高

阅读全文 »

Haskell学习笔记

发表于 2017-02-28

Channel 9上有个非常好的介绍Haskell和函数式编程的视频,这个视频是根据Programming in Haskell这本书讲述的。Slides和Codes可以在http://www.cs.nott.ac.uk/~pszgmh/上下载,不过后面几章会和实际的课程内容有出入。此外Learn You a Haskell上的教程,以及Wikipedia上有关Haskell的词条也是非常有用的。
相对于其他的一些Haskell的教程,通过这本书/视频进行学习能够了解Haskell的好处以及设计原理

阅读全文 »
1…171819…25
Calvin Neo

Calvin Neo

246 日志
152 标签
RSS
GitHub Twitter Weibo
Links
  • xqq
  • wenwen
  • zyyyyy
© 2015 - 2025 Calvin Neo   Hosted by Coding Pages
版权声明
由 Hexo 强力驱动
主题 - NexT.Muse