# HG changeset patch # User ryokka # Date 1581924227 -32400 # Node ID cc28f238225c2f0de5d648dc1a893bc56a9aa342 # Parent ad04e3d3c747e5bc6d05fc0ffd30c64c00e84d5a fix poster diff -r ad04e3d3c747 -r cc28f238225c poster/poster.pdf Binary file poster/poster.pdf has changed diff -r ad04e3d3c747 -r cc28f238225c poster/ryokka-master.mm --- a/poster/ryokka-master.mm Fri Feb 14 20:55:37 2020 +0900 +++ b/poster/ryokka-master.mm Mon Feb 17 16:23:47 2020 +0900 @@ -1,40 +1,65 @@ - + - +

- Continuation based C での + Continuation based C での

- Hoare Logic を用いた仕様記述と検証 + Hoare Logic を用いた仕様記述と検証

- - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + - - - + + + - - - - + + + + + + + + +