- 博客(6)
- 收藏
- 关注
RSS订阅原创 LEAN4 语法学习之赋值与结构体（娱乐和编程向）
但是玩lean4真是掉坑里了，第一步就花了两天时间，因为没有人卖，干脆自己做了一个可以卖一键安装网盘包，也没空卖，还多花了一天两天时间写水文。下面的代码就是一个测试的代码，用程序员习惯方式做一个lean 代码的demo, 目的只是让有程序基础的玩家做一个暖场的操作。下文从一个产BUG老能手的角度，用僵化的程序狗思路试再用一下lean4, 因为数学证明实在是太远，所以只能从程序入门角度试用。--会有结果：(sorry /- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ... -/)
2024-11-12 12:15:02
1016
原创 学习使用lean4（娱乐向，初级入门）
在这个方面lean相较如思维导图类工具，它的描述对象更明确，更严谨，可计算，而且流程性更清晰。关于数学：我想起某日去理发，理发师正给我剪头边问他读小学的女儿数学作业如何，他女儿回答：“作业已做好了，老师教的已经懂了”。只要自己动下手就会有不一样的理解，lean的代码随便改，与一般的程序代码不同，改错也不影响后面的代码执行和结果，这对产BUG老能手来说真是福音！感觉lean4是个非常好的东西，不过对于不是这个行当的打工牛马来说，我还有一个更重要的结论：lean4对我其实没有啥用！已经学习了数的定义和运算。
2024-11-07 15:35:37
1251
原创 四川麻将出现天胡与地胡的概率
人在四川过年，免不了上桌打麻将，作为一个标准的麻将新手，上桌送钱是免不了的，当然在这个运七技三的游戏中，本民工居然还偶然有一天赢了一点点钱。 于是这个引起了本民工的好奇，实际上民工本人以前开发过斗地主外挂，还搞了三个麻将作弊APP还有配套的蓝牙硬件，有两个是用手机控制麻将出牌，有一个是用手机查看桌上所有人手上牌的（原理是用IC麻将牌）。所以，一定要远离赌博，珍爱生命！因为好奇...
2018-02-21 16:28:32
8152
10
原创 使用 SeetaFace 实现人脸识别
SeetaFace中科院山世光老师开源的人脸识别引擎，其实这个是一个相当不错的人脸识别引擎，自己实测之后，发现的确是比OpenCV自带的强很多。但是实话实说，SeetaFace自带的demo 程序就有点复杂了，太多细节要用户关注之后，把三个工程重新编译好之后，才能自己运行起来看效果，特别本民工这种开发环境一大堆，机器上同时配置了三个版本OpenCV的，的确是有点麻烦。另外还有那三个模型...
2018-02-11 11:46:20
1915
1
原创 VS2012使用OpenCV3.4
背景 科技民工，避免不了和各个版本的开发工具打交道，可种各样的开发工具，安装配置以及开发工具之间的冲突问题是一件非常让人头疼的事情。本来计算机是以精确可靠为最基本特征的，但是实际多数情况下，安装和配置开发环境或者部署服务器之类的事情，反而有了很大运气的成分在里面，真是让人哭笑不得。 比如本民工工作电脑之一，开发环境如下： 另外还有N个版本的eclipse是绿色安装的不...
2018-02-10 21:53:08
5569
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人