- 博客(5)
- 资源 (12)
- 问答 (1)
- 收藏
- 关注
原创 Mac OSX下安装使用定理证明器Z3
我并不知道你们是否能成功,这只是我的一次尝试,希望对你们有帮助1.http://z3.codeplex.com/wikipage?title=Building%20the%20unstable%20%28working-in-progress%29%20branch&referringTitle=Documentation 按上面的步骤进行,对于懒得看英文的我这里可以再说一下步骤
2014-03-11 23:33:00 2149 1
原创 MAC下安装mysql并使用java链接进行增删改查操作(帮助自己记忆)
申明:好多知识来自网络,我在这里更多的只是做了一个整合1.mysql下载MAC下mysql安装包有两种,一种是.tar.gz,另一种是.dmg,我下载的是.dmg的,我下面讲述的都是按照.dmg安装进行,至于.tar.gz我没有试过下载地址为:http://dev.mysql.com/downloads/mysql/下载后解压有3个包需要安装,如图:我是按这样的顺序进行
2013-12-25 01:17:16 1294 2
原创 菜鸟对于expr使用遇到的问题
今天在linux下使用expr 这个命令时,是死活出不来自己想要的结果,代码如下:sum=0for cccdo if [ 'expr $ccc \>= 0'=1 ] then echo -e "$ccc+\c" sum=`expr $sum + $ccc` fidone echo -e "\b=$sum"我主要目的是计
2013-07-04 10:44:09 1030
原创 如何实现在任意一个目录下都可以执行想要执行的文件
这里我用mysql来举例,我的mysq执行文件安装在 /usr/bin/ 目录下命令:env 先用这个命令查看一下 PATH 这一行中是否有你想要的路径,如果有那你就可以直接在任意路径下执行你 想要执行的文件,如果没有要下面的方法(注释:PATH 这一行不同路径是用“:”隔开的,就相当与两个冒号之 间就是一个路径,这个我一开始不懂是什么意思,因为刚学) 命令:v
2013-06-20 18:55:58 3232
原创 linux下 MYSQL安装运行的简单方法
我测试的版本为Centos 5.9先用如下命令测试一下是否已经存在mysql 命令: rpm -q mysql 如存在,则使用如下命令运行命令:service mysqld start如能运行,恭喜你,你的mysql已经运行了 如不能运行则按如下方法先卸载mysql 命令为:rpm -e --nodeps mysql下面执行命令进行重新安装
2013-06-20 11:02:37 560
SYMBOLIC EXECUTION
2014-04-01
java工程链接mysql数据库
2013-12-25
JVM垃圾回收关于New Generation为什么分为三个区域的疑问
2013-12-03
TA创建的收藏夹 TA关注的收藏夹
TA关注的人