Mercurial > hg > Papers > 2020 > ryokka-master

view slide/slide.mm @ 10:aedb8c4f13b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add slide and slide-mindmap
author ryokka
date Sat, 08 Feb 2020 22:07:16 +0900
parents
children 19ab6b8055ea
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="1581159153381" ID="ID_1233088641" MODIFIED="1581164332949">
<richcontent TYPE="NODE"><html>
  <head>
    
  </head>
  <body>
    <p>
      Continuation based C &#12391;&#12398;
    </p>
    <p>
      Hoare Logic &#12434;&#29992;&#12356;&#12383;&#35352;&#36848;&#12392;&#26908;&#35388;
    </p>
  </body>
</html></richcontent>
<node CREATED="1581159189630" ID="ID_170285900" MODIFIED="1581159206886" POSITION="left" TEXT="1&#x679a;&#x76ee;&#x306e; HoareLogic&#x306e;&#x8aac;&#x660e;&#x304c;&#x308f;&#x304b;&#x3093;&#x306a;&#x3044;">
<node CREATED="1581159242422" ID="ID_1350434594" MODIFIED="1581159332007" STYLE="fork">
<richcontent TYPE="NODE"><html>
  <head>
    
  </head>
  <body>
    <p>
      &#12503;&#12525;&#12464;&#12521;&#12512;&#12391;&#12399;&#12354;&#12427;&#38306;&#25968;&#12434;&#23455;&#34892;&#12377;&#12427;&#21069;&#12392;&#24460;&#12391;
    </p>
    <p>
      &#25104;&#12426;&#31435;&#12387;&#12390;&#12356;&#12390;&#12411;&#12375;&#12356;&#29366;&#24907;&#12364;&#12354;&#12427;&#30340;&#12394;&#8230;&#35500;&#26126;
    </p>
  </body>
</html></richcontent>
</node>
</node>
<node CREATED="1581159235461" ID="ID_1980578968" MODIFIED="1581159362207" POSITION="left" TEXT="Gears &#x306e;&#x8aac;&#x660e;&#x3068; Agda &#x306e;&#x8aac;&#x660e;&#x3068; &#x8a3c;&#x660e;&#x304c;&#x96d1;">
<node CREATED="1581164400268" ID="ID_884941803" MODIFIED="1581164423164" TEXT="&#x591a;&#x5206;&#x9806;&#x756a;&#x304c;&#x304a;&#x304b;&#x3057;&#x3044;&#x306e;&#x3067;&#x6574;&#x7406;&#x3057;&#x305f;&#x9806;&#x306b;&#x66f8;&#x304f;"/>
</node>
<node CREATED="1581159372515" ID="ID_336006559" MODIFIED="1581159381847" POSITION="right" TEXT="&#x7814;&#x7a76;&#x306e;&#x306f;&#x306a;&#x3057;">
<node CREATED="1581159415904" ID="ID_59023356" MODIFIED="1581159618819" TEXT="Hoare Logic &#x306e;&#x8a71;"/>
</node>
<node CREATED="1581159382448" ID="ID_183626889" MODIFIED="1581159393008" POSITION="right" TEXT="Agda &#x306e;&#x8aac;&#x660e;">
<node CREATED="1581159474054" ID="ID_81428977" MODIFIED="1581159478593" TEXT="Data"/>
<node CREATED="1581159479227" ID="ID_70865913" MODIFIED="1581159484369" TEXT="Function"/>
</node>
<node CREATED="1581159393393" ID="ID_614580744" MODIFIED="1581159397656" POSITION="right" TEXT="Agda &#x3067;&#x306e;&#x691c;&#x8a3c;">
<node CREATED="1581159489358" ID="ID_1464632287" MODIFIED="1581159493858" TEXT="Proof"/>
</node>
<node CREATED="1581159405966" ID="ID_153385067" MODIFIED="1581159415464" POSITION="right" TEXT="Gears &#x3068; Agda &#x306e;&#x95a2;&#x9023;">
<node CREATED="1581159398128" ID="ID_176678065" MODIFIED="1581159679321" TEXT="Gears &#x5358;&#x4f4d;&#x306e;&#x5c0e;&#x5165;">
<node CREATED="1581159496107" ID="ID_1607974660" MODIFIED="1581159500106" TEXT="CodeGear"/>
<node CREATED="1581159500654" ID="ID_1915254834" MODIFIED="1581159502649" TEXT="DataGear"/>
</node>
<node CREATED="1581159504635" ID="ID_1374903926" MODIFIED="1581159533500" TEXT="CodeGear&#x306e;Agda&#x3067;&#x306e;&#x8868;&#x73fe;"/>
<node CREATED="1581159534059" ID="ID_1701708289" MODIFIED="1581159544036" TEXT="DataGear&#x306e;Agda&#x3067;&#x306e;&#x8868;&#x73fe;"/>
<node CREATED="1581159566200" ID="ID_1511225703" MODIFIED="1581159579785" TEXT="? Gears &#x3067;&#x306e; &#x8a3c;&#x660e;"/>
</node>
<node CREATED="1581159809871" ID="ID_1922620165" MODIFIED="1581164444772" POSITION="right" TEXT="Hoare Logic &#x30d9;&#x30fc;&#x30b9;&#x306e;&#x5229;&#x70b9;(&#x518d;&#x63b2;?)"/>
<node CREATED="1581159427576" ID="ID_1884090787" MODIFIED="1581159443449" POSITION="right" TEXT="Hoare Logic &#x3068; Gears &#x5358;&#x4f4d;">
<node CREATED="1581159772603" ID="ID_311212543" MODIFIED="1581159793096" TEXT="CodeGear &#x3067;&#x306e; Hoare Logic &#x306e;&#x5c0e;&#x5165;"/>
<node CREATED="1581159461250" ID="ID_35745602" MODIFIED="1581159796485" TEXT="&#x691c;&#x8a3c;"/>
</node>
<node CREATED="1581159434680" ID="ID_1776891719" MODIFIED="1581159449569" POSITION="right" TEXT="&#x307e;&#x3068;&#x3081;"/>
</node>
</map>