Mercurial > hg > Papers > 2020 > ryokka-master

annotate poster/ryokka-master.mm @ 16:ad04e3d3c747

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
create poster-mm
author ryokka
date Fri, 14 Feb 2020 20:55:37 +0900
parents
children cc28f238225c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
1 <map version="1.0.1">
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
2 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
3 <node CREATED="1581679755619" ID="ID_240555615" MODIFIED="1581680255133">
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
4 <richcontent TYPE="NODE"><html>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
5 <head>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
6
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
7 </head>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
8 <body>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
9 <p>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
10 Continuation based C &#12391;&#12398;
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
11 </p>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
12 <p>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
13 Hoare Logic &#12434;&#29992;&#12356;&#12383;&#20181;&#27096;&#35352;&#36848;&#12392;&#26908;&#35388;
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
14 </p>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
15 </body>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
16 </html>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
17 </richcontent>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
18 <font NAME="SansSerif" SIZE="28"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
19 <node CREATED="1581680171355" ID="ID_616981124" MODIFIED="1581680255132" POSITION="right" TEXT="Hoare Logic">
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
20 <font NAME="SansSerif" SIZE="28"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
21 <node CREATED="1581680713846" ID="ID_250756468" MODIFIED="1581680727726" TEXT="Triple &#x3068;&#x304b;"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
22 <node CREATED="1581680853717" ID="ID_47580062" MODIFIED="1581680865109" TEXT="Comm...?"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
23 <node CREATED="1581680866806" ID="ID_184949079" MODIFIED="1581680873852" TEXT="program?"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
24 </node>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
25 <node CREATED="1581680174745" ID="ID_961621313" MODIFIED="1581680255132" POSITION="right" TEXT="CbC &#x3068; Agda">
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
26 <font NAME="SansSerif" SIZE="28"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
27 <node CREATED="1581680875370" ID="ID_73462919" MODIFIED="1581680884020" TEXT="CodeGear,DataGear"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
28 <node CREATED="1581680884899" ID="ID_725069065" MODIFIED="1581681012054" TEXT="Meta Gear &#x306e;&#x6982;&#x5ff5;&#xff1f;"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
29 </node>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
30 <node CREATED="1581680413829" ID="ID_1051030454" MODIFIED="1581680445571" POSITION="right" TEXT="CbC &#x3067;&#x306e; Hoare Logic">
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
31 <font NAME="SansSerif" SIZE="28"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
32 <node CREATED="1581681013571" ID="ID_1149144153" MODIFIED="1581681028543" TEXT="Hoare Logic &#x306e;&#x56f3;"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
33 </node>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
34 <node CREATED="1581680223403" ID="ID_1347757654" MODIFIED="1581680552621" POSITION="right" TEXT="&#x307e;&#x3068;&#x3081;&#x3068;&#x4eca;&#x5f8c;&#x306e;&#x8ab2;&#x984c;">
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
35 <font NAME="SansSerif" SIZE="28"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
36 <node CREATED="1581681030578" ID="ID_667632472" MODIFIED="1581681042511" TEXT="&#x5065;&#x5168;&#x6027;&#x306e;&#x8a71;"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
37 <node CREATED="1581681049328" ID="ID_1688985635" MODIFIED="1581681080854" TEXT="&#x505c;&#x6b62;&#x6027;&#x306e;&#x8a71;"/>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
38 </node>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
39 </node>
ad04e3d3c747 create poster-mm
ryokka
parents:
diff changeset
40 </map>