Mercurial > hg > Papers > 2020 > ryokka-master
view poster/ryokka-master.mm @ 17:cc28f238225c
fix poster
author | ryokka |
---|---|
date | Mon, 17 Feb 2020 16:23:47 +0900 |
parents | ad04e3d3c747 |
children |
line wrap: on
line source
<map version="1.1.0"> <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net --> <node CREATED="1581679755619" ID="ID_240555615" MODIFIED="1581681566250"> <richcontent TYPE="NODE"><html> <head> </head> <body> <p> Continuation based C での </p> <p> Hoare Logic を用いた仕様記述と検証 </p> </body> </html></richcontent> <font NAME="SansSerif" SIZE="14"/> <node CREATED="1581680171355" ID="ID_616981124" MODIFIED="1581681566250" POSITION="right" TEXT="Hoare Logic"> <font NAME="SansSerif" SIZE="14"/> <node CREATED="1581680713846" ID="ID_250756468" MODIFIED="1581681566250" TEXT="Triple とか"> <font NAME="SansSerif" SIZE="14"/> </node> <node CREATED="1581680853717" ID="ID_47580062" MODIFIED="1581681566250" TEXT="Comm...?"> <font NAME="SansSerif" SIZE="14"/> </node> <node CREATED="1581680866806" ID="ID_184949079" MODIFIED="1581681566250" TEXT="program?"> <font NAME="SansSerif" SIZE="14"/> </node> </node> <node CREATED="1581680174745" ID="ID_961621313" MODIFIED="1581681566250" POSITION="right" TEXT="CbC と Agda"> <font NAME="SansSerif" SIZE="14"/> <node CREATED="1581680875370" ID="ID_73462919" MODIFIED="1581681566250" TEXT="CodeGear,DataGear"> <font NAME="SansSerif" SIZE="14"/> </node> <node CREATED="1581680884899" ID="ID_725069065" MODIFIED="1581681566250" TEXT="Meta Gear の概念?"> <font NAME="SansSerif" SIZE="14"/> </node> </node> <node CREATED="1581680413829" ID="ID_1051030454" MODIFIED="1581681566250" POSITION="right" TEXT="CbC での Hoare Logic"> <font NAME="SansSerif" SIZE="14"/> <node CREATED="1581681013571" ID="ID_1149144153" MODIFIED="1581681566249" TEXT="Hoare Logic の図"> <font NAME="SansSerif" SIZE="14"/> </node> </node> <node CREATED="1581680223403" ID="ID_1347757654" MODIFIED="1581681566249" POSITION="right" TEXT="まとめと今後の課題"> <font NAME="SansSerif" SIZE="14"/> <node CREATED="1581681030578" ID="ID_667632472" MODIFIED="1581681566249" TEXT="健全性の話"> <font NAME="SansSerif" SIZE="14"/> </node> <node CREATED="1581681049328" ID="ID_1688985635" MODIFIED="1581681566246" TEXT="停止性の話"> <font NAME="SansSerif" SIZE="14"/> </node> </node> <node CREATED="1581683348306" ID="ID_1923807364" MODIFIED="1581683387015" POSITION="left" TEXT="紹介スライド"> <node CREATED="1581683423257" ID="ID_548428119" MODIFIED="1581683428656" TEXT="研究目的"/> <node CREATED="1581683429136" ID="ID_643120408" MODIFIED="1581683434464" TEXT="研究内容"/> <node CREATED="1581683443161" ID="ID_715915779" MODIFIED="1581683447331" TEXT="ポスター内容"/> <node CREATED="1581683812475" ID="ID_209364660" MODIFIED="1581683826558" TEXT="定理証明系言語 Agda について?"/> </node> <node CREATED="1581683716410" ID="ID_1629082248" MODIFIED="1581683721074" POSITION="left" TEXT="いいたいことは?"> <node CREATED="1581683721443" ID="ID_1040013241" MODIFIED="1581683737811" TEXT="CbC で Hoare Logic をベースとした検証ができた"/> <node CREATED="1581683738931" ID="ID_1213303616" MODIFIED="1581683775620" TEXT="停止性、健全性も含めた検証"/> </node> </node> </map>