2007-11-30 産学協同研究 研究室 ちょっと間が空いたけど、久しぶりに大学での打ち合わせ。 自分は前回の打ち合わせからずっと勉強してたUPPAALについて主に発表。 月曜にさんざんダメだと言われた点に注意しながらの発表は概ね講評だったよう。 結局またFDR2に触れなきゃならなそうだけど、まあ中間報告としてはそこそこかなと。