ヤマタニ
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
*Memo [#p0156d66]
#ls
**データ置き場 [#s32e5fa7]
Journal（&attachref(Journal.zip);）
**卒研までの流れ [#va0baf31]
&attachref(test.csv);
*Schedule[#m3472741]
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
| |''Mon'' |''Tue'' |''Wed'' |''Thu''|''Fri''|h
|1| | | | | |
|2| | | | | |
|3| | IER | | | |
|4| | | | | |
|5| | | | | |
~
~
*Theme [#e08276c5]
-OSSの共進化
*Goal [#r65e4c35]
-OSSの進化を予測する
-OSSの進化研究のええとこどりする
-OSSの進化の要因を明らかにする
*Approach [#tead7348]
-プロアクティブマイニング
-遅延相関分析
-シーケンシャルパターンマイニング
*Keyword [#w84ac6ec]
-Software Evolution
-Data Mining
-OSS
*Symposium [#k39e1c54]
**2013年度（B4） [#c1f378ea]
-[[ヤマタニ/DICOMO2013]]
-[[ヤマタニ/SIGSE@白浜]]
-[[ヤマタニ/SES2013]]
*Part-Time job [#v3102687]
*Paper I've read [#hbd7bd3c]
*Reference [#x8f1e7f1]
**Study [#uac101db]
**Papers [#i6f37f94]
*Tools [#o3880c30]
**CREST [#t2a3d6da]
VMBox上で,ubuntu14.04.64,ubuntu14.04.32,CentOS6.5の３つに...
先ず，「VirtualBox?+Vagrantを使いUbuntu 14.04を動かす」の...
これを参考に32ビットの場合， ?VirtualBox?のインストール
?Vagrantのインストール
?ubuntuのインストール コマンドプロンプトから vagrant box ...
適当な作業ディレクトリを作り mkdir myhost32 cd myhost32
vagrant init ubuntu14.04.32
デフォルトメモリーでは小さいので，このディレクトリに作ら...
config.vm.provider "virtualbox" do |vb|
# Don't boot with headless mode
vb.gui = true
# Use VBoxManage to customize the VM. For example to ...
vb.customize ["modifyvm", :id, "--memory", "1024"]
end
ホストコマンドプロンプトから vagrant up vagrant ssh これ...
?crestの設定 （vagreant ssh 後） ここから，ubuntuの中で...
opam install cil ＃なぜかfindlibがインストールさ...
cd
wget http://download.camlcity.org/download/findlib-1.5.1....
cd
wget https://github.com/jburnim/crest/archive/v0.1.2.zip ...
cd
ここでホスト側での作業 http://yices.csl.sri.com/cgi-bin/y...
ゲスト側
cp /vagrant/yices-1.0.38-i686-pc-linux-gnu-static-gmp.ta...
tar zxvf yices-1.0.38-i686-pc-linux-gnu-static-gmp.tar.gz...
Makefileの修正 cd crest-0.1.2/ cd src cp Makefile /vagrant/
ホストPC側のエディターで myhost32/Makefike のパス変更 最...
cd .. cd test
ここで確認
../bin/crestc uniform_test.c 何やらワーニングが出るが Rea...
次は実行 $ ../bin/run_crest ./uniform_test 10 -dfs Iterat...
以上，ネットの状況にもよりますが，１?２時間で出来ます．
-[[ヤマタニ/Understand]]
終了行:
*Memo [#p0156d66]
#ls
**データ置き場 [#s32e5fa7]
Journal（&attachref(Journal.zip);）
**卒研までの流れ [#va0baf31]
&attachref(test.csv);
*Schedule[#m3472741]
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
| |''Mon'' |''Tue'' |''Wed'' |''Thu''|''Fri''|h
|1| | | | | |
|2| | | | | |
|3| | IER | | | |
|4| | | | | |
|5| | | | | |
~
~
*Theme [#e08276c5]
-OSSの共進化
*Goal [#r65e4c35]
-OSSの進化を予測する
-OSSの進化研究のええとこどりする
-OSSの進化の要因を明らかにする
*Approach [#tead7348]
-プロアクティブマイニング
-遅延相関分析
-シーケンシャルパターンマイニング
*Keyword [#w84ac6ec]
-Software Evolution
-Data Mining
-OSS
*Symposium [#k39e1c54]
**2013年度（B4） [#c1f378ea]
-[[ヤマタニ/DICOMO2013]]
-[[ヤマタニ/SIGSE@白浜]]
-[[ヤマタニ/SES2013]]
*Part-Time job [#v3102687]
*Paper I've read [#hbd7bd3c]
*Reference [#x8f1e7f1]
**Study [#uac101db]
**Papers [#i6f37f94]
*Tools [#o3880c30]
**CREST [#t2a3d6da]
VMBox上で,ubuntu14.04.64,ubuntu14.04.32,CentOS6.5の３つに...
先ず，「VirtualBox?+Vagrantを使いUbuntu 14.04を動かす」の...
これを参考に32ビットの場合， ?VirtualBox?のインストール
?Vagrantのインストール
?ubuntuのインストール コマンドプロンプトから vagrant box ...
適当な作業ディレクトリを作り mkdir myhost32 cd myhost32
vagrant init ubuntu14.04.32
デフォルトメモリーでは小さいので，このディレクトリに作ら...
config.vm.provider "virtualbox" do |vb|
# Don't boot with headless mode
vb.gui = true
# Use VBoxManage to customize the VM. For example to ...
vb.customize ["modifyvm", :id, "--memory", "1024"]
end
ホストコマンドプロンプトから vagrant up vagrant ssh これ...
?crestの設定 （vagreant ssh 後） ここから，ubuntuの中で...
opam install cil ＃なぜかfindlibがインストールさ...
cd
wget http://download.camlcity.org/download/findlib-1.5.1....
cd
wget https://github.com/jburnim/crest/archive/v0.1.2.zip ...
cd
ここでホスト側での作業 http://yices.csl.sri.com/cgi-bin/y...
ゲスト側
cp /vagrant/yices-1.0.38-i686-pc-linux-gnu-static-gmp.ta...
tar zxvf yices-1.0.38-i686-pc-linux-gnu-static-gmp.tar.gz...
Makefileの修正 cd crest-0.1.2/ cd src cp Makefile /vagrant/
ホストPC側のエディターで myhost32/Makefike のパス変更 最...
cd .. cd test
ここで確認
../bin/crestc uniform_test.c 何やらワーニングが出るが Rea...
次は実行 $ ../bin/run_crest ./uniform_test 10 -dfs Iterat...
以上，ネットの状況にもよりますが，１?２時間で出来ます．
-[[ヤマタニ/Understand]]
ページ名:
![[PukiWiki]](image/wadanyan.png "[PukiWiki]")
