Mercurial > hg > Papers > 2021 > ikkun-master
changeset 6:15e75aa845ea default tip
fix
| author | ikkun <ikkun@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 15 Feb 2021 14:54:56 +0900 |
| parents | 4c39c90d1b1b |
| children | |
| files | poster/poster.md |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/poster/poster.md Mon Feb 15 14:50:17 2021 +0900 +++ b/poster/poster.md Mon Feb 15 14:54:56 2021 +0900 @@ -258,7 +258,7 @@ - GearsOS上でDPPからの導出木を生成した。 - 生成した木にフラグを立て、これをmcDPP用いてモデル検査をおこなった。 -- meta.pm を使うことでモデル検査を行う際のランダム生成を行う事が可能になった。 +- meta.pm を用いてモデル検査を行う際のランダム生成を行った。 - GearsOS で汎用モデル検査器を作ることができた。