Mercurial > hg > Papers > 2020 > ryokka-master

changeset 17:cc28f238225c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix poster
author ryokka
date Mon, 17 Feb 2020 16:23:47 +0900
parents ad04e3d3c747
children df02a304db4b
files poster/poster.pdf poster/ryokka-master.mm
diffstat 2 files changed, 48 insertions(+), 23 deletions(-) [+]
line wrap: on
line diff
Binary file poster/poster.pdf has changed
--- 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 @@
-<map version="1.0.1">
+<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="1581680255133">
+<node CREATED="1581679755619" ID="ID_240555615" MODIFIED="1581681566250">
 <richcontent TYPE="NODE"><html>
   <head>
     
   </head>
   <body>
     <p>
-      Continuation based C &#12391;&#12398;
+      Continuation based C &#x3067;&#x306e;
     </p>
     <p>
-      Hoare Logic &#12434;&#29992;&#12356;&#12383;&#20181;&#27096;&#35352;&#36848;&#12392;&#26908;&#35388;
+      Hoare Logic &#x3092;&#x7528;&#x3044;&#x305f;&#x4ed5;&#x69d8;&#x8a18;&#x8ff0;&#x3068;&#x691c;&#x8a3c;
     </p>
   </body>
-</html>
-</richcontent>
-<font NAME="SansSerif" SIZE="28"/>
-<node CREATED="1581680171355" ID="ID_616981124" MODIFIED="1581680255132" POSITION="right" TEXT="Hoare Logic">
-<font NAME="SansSerif" SIZE="28"/>
-<node CREATED="1581680713846" ID="ID_250756468" MODIFIED="1581680727726" TEXT="Triple &#x3068;&#x304b;"/>
-<node CREATED="1581680853717" ID="ID_47580062" MODIFIED="1581680865109" TEXT="Comm...?"/>
-<node CREATED="1581680866806" ID="ID_184949079" MODIFIED="1581680873852" TEXT="program?"/>
+</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 &#x3068;&#x304b;">
+<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 &#x3068; 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 &#x306e;&#x6982;&#x5ff5;&#xff1f;">
+<font NAME="SansSerif" SIZE="14"/>
+</node>
 </node>
-<node CREATED="1581680174745" ID="ID_961621313" MODIFIED="1581680255132" POSITION="right" TEXT="CbC &#x3068; Agda">
-<font NAME="SansSerif" SIZE="28"/>
-<node CREATED="1581680875370" ID="ID_73462919" MODIFIED="1581680884020" TEXT="CodeGear,DataGear"/>
-<node CREATED="1581680884899" ID="ID_725069065" MODIFIED="1581681012054" TEXT="Meta Gear &#x306e;&#x6982;&#x5ff5;&#xff1f;"/>
+<node CREATED="1581680413829" ID="ID_1051030454" MODIFIED="1581681566250" POSITION="right" TEXT="CbC &#x3067;&#x306e; Hoare Logic">
+<font NAME="SansSerif" SIZE="14"/>
+<node CREATED="1581681013571" ID="ID_1149144153" MODIFIED="1581681566249" TEXT="Hoare Logic &#x306e;&#x56f3;">
+<font NAME="SansSerif" SIZE="14"/>
+</node>
+</node>
+<node CREATED="1581680223403" ID="ID_1347757654" MODIFIED="1581681566249" POSITION="right" TEXT="&#x307e;&#x3068;&#x3081;&#x3068;&#x4eca;&#x5f8c;&#x306e;&#x8ab2;&#x984c;">
+<font NAME="SansSerif" SIZE="14"/>
+<node CREATED="1581681030578" ID="ID_667632472" MODIFIED="1581681566249" TEXT="&#x5065;&#x5168;&#x6027;&#x306e;&#x8a71;">
+<font NAME="SansSerif" SIZE="14"/>
 </node>
-<node CREATED="1581680413829" ID="ID_1051030454" MODIFIED="1581680445571" POSITION="right" TEXT="CbC &#x3067;&#x306e; Hoare Logic">
-<font NAME="SansSerif" SIZE="28"/>
-<node CREATED="1581681013571" ID="ID_1149144153" MODIFIED="1581681028543" TEXT="Hoare Logic &#x306e;&#x56f3;"/>
+<node CREATED="1581681049328" ID="ID_1688985635" MODIFIED="1581681566246" TEXT="&#x505c;&#x6b62;&#x6027;&#x306e;&#x8a71;">
+<font NAME="SansSerif" SIZE="14"/>
+</node>
 </node>
-<node CREATED="1581680223403" ID="ID_1347757654" MODIFIED="1581680552621" POSITION="right" TEXT="&#x307e;&#x3068;&#x3081;&#x3068;&#x4eca;&#x5f8c;&#x306e;&#x8ab2;&#x984c;">
-<font NAME="SansSerif" SIZE="28"/>
-<node CREATED="1581681030578" ID="ID_667632472" MODIFIED="1581681042511" TEXT="&#x5065;&#x5168;&#x6027;&#x306e;&#x8a71;"/>
-<node CREATED="1581681049328" ID="ID_1688985635" MODIFIED="1581681080854" TEXT="&#x505c;&#x6b62;&#x6027;&#x306e;&#x8a71;"/>
+<node CREATED="1581683348306" ID="ID_1923807364" MODIFIED="1581683387015" POSITION="left" TEXT="&#x7d39;&#x4ecb;&#x30b9;&#x30e9;&#x30a4;&#x30c9;">
+<node CREATED="1581683423257" ID="ID_548428119" MODIFIED="1581683428656" TEXT="&#x7814;&#x7a76;&#x76ee;&#x7684;"/>
+<node CREATED="1581683429136" ID="ID_643120408" MODIFIED="1581683434464" TEXT="&#x7814;&#x7a76;&#x5185;&#x5bb9;"/>
+<node CREATED="1581683443161" ID="ID_715915779" MODIFIED="1581683447331" TEXT="&#x30dd;&#x30b9;&#x30bf;&#x30fc;&#x5185;&#x5bb9;"/>
+<node CREATED="1581683812475" ID="ID_209364660" MODIFIED="1581683826558" TEXT="&#x5b9a;&#x7406;&#x8a3c;&#x660e;&#x7cfb;&#x8a00;&#x8a9e; Agda &#x306b;&#x3064;&#x3044;&#x3066;?"/>
+</node>
+<node CREATED="1581683716410" ID="ID_1629082248" MODIFIED="1581683721074" POSITION="left" TEXT="&#x3044;&#x3044;&#x305f;&#x3044;&#x3053;&#x3068;&#x306f;?">
+<node CREATED="1581683721443" ID="ID_1040013241" MODIFIED="1581683737811" TEXT="CbC &#x3067; Hoare Logic &#x3092;&#x30d9;&#x30fc;&#x30b9;&#x3068;&#x3057;&#x305f;&#x691c;&#x8a3c;&#x304c;&#x3067;&#x304d;&#x305f;"/>
+<node CREATED="1581683738931" ID="ID_1213303616" MODIFIED="1581683775620" TEXT="&#x505c;&#x6b62;&#x6027;&#x3001;&#x5065;&#x5168;&#x6027;&#x3082;&#x542b;&#x3081;&#x305f;&#x691c;&#x8a3c;"/>
 </node>
 </node>
 </map>