2007-11-26 ミーティング 研究室 成果発表としてUPPAALで検証したDISTREBUTED SUMの実演をしたのだが、 そこ?というような点で説明が足りないというような言われ方をし、結局ぐだぐだ。 今回に関してはじゃあどうすればいいんだよと言いたい気がしないでもない。