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