2007-11-28 UPPAAL 研究室 今日も格闘。相変わらず根本的な解決はできていないものの、 次善策のデータをひたすら集めることで、どうにか役に立たないだろうかと画策。 それにしてもちょっと規模が大きくなったことで、実験が大幅に時間がかかるように。 これじゃ欲しいデータ揃えるだけでも結構時間かかっちゃうよ。