# HG changeset patch # User ryokka # Date 1581681337 -32400 # Node ID ad04e3d3c747e5bc6d05fc0ffd30c64c00e84d5a # Parent 36fb80fdcc3ebec4e7e9da8f81fe9e39c731d85c create poster-mm diff -r 36fb80fdcc3e -r ad04e3d3c747 poster/ryokka-master.mm --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/poster/ryokka-master.mm Fri Feb 14 20:55:37 2020 +0900 @@ -0,0 +1,40 @@ + + + + + + + + +

+ Continuation based C での +

+

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

+ + + + + + + + + + + + + + + + + + + + + + + + + +