- 博客(6)
- 资源 (1)
- 收藏
- 关注
原创 在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
628
原创 AWS-EC2 部署安装hadoop
网上教程都太老旧了。。。排了无数的坑,写个教程方便以后看。。。1.创建EC2的虚拟机建立账号后进入EC2界面,选择创建实例,然后选择Ubuntu 16.04,t2micro的免费套餐,后面两项实例数量可以按需输入,硬盘大小同上,但注意免费的只有30G。安全组这一项一定要注意,如果设置错误会导致之后使用浏览器无法访问集群。安全组配置如下:最后创建实例的
2017-10-13 04:13:46
3776
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
530
原创 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
3529
原创 JAVA foreach循环 怎么知道循环到第几次了?
没啥好办法,加一个变量吧= =int i = 0;for(var item : array){//real codes i++;}
2017-04-02 22:13:13
19311
4
遗传算法论文 中英对照
2016-05-28
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人