プログラムのデバッグ支援(仮)
Yasutaka Higa
- プログラムのデバッグは複雑になることがある
- 例えば、あるif文の条件を満たすには、必要な状態がある
- そういった状態を自動で導出したい
- model checking を使えばいける?
- System F on Agda
- 時期システムの試用機として Dell のマシンが来ました
- 研究ノート
- BinTree と Tree を書きました
- Proofs And Types の Tree の It の説明が若干変?
- Tree なのに解説が BinTree
- Tree 使っていない
- 一通り書き終わりました
- 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