プログラムのデバッグ支援(仮)
Yasutaka Higa - profile not found -
研究目的(仮)
プログラムのデバッグは複雑になることがある
例えば、あるif文の条件を満たすには、必要な状態がある
そういった状態を自動で導出したい
model checking を使えばいける?
近況報告
System F on Agda
BinTree
Tree
時期システムの試用機として Dell のマシンが来ました
研究ノート
System F on Agda
BinTree と Tree を書きました
Proofs And Types の Tree の It の説明が若干変?
Tree なのに解説が BinTree
Tree 使っていない
一通り書き終わりました
Dell の 試用機
gfs on iSCSI で
read 300MB/s
write 600MB/s
150GB, 15000 rpm Storage * 18?
RAID6 -> 2.4TB
host <-10GBEther-> Switch <-10GBEther-> iSCSI-Storage
iSCSI でなく直接接続のストレージだと書き込み 1000MB/s
