2004-12-31 悟った スケジューリングの都合上、ガード付ε遷移が実行されなくても仕方がないんだな。だって、難しいだもん。 まあ、スペックにもスケジューリングとrun-to-completionとは区別して考える、て書いてあるし。あとは如何にして周りを説得するかだが…。