Mercurial > hg > Papers > 2020 > ryokka-master

view ryokka-master.mm @ 4:b5fffa8ae875

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix chapter hoare
author ryokka
date Wed, 29 Jan 2020 22:36:17 +0900
parents ee44dbda6bd3
children 196ba119ca89
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="1580210143896">
<richcontent TYPE="NODE"><html>
  <head>
    
  </head>
  <body>
    <p>
      Continuation based C &#12391;&#12398;
    </p>
    <p>
      HoareLogic &#12434;&#29992;&#12356;&#12383;&#20181;&#27096;&#35352;&#36848;&#12392;&#26908;&#35388;
    </p>
  </body>
</html></richcontent>
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577179287926" ID="ID_1165984884" MODIFIED="1579169646928" POSITION="right" TEXT="&#x306f;&#x3058;&#x3081;&#x306b;">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179299434" ID="ID_372153190" MODIFIED="1579169646928" POSITION="right" TEXT="Continuation based C">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577179793073" ID="ID_1307352612" MODIFIED="1579169646928" TEXT="CodeGear">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179805065" ID="ID_1214581036" MODIFIED="1579169646928" TEXT="DataGear">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179939889" ID="ID_1188251116" MODIFIED="1579169646928" TEXT="Meta CodeGear,DataGear">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
<node CREATED="1577179329845" ID="ID_1008088180" MODIFIED="1579169646927" POSITION="right" TEXT="Agda">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577182682220" ID="ID_1522532015" MODIFIED="1579169646927" TEXT="&#x5165;&#x9580;">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
<node CREATED="1577179349458" ID="ID_739318439" MODIFIED="1579169646927" POSITION="right" TEXT="Hoare Logic">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1578999031670" ID="ID_517062300" MODIFIED="1579169646927" TEXT="&#x5165;&#x9580;">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179370109" ID="ID_809388614" MODIFIED="1579169646927" TEXT="whileTest (Hoare Logic &#x306e;&#x4f8b;)">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179360283" ID="ID_501247037" MODIFIED="1579169646927" TEXT="Agda &#x3068; Hoare Logic">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577179441565" ID="ID_1388092541" MODIFIED="1579169646927" TEXT="&#x8a18;&#x8ff0;">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179468054" ID="ID_545191696" MODIFIED="1579169646926" TEXT="Soundness &#x95a2;&#x9023;">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
</node>
<node CREATED="1577179318540" ID="ID_402362033" MODIFIED="1579169646926" POSITION="right" TEXT="Continuation based C &#x3068; HoareLogic">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577182741707" ID="ID_1751180005" MODIFIED="1579169646926" TEXT="HoareLogic">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
<node CREATED="1577182694546" ID="ID_764943519" MODIFIED="1579169646926" POSITION="right" TEXT="BinaryTree &#x3068; RedBlack Tree(Agda)">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577182754406" ID="ID_1200857877" MODIFIED="1579169646926" TEXT="HoareLogic">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577182712718" ID="ID_283296995" MODIFIED="1579169646926" TEXT="BinaryTree &#x306e; &#x6761;&#x4ef6;&#x3064;&#x304d;&#x306e;&#x3084;&#x3064;&#x306e;&#x8a71;">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577182765996" ID="ID_740598781" MODIFIED="1579169646926" TEXT="RedBlackTree">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
<node CREATED="1577179295267" ID="ID_747054126" MODIFIED="1579169646925" POSITION="right" TEXT="&#x307e;&#x3068;&#x3081;">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179315283" ID="ID_1375073128" MODIFIED="1579169646925" POSITION="left" TEXT="Gears OS">
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1577179820187" ID="ID_519165935" MODIFIED="1579169646925" TEXT="-interface">
<font NAME="SansSerif" SIZE="14"/>
</node>
<node CREATED="1577179862592" ID="ID_1991286966" MODIFIED="1579169646925" TEXT="Gears OS &#x306e;&#x691c;&#x8a3c;">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
<node CREATED="1577179492520" ID="ID_1327764636" MODIFIED="1579169646912" POSITION="left" TEXT="&#x3067;&#x304d;&#x305f;&#x3089;&#x3044;&#x3044;&#x306a;(Binary-Tree)">
<font NAME="SansSerif" SIZE="14"/>
</node>
</node>
</map>