<map version="1.1.0">
<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
<node CREATED="1516447600591" ID="ID_1323189017" MODIFIED="1516447624027" TEXT="thesis">
<node CREATED="1516447625087" ID="ID_1724518003" MODIFIED="1516447637346" POSITION="left" TEXT="&#x306f;&#x3058;&#x3081;&#x306b;">
<node CREATED="1516448006125" ID="ID_801881892" MODIFIED="1516448107906" TEXT="&#x52d5;&#x4f5c;&#x3059;&#x308b;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306e;&#x4fe1;&#x983c;&#x6027;&#x3092;&#x4fdd;&#x8a3c;&#x3057;&#x305f;&#x3044;"/>
<node CREATED="1516448247561" ID="ID_951851740" MODIFIED="1516448282443" TEXT="CodeSegment,DataSegment&#x3068;&#x3044;&#x3046;&#x5358;&#x4f4d;&#x3067;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x3092;&#x66f8;&#x304f;&#x624b;&#x6cd5;&#x3092;&#x63d0;&#x6848;&#x3057;&#x3066;&#x3044;&#x308b;"/>
<node CREATED="1516448220906" ID="ID_182832086" MODIFIED="1516448412313" TEXT="CbC(Continuation  based C )&#x3067;&#x306f;&#x3053;&#x306e;&#x3088;&#x3046;&#x306b;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x3092;&#x8a18;&#x8ff0;&#x3059;&#x308b;&#x3053;&#x3068;&#x3067;&#x30e1;&#x30bf;&#x8a08;&#x7b97;&#x3068;&#x3057;&#x3066;&#x691c;&#x8a3c;&#x3092;&#x3059;&#x308b;&#x3053;&#x3068;&#x304c;&#x3067;&#x304d;&#x305f;&#xff08;&#x3042;&#x3063;&#x3068;&#x3093;&#x3055;&#x3093;&#x306e;&#x8ad6;&#x6587;&#xff09;"/>
<node CREATED="1516448414254" ID="ID_1047962267" MODIFIED="1516448573215" TEXT="CbC&#x3067;&#x306f;&#x81ea;&#x8eab;&#x3067;&#x8a3c;&#x660e;&#x3092;&#x3059;&#x308b;&#x3053;&#x3068;&#x304c;&#x3067;&#x304d;&#x306a;&#x3044;&#x70ba;&#x3001;&#xff08;&#x4f55;&#x3089;&#x304b;&#x306e;&#x7406;&#x7531;&#x3067;&#xff09;Agda&#x3092;&#x4f7f;&#x3063;&#x3066;&#x8a3c;&#x660e;&#x3059;&#x308b;"/>
<node CREATED="1516448574477" ID="ID_1442131681" MODIFIED="1516453035591" TEXT="&#x672c;&#x7814;&#x7a76;&#x3067;&#x306f;Agda&#x3067;CodeSegment&#x3001;DataSegment&#x3068;&#x3044;&#x3046;&#x5358;&#x4f4d;&#x3092;&#x4f7f;&#x3063;&#x3066;CbC&#x3067;&#x8a18;&#x8ff0;&#x3057;&#x305f;&#x3082;&#x306e;&#x3068;&#x7b49;&#x4fa1;&#x306a;UnbarrancedTree&#x3092;&#x4f5c;&#x308a;&#x3001;&#x30ce;&#x30fc;&#x30c9;&#x3092;&#x5165;&#x308c;&#x308b;&#x969b;&#x30ce;&#x30fc;&#x30c9;&#x304c;&#x306a;&#x304f;&#x306a;&#x3089;&#x306a;&#x3044;&#x3053;&#x3068;&#x3001;&#x306a;&#x3069;&#x3092;&#x8a3c;&#x660e;&#x3092;&#x3059;&#x308b;"/>
</node>
<node CREATED="1516447638226" ID="ID_1889545574" MODIFIED="1516448672959" POSITION="left" TEXT="&#x57fa;&#x790e;&#x6982;&#x5ff5;">
<node CREATED="1516448673422" ID="ID_1274177968" MODIFIED="1516448683325" TEXT="CbC">
<node CREATED="1516448708973" ID="ID_815925469" MODIFIED="1516454414422" TEXT="CodeSegment&#x3068;&#x306f;">
<node CREATED="1516454422237" ID="ID_661052887" MODIFIED="1516454424583" TEXT="&#x4f8b;&#x984c;"/>
</node>
<node CREATED="1516448719701" ID="ID_1017753652" MODIFIED="1516454421110" TEXT="DataSegment&#x3068;&#x306f;">
<node CREATED="1516454425392" ID="ID_221829180" MODIFIED="1516454427407" TEXT="&#x4f8b;&#x984c;"/>
</node>
</node>
<node CREATED="1516448688109" ID="ID_594761054" MODIFIED="1516448692742" TEXT="&#x8a3c;&#x660e;">
<node CREATED="1516454132267" ID="ID_1490526606" MODIFIED="1516693045587" TEXT="&#x81ea;&#x7136;&#x8a3c;&#x660e;">
<node CREATED="1516454431900" ID="ID_1113949900" MODIFIED="1516454434111" TEXT="&#x4f8b;&#x984c;"/>
</node>
<node CREATED="1516454140637" ID="ID_1834687592" MODIFIED="1516455188550" TEXT="&#x30ab;&#x30ea;&#x30fc;&#x30cf;&#x30ef;&#x30fc;&#x30c9;&#x540c;&#x578b;&#x5bfe;&#x5fdc;"/>
</node>
<node CREATED="1516448684110" ID="ID_1770419109" MODIFIED="1516448687493" TEXT="Agda">
<node CREATED="1516454190133" ID="ID_445682748" MODIFIED="1516454207271" TEXT="&#x305d;&#x306e;&#x4ed6;&#x306e;&#x8a3c;&#x660e;&#x652f;&#x63f4;&#x7cfb;"/>
<node CREATED="1516454167956" ID="ID_1326840818" MODIFIED="1516454171204" TEXT="&#x8a18;&#x8ff0;&#x65b9;&#x6cd5;"/>
<node CREATED="1516454171715" ID="ID_1880237124" MODIFIED="1516454184781" TEXT="&#x4f8b;&#x984c;"/>
</node>
<node CREATED="1516448778576" ID="ID_1454457815" MODIFIED="1516453085568" TEXT="Tree,RedBlackTree"/>
</node>
<node CREATED="1516448781436" ID="ID_732614714" MODIFIED="1516448784603" POSITION="left" TEXT="&#x5b9f;&#x9a13;">
<node CREATED="1516448792793" ID="ID_590034820" MODIFIED="1516448919993" TEXT="Tree&#x306e;&#x4f5c;&#x6210;&#x65b9;&#x91dd;"/>
<node CREATED="1516448843266" ID="ID_1177321611" MODIFIED="1516454291651" TEXT="&#x8a3c;&#x660e;&#x65b9;&#x91dd;&#x306e;&#x691c;&#x8a0e;,&#x5b9f;&#x88c5;&#x6642;&#x306e;&#x6539;&#x5584;"/>
</node>
<node CREATED="1516448766134" ID="ID_712304841" MODIFIED="1516448768937" POSITION="left" TEXT="&#x5b9f;&#x88c5;">
<node CREATED="1516448769994" ID="ID_1122278060" MODIFIED="1516453267632" TEXT="CbC&#x3067;&#x306e;&#x5b9f;&#x88c5;"/>
<node CREATED="1516453268445" ID="ID_1239636691" MODIFIED="1516453272713" TEXT="Agda&#x3067;&#x306e;&#x5b9f;&#x88c5;"/>
<node CREATED="1516453273168" ID="ID_1420286449" MODIFIED="1516454130460" TEXT="Agda&#x3067;&#x306e;&#x8a3c;&#x660e;,&#x89e3;&#x8aac;"/>
</node>
<node CREATED="1516455668900" ID="ID_155403381" MODIFIED="1516455671387" POSITION="left" TEXT="&#x8a55;&#x4fa1;">
<node CREATED="1516455671828" ID="ID_1828774278" MODIFIED="1516455677370" TEXT="?"/>
</node>
<node CREATED="1516448787093" ID="ID_1477806830" MODIFIED="1516448789500" POSITION="left" TEXT="&#x7d50;&#x8ad6;">
<node CREATED="1516453116787" ID="ID_1750859738" MODIFIED="1516453146188" TEXT="Tree&#x3092;CodeSegment,DataSegment&#x3092;&#x7528;&#x3044;&#x3066;&#x4e8c;&#x3064;&#x306e;&#x8a00;&#x8a9e;&#x3067;&#x8a18;&#x8ff0;&#x3057;&#x305f;"/>
<node CREATED="1516453146841" ID="ID_495843685" MODIFIED="1516695852072" TEXT="&#x7b49;&#x4fa1;&#x306a;&#x30b3;&#x30fc;&#x30c9;&#x304c;&#x3067;&#x304d;&#x305f;?"/>
<node CREATED="1516453179338" ID="ID_710713278" MODIFIED="1516695815136" TEXT="&#x8a3c;&#x660e;&#x652f;&#x63f4;&#x5668;&#x3092;&#x4f7f;&#x3063;&#x3066;unBalance&#x306a;Tree&#x304c;&#x3067;&#x304d;&#x308b;&#x3053;&#x3068;&#x3092;&#x8a3c;&#x660e;&#x3057;&#x305f;?"/>
<node CREATED="1516693502350" ID="ID_1803347987" MODIFIED="1516695887153" TEXT="&#x305d;&#x306e;&#x4ed6;&#x3001;&#x4eca;&#x5f8c;&#x306e;&#x8a71;">
<node CREATED="1516693505485" ID="ID_727445874" MODIFIED="1516693962403" TEXT="CbC&#x306e;&#x30b3;&#x30f3;&#x30d1;&#x30a4;&#x30eb;&#x6642;&#x306b;TypeChecking&#x3082;&#x3067;&#x304d;&#x308b;&#x304b;&#x3082;&#x3057;&#x308c;&#x306a;&#x3044;&#x306d;&#x307f;&#x305f;&#x3044;&#x306a;&#x306f;&#x306a;&#x3057;"/>
</node>
</node>
<node CREATED="1516695662563" ID="ID_1054440656" MODIFIED="1516695667362" POSITION="right" TEXT="&#x7ae0;&#x69cb;&#x6210;">
<node CREATED="1516695644106" ID="ID_736329900" MODIFIED="1516695909066" TEXT="&#x7814;&#x7a76;&#x80cc;&#x666f;"/>
<node CREATED="1516695675644" ID="ID_922716453" MODIFIED="1516695971900" TEXT="CbC"/>
<node CREATED="1516695693068" ID="ID_1567452235" MODIFIED="1516695739269" TEXT="&#x8a3c;&#x660e;&#x3068;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30df;&#x30f3;&#x30b0;"/>
<node CREATED="1516695699548" ID="ID_1160729877" MODIFIED="1516695701947" TEXT="Agda"/>
<node CREATED="1516695711821" ID="ID_886806884" MODIFIED="1516695769605" TEXT="CbC&#x3068;Agda"/>
<node CREATED="1516695770479" ID="ID_289839920" MODIFIED="1516695935530" TEXT="Agda&#x3067;&#x306e;&#x8a3c;&#x660e;"/>
<node CREATED="1516695962331" ID="ID_1727743322" MODIFIED="1516695964397" TEXT="&#x307e;&#x3068;&#x3081;"/>
</node>
</node>
</map>