Mercurial > hg > Papers > 2020 > ryokka-master

view ryokka-master.mm @ 0:41a936510fd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initialize
author ryokka
date Thu, 02 Jan 2020 21:25:52 +0900
parents
children ee44dbda6bd3
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="1577179229340" ID="ID_1981253136" MODIFIED="1577182620460" TEXT="GearsOS &#x3067;&#x306e; HoareLogic &#x3092;&#x7528;&#x3044;&#x305f;&#x5b9f;&#x88c5;&#x3068;&#x691c;&#x8a3c;">
<font NAME="SansSerif" SIZE="19"/>
<node CREATED="1577179287926" ID="ID_1165984884" MODIFIED="1577182620459" POSITION="right" TEXT="&#x306f;&#x3058;&#x3081;&#x306b;">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179299434" ID="ID_372153190" MODIFIED="1577182620459" POSITION="right" TEXT="Continuation based C">
<font NAME="SansSerif" SIZE="19"/>
<node CREATED="1577179793073" ID="ID_1307352612" MODIFIED="1577182620458" TEXT="CodeGear">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179805065" ID="ID_1214581036" MODIFIED="1577182620458" TEXT="DataGear">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179939889" ID="ID_1188251116" MODIFIED="1577182620458" TEXT="Meta CodeGear,DataGear">
<font NAME="SansSerif" SIZE="19"/>
</node>
</node>
<node CREATED="1577179329845" ID="ID_1008088180" MODIFIED="1577182644207" POSITION="right" TEXT="Agda">
<font NAME="SansSerif" SIZE="19"/>
<node CREATED="1577182682220" ID="ID_1522532015" MODIFIED="1577182690635" TEXT="&#x5165;&#x9580;">
<font NAME="SansSerif" SIZE="18"/>
</node>
</node>
<node CREATED="1577179349458" ID="ID_739318439" MODIFIED="1577182637067" POSITION="right" TEXT="Hoare Logic">
<font NAME="SansSerif" SIZE="19"/>
<node CREATED="1577179370109" ID="ID_809388614" MODIFIED="1577182664147" TEXT="whileTest (Hoare Logic &#x306e;&#x4f8b;)">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179360283" ID="ID_501247037" MODIFIED="1577182670343" TEXT="Agda &#x3068; Hoare Logic">
<font NAME="SansSerif" SIZE="20"/>
<node CREATED="1577179441565" ID="ID_1388092541" MODIFIED="1577182620455" TEXT="&#x8a18;&#x8ff0;">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179468054" ID="ID_545191696" MODIFIED="1577182620454" TEXT="Soundness &#x95a2;&#x9023;">
<font NAME="SansSerif" SIZE="19"/>
</node>
</node>
</node>
<node CREATED="1577179318540" ID="ID_402362033" MODIFIED="1577182658769" POSITION="right" TEXT="Continuation based C &#x3068; Agda">
<font NAME="SansSerif" SIZE="19"/>
<node CREATED="1577182741707" ID="ID_1751180005" MODIFIED="1577182751755" TEXT="HoareLogic">
<font NAME="SansSerif" SIZE="16"/>
</node>
</node>
<node CREATED="1577182694546" ID="ID_764943519" MODIFIED="1577182712199" POSITION="right" TEXT="BinaryTree &#x3068; RedBlack Tree(Agda)">
<font NAME="SansSerif" SIZE="15"/>
<node CREATED="1577182754406" ID="ID_1200857877" MODIFIED="1577182760901" TEXT="HoareLogic">
<font NAME="SansSerif" SIZE="17"/>
</node>
<node CREATED="1577182712718" ID="ID_283296995" MODIFIED="1577182732895" TEXT="BinaryTree &#x306e; &#x6761;&#x4ef6;&#x3064;&#x304d;&#x306e;&#x3084;&#x3064;&#x306e;&#x8a71;">
<font NAME="SansSerif" SIZE="16"/>
</node>
<node CREATED="1577182765996" ID="ID_740598781" MODIFIED="1577182773370" TEXT="RedBlackTree">
<font NAME="SansSerif" SIZE="16"/>
</node>
</node>
<node CREATED="1577179295267" ID="ID_747054126" MODIFIED="1577182620450" POSITION="right" TEXT="&#x307e;&#x3068;&#x3081;">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179315283" ID="ID_1375073128" MODIFIED="1577182620457" POSITION="left" TEXT="Gears OS">
<font NAME="SansSerif" SIZE="19"/>
<node CREATED="1577179820187" ID="ID_519165935" MODIFIED="1577182654290" TEXT="-interface">
<font NAME="SansSerif" SIZE="19"/>
</node>
<node CREATED="1577179862592" ID="ID_1991286966" MODIFIED="1577182620456" TEXT="Gears OS &#x306e;&#x691c;&#x8a3c;">
<font NAME="SansSerif" SIZE="19"/>
</node>
</node>
<node CREATED="1577179492520" ID="ID_1327764636" MODIFIED="1577182620454" POSITION="left" TEXT="&#x3067;&#x304d;&#x305f;&#x3089;&#x3044;&#x3044;&#x306a;(Binary-Tree)">
<font NAME="SansSerif" SIZE="19"/>
</node>
</node>
</map>