>>612
設計がどれくらい正しいかの実証が一番の目的じゃなかったっけ、あれは。