<map version="1.1.0">
<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
<node CREATED="1542710800707" ID="ID_311099003" MODIFIED="1542710817736" TEXT="HoareLogic &#x3092;&#x7528;&#x3044;&#x305f; CbC &#x306e;&#x691c;&#x8a3c;">
<node CREATED="1542710937504" ID="ID_569346512" MODIFIED="1542710954774" POSITION="right" TEXT="&#x76ee;&#x6b21;">
<node CREATED="1542710833654" ID="ID_422945004" MODIFIED="1542710848431" TEXT="&#x7814;&#x7a76;&#x76ee;&#x7684;">
<node CREATED="1542712135796" ID="ID_1556598404" MODIFIED="1542712159908" TEXT="&#x52d5;&#x4f5c;&#x3059;&#x308b;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306f;&#x9ad8;&#x3044;&#x4fe1;&#x983c;&#x6027;&#x3092;&#x6301;&#x3063;&#x3066;&#x3044;&#x3066;&#x307b;&#x3057;&#x3044;"/>
<node CREATED="1542712161341" ID="ID_1089776093" MODIFIED="1542712318458" TEXT="&#x305d;&#x306e;&#x305f;&#x3081;&#x5f53;&#x7814;&#x7a76;&#x5ba4;&#x3067;&#x306f; CodeGear, DataGear &#x3068;&#x3044;&#x3046;&#x5358;&#x4f4d;&#x3092;&#x7528;&#x3044;&#x3066;&#x8a18;&#x8ff0;&#x3059;&#x308b;&#x624b;&#x6cd5;&#x3092;&#x63d0;&#x6848;&#x3057;&#x3066;&#x3044;&#x308b;"/>
<node CREATED="1542712325826" ID="ID_1328437172" MODIFIED="1542713353200" TEXT="&#x51e6;&#x7406;&#x306e;&#x5358;&#x4f4d;&#x3067;&#x3042;&#x308b; CodeGear &#x3092;&#x7d99;&#x7d9a;&#x3057;&#x3066;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30df;&#x30f3;&#x30b0;&#x3092;&#x3059;&#x308b;"/>
<node CREATED="1542713354500" ID="ID_1839316214" MODIFIED="1544604145156" TEXT="&#x3053;&#x306e;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30df;&#x30f3;&#x30b0;&#x30b9;&#x30bf;&#x30a4;&#x30eb;&#x306f;&#x3001;&#x95a2;&#x6570;&#x578b;&#x8a00;&#x8a9e;&#x306e;&#x7d99;&#x7d9a;&#x6e21;&#x3057;&#x306e;&#x8a18;&#x8ff0;&#x3068;&#x7b49;&#x4fa1;&#x3067;&#x3042;&#x308b;"/>
<node CREATED="1544602583680" ID="ID_1768414893" MODIFIED="1544604155058" TEXT="&#x7d99;&#x7d9a;&#x6e21;&#x3057;&#x306e;&#x8a18;&#x8ff0;&#x3068; HoareLogic &#x306f;&#x76f8;&#x6027;&#x826f;&#x304f;&#x8a18;&#x8ff0;&#x304c;&#x3067;&#x304d;&#x308b;&#x306e;&#x3067;&#x306f;&#x306a;&#x3044;&#x304b;&#x3068;&#x8003;&#x3048;&#x3066;&#x3044;&#x308b;"/>
<node CREATED="1544604130156" ID="ID_1466381113" MODIFIED="1544604233204" TEXT="&#x672c;&#x7814;&#x7a76;&#x3067;&#x306f; Agda &#x4e0a;&#x3067; &#x7d99;&#x7d9a;&#x6e21;&#x3057;&#x8a18;&#x8ff0;&#x3068; Hoare Logic &#x3092;&#x7528;&#x3044;&#x3066; SingleLinkedQueue &#x306b;&#x5bfe;&#x3057;&#x3066;&#x691c;&#x8a3c;&#x3092;&#x884c;&#x3063;&#x305f;(&#x884c;&#x3044;&#x305f;&#x3044;)"/>
</node>
<node CREATED="1542710849360" ID="ID_1011962353" MODIFIED="1542710855151" TEXT="&#x7814;&#x7a76;&#x6982;&#x8981;">
<node CREATED="1544604865596" ID="ID_778442777" MODIFIED="1544605176196" TEXT="&#x7d99;&#x7d9a;&#x6e21;&#x3057;&#x8a18;&#x8ff0;&#x3092;&#x3057;&#x305f; Agda &#x3067;&#x3001;Hoare Logic &#x3092;&#x7d44;&#x307f;&#x5408;&#x308f;&#x305b;&#x3066;&#x306e;&#x8a3c;&#x660e;&#x3092;&#x884c;&#x3046;"/>
<node CREATED="1544604886373" ID="ID_742333345" MODIFIED="1544605273294" TEXT="&#x901a;&#x5e38;&#x306f;&#x95a2;&#x6570;&#x3054;&#x3068;&#x306e;&#x691c;&#x8a3c;&#x304c;&#x53b3;&#x3057;&#x305d;&#x3046;">
<node CREATED="1544605273841" ID="ID_1047842205" MODIFIED="1544605304755" TEXT="HoareLogic &#x30d9;&#x30fc;&#x30b9;&#x3060;&#x3068;&#x305d;&#x308c;&#x305e;&#x308c;&#x306e;&#x95a2;&#x6570;&#x3054;&#x3068;&#x306b;&#x691c;&#x8a3c;&#x304c;&#x3067;&#x304d;&#x305d;&#x3046;">
<icon BUILTIN="forward"/>
</node>
</node>
</node>
<node CREATED="1544605418893" ID="ID_1631394138" MODIFIED="1544605424146" TEXT="GearsOS">
<node CREATED="1544605447524" ID="ID_1203956494" MODIFIED="1544605454361" TEXT="&#x6982;&#x8981;">
<node CREATED="1544605455331" ID="ID_1049429958" MODIFIED="1544605459641" TEXT="CbC"/>
<node CREATED="1544605471951" ID="ID_1170775991" MODIFIED="1544605484612" TEXT="&#x3071;&#x308b;&#x3059;&#x3055;&#x3093;&#x306e;&#x4fee;&#x8ad6;&#x3042;&#x305f;&#x308a;&#x304b;&#x3089;&#x62fe;&#x3063;&#x3066;&#x304f;&#x308b;"/>
</node>
</node>
<node CREATED="1542710861598" ID="ID_1569648968" MODIFIED="1544603739021" TEXT="Agda">
<node CREATED="1544603740555" ID="ID_1970865370" MODIFIED="1544603746306" TEXT="Agda &#x306b;&#x3064;&#x3044;&#x3066;">
<node CREATED="1544604331911" ID="ID_1316542521" MODIFIED="1544604340263" TEXT="Agda &#x3068;&#x306f;?"/>
<node CREATED="1544604340903" ID="ID_1025874674" MODIFIED="1544604470238" TEXT="Agda &#x306e;&#x30c7;&#x30fc;&#x30bf;&#x3001;&#x6587;&#x6cd5;&#x8a18;&#x8ff0;"/>
</node>
<node CREATED="1544603752778" ID="ID_1655285120" MODIFIED="1544604330094" TEXT="&#x691c;&#x8a3c;&#x306b;&#x95a2;&#x3059;&#x308b;&#x8a71;">
<node CREATED="1544604295278" ID="ID_1571024257" MODIFIED="1544604451101" TEXT="Curry Howard &#x3068;&#x304b;&#x66f8;&#x3044;&#x305f;&#x307b;&#x3046;&#x304c;&#x3044;&#x3044;?"/>
<node CREATED="1544604345175" ID="ID_1245079261" MODIFIED="1544604485703" TEXT="Agda &#x3067;&#x306e;&#x8a3c;&#x660e;"/>
</node>
</node>
<node CREATED="1542710855615" ID="ID_633104128" MODIFIED="1544605442284" TEXT="GearsOS&#x3068;Agda">
<node CREATED="1544603433154" ID="ID_1178446548" MODIFIED="1544603443456" TEXT="CbC &#x306b;&#x3064;&#x3044;&#x3066;"/>
<node CREATED="1544603444224" ID="ID_1582475028" MODIFIED="1544603454233" TEXT="CodeGear, DataGear"/>
<node CREATED="1544603454927" ID="ID_1017938996" MODIFIED="1544604274110" TEXT="Agda &#x3067;&#x306e; CodeGear, DataGear(&#x7d99;&#x7d9a;&#x6e21;&#x3057;&#x8a18;&#x8ff0;&#x306e;&#x8aac;&#x660e;&#x3082;)"/>
<node CREATED="1544604389725" ID="ID_1200091175" MODIFIED="1544604415749" TEXT="Agda &#x3067;&#x306e; CbC &#x306e;&#x691c;&#x8a3c;"/>
</node>
<node CREATED="1542710864438" ID="ID_1474492130" MODIFIED="1542710910000" TEXT="HoareLogic">
<node CREATED="1544603812282" ID="ID_1914859833" MODIFIED="1544603912739" TEXT="Agda &#x3067;&#x306e; Hoare Logic &#x306e;&#x5b9f;&#x88c5;"/>
<node CREATED="1544603916933" ID="ID_912615419" MODIFIED="1544603949220" TEXT="CodeGear, DataGear &#x3092;&#x7528;&#x3044;&#x305f;&#x30b9;&#x30bf;&#x30a4;&#x30eb;&#x3068; Hoare Logic"/>
</node>
</node>
<node CREATED="1542710960435" ID="ID_167048397" MODIFIED="1542710984521" POSITION="right" TEXT="&#x7814;&#x7a76;"/>
</node>
</map>