Yabu.log

ITなどの雑記

2019-12-23から1日間の記事一覧

Scheduleをpolygraphに変換してVSR validationを行う方法

多分Polygraphについて書かれた2番目の日本語のエントリー。*1 polygraphとは compatible acyclic Pollygraph スケジュールをPolygraphに変換する方法 P(s)とcompatibleに必要なもう一つの制約 ScheduleからPolygraphを作成する具体例 ビジュアライズ 計算…