- 博客(6)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 在windows+eclipse环境下使用Z3
如何在windows环境下导入Z3到eclipse呢？具体步骤如下：1.下载官方已经生成好的Z3jar包（也可以在直接下载Z3的源文件自行生成jar包，但是比较麻烦，不推荐）下载地址：https://github.com/Z3Prover/z3/releases选择windows 64位或者32位的版本 2.解压文件夹到指定位置，在project中选择build path-&g...
2019-02-07 03:01:17
601
原创 AWS-EC2 部署安装hadoop
网上教程都太老旧了。。。排了无数的坑，写个教程方便以后看。。。1.创建EC2的虚拟机建立账号后进入EC2界面，选择创建实例，然后选择Ubuntu 16.04，t2micro的免费套餐，后面两项实例数量可以按需输入，硬盘大小同上，但注意免费的只有30G。安全组这一项一定要注意，如果设置错误会导致之后使用浏览器无法访问集群。安全组配置如下：最后创建实例的
2017-10-13 04:13:46
3739
1
原创 Cocos2d-x-3.x 向Layer或Scene传参
个人总结出了三种传参方法，说起来都是泪1. 在Layer或Scene的头文件中设置变量，并通过制作一个set（）函数来传参。比如：//头文件Class A : public Layer{ A(); ~A(); CREATE_FUNC(A); int number; void setNumber(int numb
2017-05-19 03:34:13
496
原创 java如何快速得到一个数组里面有多少种元素？
例：array = {1，1，3，5，5} 答：3种解决方案：Set kinds = new HashSet<>();for(int i : array){ kinds.add(i);}return kinds.size();
2017-05-15 02:09:49
3499
原创 JAVA foreach循环 怎么知道循环到第几次了？
没啥好办法，加一个变量吧= =int i = 0;for(var item : array){//real codes i++;}
2017-04-02 22:13:13
19194
4
遗传算法论文 中英对照
2016-05-28
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人