Mercurial > hg > Papers > 2015 > atton-sigse

view mindmap.mm @ 30:b19932e572b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rewriting position paper ...
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Thu, 11 Dec 2014 21:15:37 +0900
parents fa9bde939db6
children a26df8794a6b
line wrap: on
line source

<map version="1.0.1">
<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
<node CREATED="1418180915266" ID="ID_91344823" MODIFIED="1418264850714" TEXT="&#x5f62;&#x5f0f;&#x624b;&#x6cd5; &#xff0d;&#x7523;&#x5b66;&#x9023;&#x643a;&#x3067;&#x666e;&#x53ca;&#x62e1;&#x5927;&#x3092;&#x76ee;&#x6307;&#x3059;&#xff0d;">
<node CREATED="1418180919812" FOLDED="true" ID="ID_1639973897" MODIFIED="1418293346776" POSITION="right" TEXT="&#x8a3c;&#x660e;&#x3059;&#x308b;&#x30a2;&#x30d7;&#x30ed;&#x30fc;&#x30c1;">
<node CREATED="1418180981992" ID="ID_1157185658" MODIFIED="1418180994566" TEXT="&#x5272;&#x3068;1&#x30c7;&#x30fc;&#x30bf;&#x578b;&#x306b;&#x5bfe;&#x3057;&#x3066;&#x30b3;&#x30b9;&#x30c8;&#x304c;&#x9ad8;&#x3044;">
<node CREATED="1418180994567" ID="ID_905788309" MODIFIED="1418180997440" TEXT="&#x8a3c;&#x660e;&#x3092;&#x66f8;&#x304f;&#x306e;&#x306b;">
<node CREATED="1418181345166" ID="ID_907688181" MODIFIED="1418181354566" TEXT="Delta &#x306f;&#x4e00;&#x56de;&#x3042;&#x305f;&#x308a;1&#x30f6;&#x6708;&#x307b;&#x3069;">
<node CREATED="1418181354567" ID="ID_1771472289" MODIFIED="1418181363138" TEXT="&#x5b9a;&#x7fa9;&#x3092;&#x5909;&#x3048;&#x305f;&#x3089;1&#x30f6;&#x6708;&#x8d8a;&#x3048;&#x305f;&#x6c17;&#x3082;&#x3059;&#x308b;"/>
</node>
<node CREATED="1418181366653" ID="ID_1913589464" MODIFIED="1418181381121" TEXT="&#x305f;&#x3076;&#x3093; &#x30c7;&#x30fc;&#x30bf;&#x578b;1&#x3064;&#x3068;&#x4ed8;&#x968f;&#x3059;&#x308b;&#x95a2;&#x6570;5&#x3064;&#x304f;&#x3089;&#x3044;">
<node CREATED="1418181383134" ID="ID_1911930342" MODIFIED="1418181392209" TEXT="&#x305d;&#x3093;&#x306a;&#x3093;&#x3067;&#x5b9f;&#x7528;&#x306b;&#x8010;&#x3048;&#x3046;&#x308b;&#x306e;&#x304b;&#x306a;&#x306e;&#x304b;"/>
</node>
</node>
<node CREATED="1418180997668" ID="ID_900558037" MODIFIED="1418181006647" TEXT="&#x81ea;&#x52d5;&#x306f;&#x7121;&#x7406;&#x3063;&#x307d;&#x3044;">
<node CREATED="1418181007460" ID="ID_1468593122" MODIFIED="1418181019991" TEXT="coq &#x3068;&#x304b;&#x306a;&#x3089;&#x3068;&#x3082;&#x304b;&#x304f;"/>
<node CREATED="1418181020204" ID="ID_31071323" MODIFIED="1418181028070" TEXT="Agda &#x306f;&#x624b;&#x3067;&#x66f8;&#x304b;&#x306a;&#x3044;&#x3068;&#x3044;&#x3051;&#x306a;&#x3044;"/>
</node>
<node CREATED="1418181031243" ID="ID_1908587433" MODIFIED="1418181045908" TEXT="&#x8a3c;&#x660e;&#x6e08;&#x307f;&#x57fa;&#x790e;&#x30c7;&#x30fc;&#x30bf;&#x578b;&#x307f;&#x305f;&#x3044;&#x306a;&#x306e;&#x306e;&#x7d44;&#x5408;&#x305b;&#x3067;&#x66f8;&#x304f;">
<node CREATED="1418181045909" ID="ID_828327547" MODIFIED="1418181053690" TEXT="&#x305d;&#x3046;&#x3059;&#x308b;&#x3068;&#x3042;&#x308b;&#x7a0b;&#x5ea6;&#x4fdd;&#x8a3c;&#x3055;&#x308c;&#x308b;">
<node CREATED="1418181053692" ID="ID_411317141" MODIFIED="1418181064222" TEXT="&#x8a3c;&#x660e;&#x3055;&#x308c;&#x305f;&#x898f;&#x5247;&#x3067;&#x306e;&#x5909;&#x5f62;"/>
<node CREATED="1418181064498" ID="ID_1194413342" MODIFIED="1418181082811" TEXT="&#x30c7;&#x30fc;&#x30bf;&#x578b;&#x305d;&#x306e;&#x3082;&#x306e;&#x304c;&#x6301;&#x3064;&#x6027;&#x8cea;"/>
<node CREATED="1418181077635" ID="ID_496017643" MODIFIED="1418181077635" TEXT=""/>
</node>
<node CREATED="1418181089970" ID="ID_1111677954" MODIFIED="1418181093940" TEXT="&#x305d;&#x308c;&#x3067;&#x66f8;&#x3051;&#x306a;&#x3044;&#x306e;&#x3092;&#x3069;&#x3046;&#x3059;&#x308b;&#x304b;">
<node CREATED="1418181110672" ID="ID_1555848580" MODIFIED="1418181126403" TEXT="&#x3060;&#x304c;&#x8a31;&#x3059;&#x3068;&#x8a3c;&#x660e;&#x3055;&#x308c;&#x305f;&#x898f;&#x5247;&#x304c;&#x6d88;&#x3048;&#x3066;&#x3057;&#x307e;&#x3046;"/>
<node CREATED="1418181126648" ID="ID_266121578" MODIFIED="1418181130602" TEXT="&#x306a;&#x306e;&#x3067;&#x5f37;&#x5236;&#x3059;&#x308b;&#x3053;&#x3068;&#x306b;&#x306a;&#x308b;&#x306f;&#x305a;"/>
</node>
<node CREATED="1418181094202" ID="ID_159439470" MODIFIED="1418181100076" TEXT="&#x305d;&#x308c;&#x3067;&#x5168;&#x3066;&#x8868;&#x73fe;&#x53ef;&#x80fd;&#x306a;&#x306e;&#x304b;">
<node CREATED="1418181102609" ID="ID_501203024" MODIFIED="1418181110307" TEXT="&#x8ffd;&#x52a0;&#x3084;&#x62e1;&#x5f35;&#x306f;&#x30b3;&#x30b9;&#x30c8;&#x304c;&#x9ad8;&#x3044;"/>
<node CREATED="1418181136367" ID="ID_1164500334" MODIFIED="1418181186529" TEXT="System F &#x3067;&#x30b3;&#x30fc;&#x30c9;&#x304c;&#x66f8;&#x3051;&#x308b;&#x306e;&#x304b;&#x3001;&#x3068;&#x3044;&#x3046;&#x8a71;&#x306b;&#x4f3c;&#x3066;&#x3044;&#x308b;&#x306f;&#x305a;">
<node CREATED="1418181158535" ID="ID_1260862407" MODIFIED="1418181161897" TEXT="&#x66f8;&#x3051;&#x306f;&#x3059;&#x308b;&#x3051;&#x308c;&#x3069;"/>
<node CREATED="1418181162111" ID="ID_212009215" MODIFIED="1418181167129" TEXT="&#x304a;&#x305d;&#x3089;&#x304f;&#x5b9f;&#x7528;&#x7684;&#x306a;&#x7bc4;&#x56f2;&#x5916;"/>
</node>
</node>
<node CREATED="1418181100665" ID="ID_1611809731" MODIFIED="1418181222151" TEXT="Agda Standard Library &#x307f;&#x305f;&#x3044;&#x306a;&#x3082;&#x3093;&#x304b;&#x306a;"/>
</node>
<node CREATED="1418181225109" ID="ID_1053237860" MODIFIED="1418181229327" TEXT="&#x3058;&#x3083;&#x3042;&#x3044;&#x308c;&#x306a;&#x3044;">
<node CREATED="1418181229914" ID="ID_1803168817" MODIFIED="1418181234579" TEXT="&#x3069;&#x3046;&#x3084;&#x3063;&#x3066;&#x4fdd;&#x8a3c;&#x3059;&#x308b;&#x304b;">
<node CREATED="1418181234580" ID="ID_1636639123" MODIFIED="1418181239892" TEXT="model checking">
<node CREATED="1418181239893" ID="ID_735643632" MODIFIED="1418181244631" TEXT="&#x305d;&#x3093;&#x306a;&#x306b;&#x4e07;&#x80fd;&#x306a;&#x306e;&#x304b;"/>
<node CREATED="1418181394509" ID="ID_1300439708" MODIFIED="1418181407159" TEXT="&#x305d;&#x306e;&#x3042;&#x305f;&#x308a;&#x306f;&#x81ea;&#x5206;&#x306e;&#x77e5;&#x8b58;&#x7684;&#x306b;&#x7528;&#x691c;&#x8a3c;"/>
</node>
</node>
<node CREATED="1418181245658" ID="ID_1970618421" MODIFIED="1418181258931" TEXT="&#x81ea;&#x52d5;&#x3067;&#x578b;&#x306b;&#x3042;&#x3066;&#x306f;&#x3081;&#x308b;&#x3001;&#x304f;&#x3089;&#x3044;&#x3067;&#x826f;&#x3044;&#x306e;&#x304b;&#x306a;">
<node CREATED="1418181258932" ID="ID_414181546" MODIFIED="1418181261629" TEXT="ATS &#x307f;&#x305f;&#x3044;&#x306a;">
<node CREATED="1418181262130" ID="ID_801641798" MODIFIED="1418181277612" TEXT="&#x9ad8;&#x3044;&#x4fe1;&#x983c;&#x6027;&#x3092;&#x6301;&#x3064;&#x578b;&#x4ed8;&#x304d;&#x90e8;&#x5206;"/>
<node CREATED="1418181278809" ID="ID_1479777082" MODIFIED="1418181285618" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x52d5;&#x304f;&#x30d9;&#x30bf;&#x30b3;&#x30fc;&#x30c9;&#x90e8;&#x5206;"/>
</node>
<node CREATED="1418181290050" ID="ID_324009537" MODIFIED="1418181294265" TEXT="&#x305d;&#x3053;&#x306f;&#x81ea;&#x52d5;&#x3067;&#x3044;&#x3051;&#x308b;&#x306e;&#x304b;">
<node CREATED="1418181294266" ID="ID_587580129" MODIFIED="1418181298347" TEXT="&#x63a8;&#x8ad6;&#x3060;&#x3051;&#x3067;&#x3044;&#x3051;&#x308b;&#x306e;&#x304b;"/>
<node CREATED="1418181298802" ID="ID_1558354110" MODIFIED="1418181309356" TEXT="&#x307b;&#x3093;&#x3068;&#x306b;&#x81ea;&#x52d5;&#x3067;&#x5bfe;&#x5fdc;&#x3057;&#x3066;&#x3044;&#x308b;&#x306e;&#x304c;&#x304d;&#x3061;&#x3093;&#x3068;&#x5bfe;&#x5fdc;&#x3057;&#x3066;&#x3044;&#x308b;&#x306e;&#x304b;"/>
<node CREATED="1418181309576" ID="ID_1115441920" MODIFIED="1418181315652" TEXT="&#x660e;&#x793a;&#x7684;&#x306b;&#x66f8;&#x304f;?"/>
</node>
</node>
</node>
<node CREATED="1418181321680" ID="ID_1702292110" MODIFIED="1418181328111" TEXT="&#x66f8;&#x3044;&#x3066;&#x3057;&#x307e;&#x3048;&#x3070;&#x3054;&#x81ea;&#x7531;&#x306b;&#x3069;&#x3046;&#x305e;">
<node CREATED="1418181328112" ID="ID_1459622184" MODIFIED="1418181332895" TEXT="&#x305d;&#x306e;&#x7bc4;&#x56f2;&#x3067;&#x3042;&#x308c;&#x3070;&#x554f;&#x984c;&#x7121;&#x3057;"/>
<node CREATED="1418182219889" ID="ID_201679429" MODIFIED="1418182233822" TEXT="&#x305f;&#x3060;&#x3057;&#x305d;&#x3053;&#x3092;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30de;&#x304c;&#x6b63;&#x3057;&#x304f;&#x30de;&#x30c3;&#x30d4;&#x30f3;&#x30b0;&#x3067;&#x304d;&#x308b;&#x304b;&#x3069;&#x3046;&#x304b;&#x3068;&#x3044;&#x3046;&#x554f;&#x984c;&#x304c;"/>
</node>
</node>
<node CREATED="1418182698609" ID="ID_735630562" MODIFIED="1418182709372" TEXT="&#x304d;&#x3061;&#x3093;&#x3068;&#x5bfe;&#x5fdc;&#x304c;&#x53d6;&#x308c;&#x308b;&#x304b;&#x554f;&#x984c;"/>
<node CREATED="1418182709624" ID="ID_252376527" MODIFIED="1418182714787" TEXT="over verification"/>
</node>
<node CREATED="1418181411845" FOLDED="true" ID="ID_269659410" MODIFIED="1418293352726" POSITION="left" TEXT="Category">
<node CREATED="1418181423515" ID="ID_97428056" MODIFIED="1418181429614" TEXT="&#x306a;&#x305c; Formalization &#x306b;&#x3044;&#x3063;&#x305f;&#x304b;">
<node CREATED="1418181429915" ID="ID_150938332" MODIFIED="1418181438934" TEXT="Parallel debugger &#x306f;&#x3069;&#x3046;&#x3057;&#x3066;&#x305d;&#x306e;&#x307e;&#x307e;&#x66f8;&#x304b;&#x306a;&#x3063;&#x305f;&#x304b;">
<node CREATED="1418181440027" ID="ID_1895994685" MODIFIED="1418181456558" TEXT="&#x5272;&#x3068; mercurial repository checkout &#x3067;&#x3044;&#x3051;&#x308b;"/>
<node CREATED="1418181456779" ID="ID_1429431108" MODIFIED="1418181473453" TEXT="&#x526f;&#x4f5c;&#x7528;&#x7684;&#x306a;&#x3082;&#x306e;&#x3092;&#x542b;&#x3081;&#x3066;&#x3044;&#x308b;&#x306e;&#x3092;&#x3069;&#x3046;&#x3059;&#x308b;&#x306e;&#x304b;&#x975e;&#x81ea;&#x660e;">
<node CREATED="1418181474994" ID="ID_1072354018" MODIFIED="1418181480349" TEXT="haskell &#x306a;&#x3089;&#x3069;&#x3046;&#x306b;&#x304b;?"/>
<node CREATED="1418181480611" ID="ID_1482677118" MODIFIED="1418181512835" TEXT="&#x526f;&#x4f5c;&#x7528;&#x3092;&#x542b;&#x3080;&#x5834;&#x5408;&#x306e; prallel debbugging &#x304c;&#x304d;&#x3061;&#x3093;&#x3068;&#x5bfe;&#x5fdc;&#x3059;&#x308b;&#x306e;&#x304b;&#x307e;&#x305a;&#x8003;&#x3048;&#x305f;&#x304b;&#x3063;&#x305f;">
<node CREATED="1418181516936" ID="ID_1426285126" MODIFIED="1418181523331" TEXT="&#x66f8;&#x3044;&#x3066;&#x304b;&#x3089;&#x60a9;&#x3081;&#x3088;&#x7bc0;&#x3082;&#x3042;&#x308b;&#x3051;&#x308c;&#x3069;"/>
<node CREATED="1418181523593" ID="ID_1361560439" MODIFIED="1418181538651" TEXT="&#x500b;&#x4eba;&#x7684;&#x306b;&#x306f;&#x51f6;&#x60aa;&#x306a;&#x5916;&#x90e8;IF&#x3068;&#x304b;&#x66f8;&#x304b;&#x306a;&#x3044;&#x3068;&#x7121;&#x7406;&#x306a;&#x306e;&#x3067;&#x306f;&#x3068;&#x601d;&#x3063;&#x3066;&#x305f;"/>
</node>
</node>
</node>
</node>
<node CREATED="1418181545918" ID="ID_1417713796" MODIFIED="1418181557255" TEXT="Category &#x306f;&#x5f79;&#x306b;&#x7acb;&#x3064;&#x306e;&#x304b;">
<node CREATED="1418181557256" ID="ID_940725954" MODIFIED="1418181570538" TEXT="&#x5f62;&#x5f0f;&#x5316;&#x624b;&#x6cd5;&#x3068;&#x3057;&#x3066;&#x306f;&#x3069;&#x3046;&#x306a;&#x3093;&#x3060;&#x308d;&#x3046;"/>
<node CREATED="1418181571383" ID="ID_53776958" MODIFIED="1418181591038" TEXT="Categorical Formalized &#x306a;&#x30b9;&#x30b3;&#x30fc;&#x30d7;&#x306b;&#x843d;&#x3068;&#x3059;&#x3068;&#x826f;&#x3044;&#x3088;&#x306d;&#x3001;&#x307f;&#x305f;&#x3044;&#x306a;&#x4f7f;&#x3044;&#x65b9;&#x306a;&#x30a4;&#x30e1;&#x30fc;&#x30b8;">
<node CREATED="1418181591039" ID="ID_716874884" MODIFIED="1418181595489" TEXT="Free Monoid &#x3068;&#x304b;"/>
<node CREATED="1418181596094" ID="ID_100297480" MODIFIED="1418181604248" TEXT="&#x305d;&#x306e;&#x30b9;&#x30b3;&#x30fc;&#x30d7;&#x5185;&#x3067;&#x3057;&#x304b;&#x3067;&#x304d;&#x306a;&#x3044;&#x3068;&#x3044;&#x3048;&#x3070;&#x3067;&#x304d;&#x306a;&#x3044;"/>
<node CREATED="1418181616509" ID="ID_1023470454" MODIFIED="1418181626871" TEXT="&#x5bfe;&#x5fdc;&#x95a2;&#x4fc2;&#x306f;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30de;&#x304c;&#x8003;&#x3048;&#x308b;"/>
</node>
<node CREATED="1418181630691" ID="ID_387443474" MODIFIED="1418181636579" TEXT="&#x5b9f;&#x969b;&#x306e;&#x8868;&#x73fe;&#x80fd;&#x529b;">
<node CREATED="1418181636580" ID="ID_1548187078" MODIFIED="1418181645287" TEXT="&#x6b63;&#x76f4;&#x30d1;&#x30c3;&#x3068;&#x306f;&#x66f8;&#x3051;&#x306a;&#x3044;">
<node CREATED="1418181645619" ID="ID_327454102" MODIFIED="1418181651790" TEXT="&#x5fc5;&#x9808;&#x77e5;&#x8b58;&#x304c;&#x591a;&#x3059;&#x304e;&#x308b;"/>
</node>
<node CREATED="1418181655339" ID="ID_1909823549" MODIFIED="1418181664570" TEXT="&#x3053;&#x308f;&#x3044; Haskeller &#x3068;&#x304b;&#x306a;&#x3089;&#x81ea;&#x660e;&#x306a;&#x306e;&#x304b;&#x3082;&#x3057;&#x308c;&#x306a;&#x3044;&#x3051;&#x308c;&#x3069;"/>
<node CREATED="1418181672890" ID="ID_1680851110" MODIFIED="1418181688101" TEXT="&#x305d;&#x308c;&#x304c;&#x6709;&#x7528;&#x306a;&#x306e;&#x304b;&#x3001;&#x3063;&#x3066;&#x6b21;&#x5143;&#x3092;&#x8a9e;&#x308b;&#x306b;&#x306f;&#x307e;&#x3060;&#x7d4c;&#x9a13;&#x304c;&#x8db3;&#x308a;&#x3066;&#x306a;&#x3044;">
<node CREATED="1418181695297" ID="ID_78590582" MODIFIED="1418181704180" TEXT="&#x3068;&#x306f;&#x3044;&#x3048;1&#x5e74;&#x5206;&#x306f;&#x3084;&#x3063;&#x3066;&#x308b;&#x8a08;&#x7b97;&#x306a;&#x306e;&#x304b;"/>
</node>
</node>
</node>
</node>
<node CREATED="1418181719512" FOLDED="true" ID="ID_1778092327" MODIFIED="1418293344467" POSITION="right" TEXT="&#x79c1;&#x306e;&#x8003;&#x3048;">
<node CREATED="1418181723657" ID="ID_1975836647" MODIFIED="1418181767752" TEXT="&#x7406;&#x60f3;">
<node CREATED="1418181724721" ID="ID_24312002" MODIFIED="1418181726951" TEXT="&#x81ea;&#x52d5;&#x5316;&#x3057;&#x305f;&#x3044;">
<node CREATED="1418181726952" ID="ID_768596212" MODIFIED="1418181733896" TEXT="&#x30d0;&#x30b0;&#x306e;&#x691c;&#x51fa;">
<node CREATED="1418181733897" ID="ID_566566124" MODIFIED="1418181737899" TEXT="&#x60f3;&#x5b9a;&#x5916;&#x306e;&#x4ed5;&#x69d8;&#x3068;&#x304b;"/>
<node CREATED="1418181738872" ID="ID_486640500" MODIFIED="1418181781025" TEXT="&#x6e80;&#x305f;&#x3057;&#x3066;&#x306a;&#x3044;&#x6761;&#x4ef6;&#x3068;&#x304b;"/>
<node CREATED="1418181781247" ID="ID_1294427996" MODIFIED="1418181784249" TEXT="&#x4f8b;&#x5916;&#x3068;&#x304b;"/>
<node CREATED="1418181784846" ID="ID_1490731973" MODIFIED="1418181791081" TEXT="&#x5b9f;&#x969b;&#x30d0;&#x30b0;&#x306e;&#x7a2e;&#x985e;&#x3063;&#x3066;&#x4f55;&#x304c;&#x3042;&#x308b;&#x306e;&#x3060;&#x308d;&#x3046;"/>
<node CREATED="1418181960406" ID="ID_601452297" MODIFIED="1418181971910" TEXT="&#x7279;&#x6b8a;&#x306a;&#x306e;">
<node CREATED="1418181971911" ID="ID_298778954" MODIFIED="1418181973393" TEXT="&#x526f;&#x4f5c;&#x7528;"/>
<node CREATED="1418181973614" ID="ID_284089863" MODIFIED="1418181984265" TEXT="&#x4e26;&#x5217;&#x6642;&#x306b;&#x306e;&#x307f;&#x8d77;&#x304d;&#x308b;"/>
<node CREATED="1418181984485" ID="ID_783522097" MODIFIED="1418182014303" TEXT="&#x305f;&#x3076;&#x3093;&#x3053;&#x308c;&#x3089;&#x306f;&#x9806;&#x756a;&#x306e;&#x554f;&#x984c;&#x304b;&#x306a;"/>
</node>
</node>
<node CREATED="1418181743991" ID="ID_1564140730" MODIFIED="1418181760964" TEXT="&#x901a;&#x5e38;&#x306e;&#x30bd;&#x30fc;&#x30b9;&#x3092;&#x610f;&#x8b58;&#x305b;&#x305a;&#x306b;&#x66f8;&#x3044;&#x3066;&#x3069;&#x3046;&#x3053;&#x3046;&#x3057;&#x305f;&#x3044;">
<node CREATED="1418182245347" ID="ID_304940298" MODIFIED="1418182247219" TEXT="&#x901a;&#x5e38;&#x3068;&#x306f;">
<node CREATED="1418182247220" ID="ID_621892916" MODIFIED="1418182250411" TEXT="&#x304a;&#x305d;&#x3089;&#x304f;">
<node CREATED="1418182250412" ID="ID_1727870100" MODIFIED="1418182254614" TEXT="&#x69cb;&#x9020;&#x5316;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30df;&#x30f3;&#x30b0;"/>
<node CREATED="1418182254834" ID="ID_1377709393" MODIFIED="1418182257573" TEXT="&#x30aa;&#x30d6;&#x30b8;&#x30a7;&#x30af;&#x30c8;&#x6307;&#x5411;"/>
<node CREATED="1418182257820" ID="ID_1208383542" MODIFIED="1418182260864" TEXT="&#x95a2;&#x6570;&#x578b;"/>
</node>
</node>
</node>
<node CREATED="1418182273546" ID="ID_1167120953" MODIFIED="1418182278698" TEXT="&#x3064;&#x307e;&#x308a;&#x8a00;&#x8a9e;&#x30ec;&#x30d9;&#x30eb;&#x3067;&#x30b5;&#x30dd;&#x30fc;&#x30c8;&#x3057;&#x305f;&#x3044;">
<node CREATED="1418182278699" ID="ID_1498408070" MODIFIED="1418182285404" TEXT="&#x305d;&#x306e;&#x305f;&#x3081;&#x306b;&#x5fc5;&#x8981;&#x306a;&#x306e;&#x306f;&#x4f55;&#x304b;&#x3092;&#x8003;&#x3048;&#x306a;&#x3044;&#x3068;&#x3044;&#x3051;&#x306a;&#x3044;"/>
</node>
</node>
</node>
<node CREATED="1418181793613" ID="ID_865440637" MODIFIED="1418181795982" TEXT="&#x3069;&#x3046;&#x3059;&#x308b;&#x306e;&#x304b;">
<node CREATED="1418181795983" ID="ID_1355385238" MODIFIED="1418181805031" TEXT="&#x3069;&#x308c;&#x3060;&#x3051;&#x306e;&#x60c5;&#x5831;&#x304c;&#x3042;&#x308c;&#x3070;&#x30d0;&#x30b0;&#x3092;&#x691c;&#x51fa;&#x3067;&#x304d;&#x308b;?">
<node CREATED="1418181828645" ID="ID_1429160748" MODIFIED="1418181838951" TEXT="&#x305d;&#x308c;&#x3092;&#x77e5;&#x3089;&#x306a;&#x3044;&#x3068;&#x3044;&#x3051;&#x306a;&#x3044;"/>
<node CREATED="1418181848050" ID="ID_282731223" MODIFIED="1418181950485" TEXT="&#x305f;&#x3068;&#x3048;&#x3070;">
<node CREATED="1418181805032" ID="ID_73966373" MODIFIED="1418181811384" TEXT="&#x304a;&#x304d;&#x3048;&#x308b;&#x4f8b;&#x5916;&#x4e00;&#x89a7;"/>
<node CREATED="1418181811989" ID="ID_1539486184" MODIFIED="1418181825687" TEXT="&#x578b;&#x306b;&#x3088;&#x308b;&#x5024;&#x306e;&#x53d6;&#x308a;&#x3048;&#x308b;&#x7bc4;&#x56f2;"/>
<node CREATED="1418181854618" ID="ID_1158859050" MODIFIED="1418181861549" TEXT="&#x7528;&#x610f;&#x3055;&#x308c;&#x305f;&#x69cb;&#x6587;"/>
<node CREATED="1418181861811" ID="ID_605487006" MODIFIED="1418181868605" TEXT="&#x5916;&#x90e8;&#x30d1;&#x30c3;&#x30b1;&#x30fc;&#x30b8;&#x3068;&#x306e;&#x9023;&#x643a;"/>
<node CREATED="1418181951238" ID="ID_1351920238" MODIFIED="1418181957613" TEXT="&#x30c7;&#x30c3;&#x30c9;&#x30ed;&#x30c3;&#x30af;"/>
</node>
</node>
<node CREATED="1418181878201" ID="ID_1385164960" MODIFIED="1418181888298" TEXT="&#x305d;&#x306e;&#x60c5;&#x5831;&#x3092;&#x3069;&#x3046;&#x3084;&#x3063;&#x3066;&#x30d0;&#x30b0;&#x3092;&#x898b;&#x3064;&#x3051;&#x3066;&#x8b66;&#x544a;&#x3059;&#x308b;&#x304b;">
<node CREATED="1418181888299" ID="ID_1389711641" MODIFIED="1418181896949" TEXT="&#x6761;&#x4ef6;&#x7db2;&#x7f85;&#x7684;"/>
<node CREATED="1418181897178" ID="ID_746549506" MODIFIED="1418181903444" TEXT="&#x5024;&#x3078;&#x306e;&#x52d5;&#x4f5c;&#x304c; undefined"/>
<node CREATED="1418181905560" ID="ID_1204757281" MODIFIED="1418181913440" TEXT="undefined &#x3058;&#x3083;&#x306a;&#x304f;&#x3066;&#x30df;&#x30b9;&#x308b;&#x306e;&#x304c;&#x5384;&#x4ecb;">
<node CREATED="1418181913441" ID="ID_768690529" MODIFIED="1418181919764" TEXT="&#x30ec;&#x30f3;&#x30b8;&#x3092;&#x51fa;&#x3059;"/>
<node CREATED="1418181920808" ID="ID_1152696018" MODIFIED="1418181924706" TEXT="&#x305d;&#x306e;&#x7a0b;&#x5ea6;&#x3067;&#x898b;&#x3064;&#x304b;&#x3093;&#x306e;&#x304b;"/>
</node>
</node>
<node CREATED="1418182323894" ID="ID_555056207" MODIFIED="1418182339207" TEXT="&#x305d;&#x308c;&#x3089;&#x3092;&#x6e80;&#x305f;&#x3059;&#x8a00;&#x8a9e;&#x3092;&#x4f7f;&#x3063;&#x3066;&#x66f8;&#x304f;&#x3079;&#x304d;">
<node CREATED="1418182365815" ID="ID_297560677" MODIFIED="1418182386664" TEXT="&#x3064;&#x307e;&#x308a;">
<node CREATED="1418182354271" ID="ID_1499062376" MODIFIED="1418182364882" TEXT="&#x60c5;&#x5831;&#x304b;&#x3089;&#x30d0;&#x30b0;&#x3078;&#x306e;&#x6d41;&#x308c;&#x3082;&#x660e;&#x793a;&#x7684;"/>
<node CREATED="1418182339208" ID="ID_30956356" MODIFIED="1418182353825" TEXT="&#x5fc5;&#x8981;&#x306a;&#x60c5;&#x5831;&#x304c;&#x660e;&#x793a;&#x7684;&#x306b;&#x5206;&#x304b;&#x308b;"/>
</node>
<node CREATED="1418182372478" ID="ID_895703509" MODIFIED="1418182377329" TEXT="&#x3068;&#x3044;&#x3046;&#x304b;&#x4eba;&#x9593;&#x304c;&#x30c1;&#x30a7;&#x30c3;&#x30af;&#x3059;&#x308b;&#x3082;&#x3093;&#x3058;&#x3083;&#x306a;&#x3044;"/>
<node CREATED="1418182391333" ID="ID_1660768254" MODIFIED="1418182401408" TEXT="&#x3079;&#x3064;&#x306b;&#x73fe;&#x72b6;&#x306e;&#x8a00;&#x8a9e;&#x89e3;&#x6790;&#x3067;&#x3082;&#x826f;&#x3044;&#x3063;&#x3061;&#x3083;&#x826f;&#x3044;">
<node CREATED="1418182403949" ID="ID_1855838686" MODIFIED="1418182412247" TEXT="&#x305f;&#x3060;&#x3001;&#x5bfe;&#x5fdc;&#x3092;&#x53d6;&#x308b;&#x306e;&#x304c;&#x53ef;&#x80fd;&#x3068;&#x306f;&#x601d;&#x3048;&#x306a;&#x3044;"/>
<node CREATED="1418182412556" ID="ID_80188673" MODIFIED="1418182424135" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x5bfe;&#x5fdc;&#x304c;&#x3044;&#x3051;&#x3066;&#x308b;&#x3063;&#x307d;&#x3044;&#x8a00;&#x8a9e;&#x3092;&#x8003;&#x3048;&#x308b;&#x306e;&#x304c;&#x5b89;&#x76f4;&#x3060;&#x3068;&#x601d;&#x3046;"/>
</node>
</node>
</node>
<node CREATED="1418185640611" ID="ID_648398253" MODIFIED="1418185644652" TEXT="&#x307e;&#x3068;&#x3081;">
<node CREATED="1418185644653" ID="ID_394508811" MODIFIED="1418185668716" TEXT="&#x5f62;&#x5f0f;&#x624b;&#x6cd5;&#x304b;&#x3089;&#x306e;&#x60c5;&#x5831;&#x306f;&#x5bfe;&#x8a71;&#x7684;&#x306b;&#x624b;&#x306b;&#x5165;&#x308b;&#x3079;&#x304d;">
<node CREATED="1418185668716" ID="ID_312721489" MODIFIED="1418185679637" TEXT="&#x3044;&#x3089;&#x306a;&#x3044;&#x306a;&#x3089;&#x3044;&#x3089;&#x306a;&#x3044;">
<node CREATED="1418187792947" ID="ID_869688654" MODIFIED="1418187799289" TEXT="&#x305d;&#x308c;&#x3067;&#x3082; generic &#x306a;&#x306e;&#x306f;&#x3042;&#x308b;&#x306f;&#x305a;">
<node CREATED="1418187799806" ID="ID_445879821" MODIFIED="1418187806064" TEXT="devide by 0"/>
<node CREATED="1418187806533" ID="ID_983998348" MODIFIED="1418187812960" TEXT="ivalid index"/>
</node>
</node>
<node CREATED="1418185679850" ID="ID_1108864490" MODIFIED="1418185699325" TEXT="&#x5fc5;&#x8981;&#x306a;&#x3089;&#x3069;&#x308c;&#x3060;&#x3051;&#x3067;&#x3082;&#x6b32;&#x3057;&#x3044;">
<node CREATED="1418187815388" ID="ID_719300461" MODIFIED="1418187825368" TEXT="&#x305d;&#x308c;&#x3092;&#x8a18;&#x8ff0;&#x3059;&#x308b;&#x80fd;&#x529b;&#x3082;&#x6b32;&#x3057;&#x3044;"/>
</node>
</node>
<node CREATED="1418185701065" ID="ID_1261000963" MODIFIED="1418185707122" TEXT="&#x305d;&#x306e;&#x60c5;&#x5831;&#x306f;&#x3069;&#x308c;&#x3060;&#x3051;&#x5fc5;&#x8981;&#x306a;&#x306e;&#x304b;">
<node CREATED="1418185707123" ID="ID_369768931" MODIFIED="1418185712564" TEXT="&#x305d;&#x308c;&#x3092;&#x63a2;&#x3057;&#x305f;&#x3044;"/>
<node CREATED="1418185716713" ID="ID_327038586" MODIFIED="1418185724378" TEXT="&#x6ce8;&#x76ee;&#x3057;&#x3066;&#x308b;&#x306e;&#x306f;&#x578b;">
<node CREATED="1418185724379" ID="ID_247247026" MODIFIED="1418185727947" TEXT="&#x5b9f;&#x969b;&#x3069;&#x3046;&#x306a;&#x306e;&#x304b;&#x306f;&#x3068;&#x3082;&#x304b;&#x304f;"/>
<node CREATED="1418185732064" ID="ID_1593924626" MODIFIED="1418185737396" TEXT="&#x4eca;&#x306e;&#x3068;&#x3053;&#x308d;&#x306f;&#x305d;&#x3053;&#x305d;&#x3053;&#x826f;&#x3055;&#x305d;&#x3046;"/>
</node>
</node>
</node>
</node>
<node CREATED="1418182444156" FOLDED="true" ID="ID_803786977" MODIFIED="1418293577583" POSITION="left" TEXT="Agda &#x3068;&#x304b;&#x3069;&#x3046;&#x3060;&#x3063;&#x305f;&#x306e;&#x304b;">
<node CREATED="1418182448643" ID="ID_1005517265" MODIFIED="1418182451404" TEXT="&#x5b66;&#x7fd2;&#x30b3;&#x30b9;&#x30c8;">
<node CREATED="1418182451404" ID="ID_1000430200" MODIFIED="1418182464741" TEXT="&#x6b63;&#x76f4;&#x30a8;&#x30e9;&#x30fc;&#x8aad;&#x3093;&#x3067;&#x5206;&#x304b;&#x308b;&#x3082;&#x3093;&#x3058;&#x3083;&#x306a;&#x304b;&#x3063;&#x305f;"/>
<node CREATED="1418182465339" ID="ID_434679711" MODIFIED="1418182475293" TEXT="&#x3069;&#x3061;&#x3089;&#x304b;&#x3068;&#x8a00;&#x3048;&#x3070;&#x6e80;&#x305f;&#x3059;&#x3079;&#x304d; sub-proof &#x3092;&#x5410;&#x304f;&#x3082;&#x306e;"/>
<node CREATED="1418182478306" ID="ID_716180383" MODIFIED="1418182497592" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x6027;&#x8cea;&#x5148;&#x884c;&#x3067;&#x3042;&#x308b;&#x5fc5;&#x8981;&#x304c;&#x3042;&#x308b;">
<node CREATED="1418182497593" ID="ID_1456688053" MODIFIED="1418182501365" TEXT="&#x305d;&#x308c;&#x304b;&#x3089;&#x5b9a;&#x7fa9;&#x3092;&#x8003;&#x3048;&#x308b;"/>
<node CREATED="1418182502066" ID="ID_5465711" MODIFIED="1418182508932" TEXT="&#x305d;&#x308c;&#x3092;&#x6e80;&#x305f;&#x3059;&#x307e;&#x3067;&#x3072;&#x305f;&#x3059;&#x3089;&#x306b;&#x66f8;&#x304f;&#x3001;&#x3063;&#x3066;&#x611f;&#x3058;"/>
</node>
</node>
<node CREATED="1418182512745" ID="ID_484097984" MODIFIED="1418182544055" TEXT="duck typiing &#x3068;&#x306f;&#x771f;&#x9006;&#x3092;&#x3044;&#x3063;&#x3066;&#x308b;&#x306f;&#x305a;">
<node CREATED="1418182544056" ID="ID_1664375557" MODIFIED="1418182553106" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x3001;&#x3063;&#x3066;&#x8a33;&#x306b;&#x306f;&#x3044;&#x304b;&#x306a;&#x3044;"/>
<node CREATED="1418182553344" ID="ID_1803463788" MODIFIED="1418182561961" TEXT="&#x6e80;&#x305f;&#x3059;&#x307e;&#x3067;&#x7d42;&#x308f;&#x3089;&#x306a;&#x3044;&#x305c;&#x7684;&#x306a;"/>
</node>
<node CREATED="1418182565614" ID="ID_228954736" MODIFIED="1418182568238" TEXT="&#x3069;&#x3063;&#x3061;&#x304b;&#x3068;&#x8a00;&#x3048;&#x3070;">
<node CREATED="1418182568239" ID="ID_943070641" MODIFIED="1418182576222" TEXT="Algorithm &#x306e;&#x65b9;&#x304c;&#x826f;&#x3044;&#x306e;&#x304b;&#x306a;">
<node CREATED="1418182576223" ID="ID_1021999389" MODIFIED="1418182593844" TEXT="SSL &#x306e;&#x30a2;&#x30ec;&#x3068;&#x304b;"/>
<node CREATED="1418182595365" ID="ID_1131465800" MODIFIED="1418182603231" TEXT="&#x30b2;&#x30fc;&#x30e0;&#x30eb;&#x30fc;&#x30eb;&#x3068;&#x304b;"/>
</node>
<node CREATED="1418182604204" ID="ID_1236591481" MODIFIED="1418182610838" TEXT="&#x5225;&#x306b;&#x30c7;&#x30fc;&#x30bf;&#x69cb;&#x9020;&#x306e;&#x3084;&#x3064;&#x3067;&#x3082;&#x826f;&#x3044;&#x3093;&#x3060;&#x3051;&#x308c;&#x3069;">
<node CREATED="1418182616532" ID="ID_1450828974" MODIFIED="1418182626462" TEXT="&#x65e2;&#x306b;&#x3042;&#x308b;&#x8a3c;&#x660e;&#x306e; rewrite"/>
<node CREATED="1418182627301" ID="ID_899694880" MODIFIED="1418182634270" TEXT="&#x3042;&#x308c;&#x3068;&#x540c;&#x3058;&#x3001;&#x307f;&#x305f;&#x3044;&#x306a;&#x3053;&#x3068;&#x306b;&#x306a;&#x308b;"/>
<node CREATED="1418182634645" ID="ID_146613907" MODIFIED="1418182646559" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x9069;&#x5f53;&#x306b;&#x4f5c;&#x3063;&#x3066;&#x3053;&#x308c;&#x3069;&#x3046;&#x306a;&#x306e;&#x3001;&#x3068;&#x3059;&#x308b;&#x306b;&#x306f;&#x30b3;&#x30b9;&#x30c8;&#x304c;&#x9ad8;&#x3059;&#x304e;&#x308b;"/>
<node CREATED="1418182646788" ID="ID_470200250" MODIFIED="1418182663405" TEXT="water fall &#x306e;&#x4ed5;&#x69d8;&#x5b9a;&#x7fa9;&#x30ec;&#x30d9;&#x30eb;&#x3067;&#x3053;&#x308c;&#x3092;&#x66f8;&#x3044;&#x3061;&#x3083;&#x3048;&#x3070;&#x305f;&#x3076;&#x3093;&#x4e07;&#x5168;&#x306a;&#x4ed5;&#x69d8;&#x306b;&#x306a;&#x308a;&#x304b;&#x306d;&#x306a;&#x3044;">
<node CREATED="1418182663986" ID="ID_1522360088" MODIFIED="1418182668261" TEXT="&#x3067;&#x3082;&#x305f;&#x3076;&#x3093;&#x3053;&#x3063;&#x3061;&#x306e;&#x304c;&#x6642;&#x9593;&#x304b;&#x304b;&#x308b;"/>
</node>
</node>
</node>
</node>
<node CREATED="1418264851770" FOLDED="true" ID="ID_269756551" MODIFIED="1418293349500" POSITION="right" TEXT="&#x3042;&#x306a;&#x305f;&#x306f;&#x4f55;&#x8005;&#x304b;">
<node CREATED="1418264858306" ID="ID_1735151494" MODIFIED="1418264871355" TEXT="&#x7409;&#x5927;ie">
<node CREATED="1418265394067" ID="ID_113042345" MODIFIED="1418265398133" TEXT="B4"/>
<node CREATED="1418265398403" ID="ID_1016158888" MODIFIED="1418265404238" TEXT="cr-ryukyu"/>
</node>
<node CREATED="1418264871777" ID="ID_438116913" MODIFIED="1418264879579" TEXT="Agda &#x66f8;&#x3044;&#x3066;&#x4e00;&#x5e74;&#x304f;&#x3089;&#x3044;">
<node CREATED="1418265025625" ID="ID_1191217011" MODIFIED="1418265030925" TEXT="Proofs and Types"/>
<node CREATED="1418265031202" ID="ID_534861136" MODIFIED="1418265036444" TEXT="Category"/>
<node CREATED="1418265041897" ID="ID_1702681357" MODIFIED="1418265073282" TEXT="&#x8208;&#x5473;&#x3042;&#x308b;&#x3051;&#x308c;&#x3069;&#x307e;&#x3060;">
<node CREATED="1418265073744" ID="ID_608556658" MODIFIED="1418265076674" TEXT="&#x30e2;&#x30c7;&#x30eb;&#x30c1;&#x30a7;&#x30c3;&#x30af;"/>
<node CREATED="1418265076895" ID="ID_1072437552" MODIFIED="1418265079290" TEXT="&#x8a00;&#x8a9e;&#x51e6;&#x7406;&#x7cfb;"/>
<node CREATED="1418265079543" ID="ID_1440072245" MODIFIED="1418265082314" TEXT="&#x30c6;&#x30b9;&#x30c8;"/>
<node CREATED="1418265082464" ID="ID_897804660" MODIFIED="1418265085459" TEXT="&#x30c6;&#x30b9;&#x30c8;&#x81ea;&#x52d5;&#x751f;&#x6210;"/>
<node CREATED="1418265085704" ID="ID_1598131497" MODIFIED="1418265087891" TEXT="&#x9759;&#x7684;&#x89e3;&#x6790;"/>
<node CREATED="1418265412690" ID="ID_1262388893" MODIFIED="1418265414843" TEXT="Type">
<node CREATED="1418265423370" ID="ID_625273719" MODIFIED="1418265425589" TEXT="dependent"/>
<node CREATED="1418265425817" ID="ID_1403542222" MODIFIED="1418265430836" TEXT="linear"/>
</node>
<node CREATED="1418265450153" ID="ID_1946990069" MODIFIED="1418265606238" TEXT="&#x30d0;&#x30b0;&#x306e;&#x4e00;&#x89a7;&#x3068;&#x304b;&#x3082;&#x6700;&#x8fd1;&#x6b32;&#x3057;&#x3044;"/>
<node CREATED="1418265093288" ID="ID_567024624" MODIFIED="1418265107847" TEXT="&#x305f;&#x3076;&#x3093;&#x4e00;&#x756a;&#x4e2d;&#x5fc3;&#x306b;&#x3042;&#x308b;&#x306e;&#x306f;">
<node CREATED="1418265107848" ID="ID_813757267" MODIFIED="1418265117442" TEXT="&#x300c;&#x9593;&#x9055;&#x3044;&#x3092;&#x8d77;&#x3053;&#x3057;&#x306b;&#x304f;&#x3044;&#x6a5f;&#x69cb;&#x300d;"/>
<node CREATED="1418265117878" ID="ID_350406365" MODIFIED="1418265126284" TEXT="&#x300c;&#x9593;&#x9055;&#x3044;&#x3092;&#x6307;&#x6458;&#x3059;&#x308b;&#x6a5f;&#x69cb;&#x300d;"/>
<node CREATED="1418265126671" ID="ID_796449975" MODIFIED="1418265133569" TEXT="&#x300c;&#x9593;&#x9055;&#x3044;&#x304c;&#x7121;&#x3044;&#x305f;&#x3081;&#x306b;&#x306f;&#x300d;"/>
<node CREATED="1418265133982" ID="ID_54301794" MODIFIED="1418265137717" TEXT="&#x3068;&#x304b;&#x3060;&#x308d;&#x3046;">
<node CREATED="1418265137718" ID="ID_306083222" MODIFIED="1418265145839" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x81ea;&#x52d5;&#x7684;&#x306b;&#x9593;&#x9055;&#x3044;&#x3092;&#x6392;&#x9664;&#x3057;&#x305f;&#x3044;"/>
</node>
</node>
</node>
</node>
<node CREATED="1418264880049" ID="ID_861006294" MODIFIED="1418264889963" TEXT="Haskell &#x3067;&#x5de8;&#x5927;&#x306a;&#x30b3;&#x30fc;&#x30c9;&#x306f;&#x66f8;&#x3044;&#x305f;&#x3053;&#x3068;&#x7121;&#x3057;">
<node CREATED="1418265153631" ID="ID_163581378" MODIFIED="1418265159631" TEXT="&#x5b9f;&#x7528;&#x3055;&#x308c;&#x308b;&#x306e;&#x304b;&#x3001;&#x3068;&#x3044;&#x3046;&#x60c5;&#x5831;&#x306f;&#x7121;&#x3057;"/>
<node CREATED="1418265164373" ID="ID_657050859" MODIFIED="1418265172236" TEXT="&#x3061;&#x306a;&#x307f;&#x306b; ghc &#x8aad;&#x3093;&#x3067;&#x3066;&#x7591;&#x554f;&#x306f;&#x591a;&#x3044;">
<node CREATED="1418265172237" ID="ID_1204477840" MODIFIED="1418265181027" TEXT="&#x3042;&#x306e;&#x30b5;&#x30a4;&#x30ba;&#x3067;&#x307b;&#x3093;&#x3068;&#x306b;&#x52d5;&#x3044;&#x3066;&#x308b;&#x306e;&#x304c;&#x4e0d;&#x601d;&#x8b70;">
<node CREATED="1418265181028" ID="ID_295533172" MODIFIED="1418265185910" TEXT="&#x95a2;&#x6570;&#x578b;&#x3068;&#x304b;&#x306e;&#x30e1;&#x30ea;&#x30c3;&#x30c8;&#x3060;&#x3068;&#x3057;&#x3066;"/>
<node CREATED="1418265186251" ID="ID_705483742" MODIFIED="1418265192423" TEXT="&#x305d;&#x308c;&#x306f;&#x79c1;&#x306f;&#x307e;&#x3060;&#x7406;&#x89e3;&#x3067;&#x304d;&#x3066;&#x306a;&#x3044;"/>
<node CREATED="1418265192659" ID="ID_717608541" MODIFIED="1418265197245" TEXT="&#x30b3;&#x30b9;&#x30c8;&#x9ad8;&#x3044;&#x3063;&#x3066;&#x3053;&#x3068;&#x306a;&#x306e;&#x304b;&#x306a;"/>
<node CREATED="1418265473391" ID="ID_1808881427" MODIFIED="1418265477379" TEXT="&#x3082;&#x3057;&#x304f;&#x306f;&#x578b;&#x304c;&#x6b63;&#x7fa9;"/>
</node>
<node CREATED="1418265199019" ID="ID_285042699" MODIFIED="1418265204098" TEXT="&#x8a2d;&#x8a08;&#x7684;&#x306b;&#x3069;&#x3046;&#x306a;&#x306e;&#x3001;&#x3063;&#x3066;&#x3057;&#x3066;&#x3044;&#x308b;">
<node CREATED="1418265204099" ID="ID_1950029502" MODIFIED="1418265210158" TEXT="Monad &#x3067;&#x826f;&#x3044;&#x306e;&#x306f;&#x5206;&#x304b;&#x3063;&#x305f;&#x3051;&#x308c;&#x3069;"/>
<node CREATED="1418265210634" ID="ID_1624286378" MODIFIED="1418265223276" TEXT="&#x74b0;&#x5883;&#x3064;&#x308c;&#x307e;&#x308f;&#x3057;&#x3066;&#x3069;&#x3053;&#x304c; Pure &#x3068;&#x3044;&#x3046;&#x306e;&#x304b;"/>
<node CREATED="1418265228170" ID="ID_1200660796" MODIFIED="1418265234237" TEXT="&#x3044;&#x3084;&#x30d1;&#x30d5;&#x30a9;&#x30fc;&#x30de;&#x30f3;&#x30b9;&#x304c;&#x306d;&#x3001;&#x3063;&#x3066;&#x6c17;&#x3082;&#x3057;&#x3066;&#x3044;&#x308b;&#x3051;&#x308c;&#x3069;"/>
</node>
</node>
</node>
<node CREATED="1418264891259" ID="ID_816418698" MODIFIED="1418265242963" TEXT="Delta &#x3092;&#x3084;&#x3063;&#x3066;&#x307e;&#x3059;">
<node CREATED="1418264904943" ID="ID_1093313604" MODIFIED="1418264910830" TEXT="&#x5b9f;&#x969b;&#x5f79;&#x306b;&#x7acb;&#x3064;&#x3068;&#x601d;&#x3063;&#x3066;&#x66f8;&#x3044;&#x3066;&#x3044;&#x308b;&#x306e;&#x304b;">
<node CREATED="1418264910831" ID="ID_1712036891" MODIFIED="1418264913769" TEXT="yes"/>
<node CREATED="1418264913990" ID="ID_1129443322" MODIFIED="1418264915953" TEXT="&#x3060;&#x304c;&#x9060;&#x3044;">
<node CREATED="1418265483640" ID="ID_1170406966" MODIFIED="1418265487867" TEXT="&#x3042;&#x304f;&#x307e;&#x3067;&#x7406;&#x8ad6;&#x3060;&#x3068;&#x601d;&#x3063;&#x3066;&#x3044;&#x308b;"/>
</node>
<node CREATED="1418264916191" ID="ID_1004925452" MODIFIED="1418265636773" TEXT="Delta &#x3092;&#x5b9f;&#x7528;&#x3059;&#x308b;&#x306b;&#x306f;&#x3042;&#x3068;&#x6570;&#x30b9;&#x30c6;&#x30c3;&#x30d7;&#x5fc5;&#x8981;&#x3060;&#x3068;&#x601d;&#x3063;&#x3066;&#x308b;">
<node CREATED="1418264925096" ID="ID_1853880815" MODIFIED="1418264934936" TEXT="version control based delta"/>
<node CREATED="1418264935734" ID="ID_1081926319" MODIFIED="1418264947072" TEXT="convert to delta"/>
<node CREATED="1418264948413" ID="ID_1018420243" MODIFIED="1418264953623" TEXT="&#x305d;&#x306e;&#x307e;&#x307e;&#x306e;&#x306b;&#x306f;&#x7121;&#x7406;">
<node CREATED="1418265494999" ID="ID_197532767" MODIFIED="1418265497411" TEXT="&#x526f;&#x4f5c;&#x7528;&#x3068;&#x304b;"/>
<node CREATED="1418265497855" ID="ID_576459990" MODIFIED="1418265512881" TEXT="&#x52d5;&#x3044;&#x3066;&#x308b;&#x5de8;&#x5927;&#x306a;&#x30a2;&#x30d7;&#x30ea;&#x30b1;&#x30fc;&#x30b7;&#x30e7;&#x30f3;&#x306b;&#x306f;&#x7121;&#x7406;"/>
<node CREATED="1418265513561" ID="ID_951052932" MODIFIED="1418265520458" TEXT="&#x5c0f;&#x3055;&#x3044;&#x3084;&#x3064;&#x306a;&#x3089;&#x3069;&#x3046;&#x306a;&#x306e;&#x3060;&#x308d;&#x3046;&#x3001;&#x304f;&#x3089;&#x3044;"/>
</node>
<node CREATED="1418265343559" ID="ID_317302944" MODIFIED="1418265345758" TEXT="&#x3069;&#x3046;&#x3057;&#x3066;">
<node CREATED="1418265345759" ID="ID_249268917" MODIFIED="1418265366832" TEXT="&#x5b9f;&#x969b;&#x4f55;&#x3082;&#x66f8;&#x304b;&#x306a;&#x3044;&#x3067;&#x30c7;&#x30d0;&#x30c3;&#x30b0;&#x3059;&#x308b;&#x3064;&#x3082;&#x308a;&#x3060;&#x3063;&#x305f; Delta &#x306b;&#x5bfe;&#x3059;&#x308b; Agda &#x3067;&#x6255;&#x3046;&#x30b3;&#x30b9;&#x30c8;&#x306f;&#x5927;&#x304d;&#x304b;&#x3063;&#x305f;"/>
<node CREATED="1418265367269" ID="ID_350210524" MODIFIED="1418265377143" TEXT="&#x305d;&#x308c;&#x306e;&#x6069;&#x6075;&#x3068;&#x6bd4;&#x3079;&#x3066;&#x30b3;&#x30b9;&#x30c8;&#x306f;&#x6bd4;&#x8f03;&#x3059;&#x308b;&#x3079;&#x304d;">
<node CREATED="1418265377820" ID="ID_776530195" MODIFIED="1418265380191" TEXT="&#x3060;&#x304c;&#x5b9f;&#x7528;&#x306f;&#x307e;&#x3060;"/>
</node>
</node>
</node>
<node CREATED="1418264970676" ID="ID_939954661" MODIFIED="1418264978799" TEXT="no step &#x3068;&#x3057;&#x3066;&#x306e;&#x305d;&#x306e;&#x307e;&#x307e;&#x30d1;&#x30e9;&#x30ec;&#x30eb;&#x30c7;&#x30d0;&#x30c3;&#x30ac;&#x306f;&#x3042;&#x308b;">
<node CREATED="1418264979667" ID="ID_1571439568" MODIFIED="1418264982887" TEXT="&#x3067;&#x3082;&#x3084;&#x3093;&#x306a;&#x304b;&#x3063;&#x305f;"/>
<node CREATED="1418264983204" ID="ID_914871799" MODIFIED="1418264986254" TEXT="&#x306e;&#x306f;&#x7591;&#x554f;&#x304c;&#x3042;&#x3063;&#x305f;&#x306e;&#x3067;">
<node CREATED="1418265646561" ID="ID_70151771" MODIFIED="1418265656332" TEXT="&#x526f;&#x4f5c;&#x7528;&#x3068;&#x304b;&#x4ee5;&#x4e0b;&#x7565;">
<node CREATED="1418265664457" ID="ID_1422144384" MODIFIED="1418265677715" TEXT="&#x3063;&#x3066;&#x3053;&#x3068;&#x306f;&#x5168;&#x3066;&#x306e;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306b;&#x5bfe;&#x3057;&#x3066;&#x9069;&#x7528;&#x53ef;&#x80fd;&#x3067;&#x3042;&#x3063;&#x3066;&#x6b32;&#x3057;&#x304b;&#x3063;&#x305f;&#x306e;&#x304c;&#x6839;&#x5e95;&#x306b;&#x3042;&#x308a;&#x305d;&#x3046;"/>
<node CREATED="1418265677952" ID="ID_1826124827" MODIFIED="1418265686144" TEXT="&#x9069;&#x6750;&#x9069;&#x6240;&#x8ad6;&#x3067;&#x3044;&#x3051;&#x3070;&#x5341;&#x5206;&#x306a;&#x306e;&#x304b;&#x306a;">
<node CREATED="1418265686145" ID="ID_347619172" MODIFIED="1418265696970" TEXT="&#x305d;&#x306e;&#x305f;&#x3081;&#x306b;&#x306f;&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x66f8;&#x3053;&#x3046;&#x7684;&#x306a;&#x611f;&#x3058;&#x3082;&#x3059;&#x308b;"/>
</node>
</node>
</node>
<node CREATED="1418264987108" ID="ID_41351441" MODIFIED="1418265013494" TEXT="&#x5b9f;&#x969b;&#x306e;&#x305d;&#x306e;&#x7591;&#x554f;&#x306e;&#x5148;&#x304c; MonadTransform &#x306b;&#x843d;&#x3061;&#x4ed8;&#x304d;&#x3064;&#x3064;&#x3042;&#x308b;&#x306e;&#x306f;&#x5f62;&#x5f0f;&#x624b;&#x6cd5;&#x306e;&#x30e1;&#x30ea;&#x30c3;&#x30c8;&#x3084;&#x3082;&#x3057;&#x308c;&#x306a;&#x3044;"/>
</node>
</node>
<node CREATED="1418265243633" ID="ID_17018336" MODIFIED="1418265246641" TEXT="&#x3069;&#x3046;&#x3057;&#x3066;&#x3084;&#x3063;&#x305f;&#x306e;&#x304b;">
<node CREATED="1418265246642" ID="ID_969048682" MODIFIED="1418265252209" TEXT="&#x81ea;&#x52d5;&#x3067;&#x30d0;&#x30b0;&#x3092;&#x898b;&#x4ed8;&#x3051;&#x305f;&#x304b;&#x3063;&#x305f;">
<node CREATED="1418265252210" ID="ID_134438758" MODIFIED="1418265256219" TEXT="&#x306a;&#x308b;&#x3079;&#x304f;&#x4f55;&#x3082;&#x66f8;&#x304d;&#x305f;&#x304f;&#x306a;&#x304b;&#x3063;&#x305f;">
<node CREATED="1418265280770" ID="ID_1291872363" MODIFIED="1418265307825" TEXT="&#x30c6;&#x30b9;&#x30c8;&#x66f8;&#x304f;&#x30b3;&#x30b9;&#x30c8;&#x3082;&#x4ed5;&#x69d8;&#x66f8;&#x304f;&#x30b3;&#x30b9;&#x30c8;&#x3082;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306e;&#x30b3;&#x30b9;&#x30c8;&#x3068;&#x7b49;&#x4fa1;&#x3060;&#x3068;&#x601d;&#x3063;&#x3066;&#x3044;&#x308b;"/>
</node>
<node CREATED="1418265256472" ID="ID_738417529" MODIFIED="1418265271571" TEXT="&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306e;&#x5909;&#x66f4;&#x3092;&#x60c5;&#x5831;&#x3068;&#x3057;&#x3066;&#x4e0e;&#x3048;&#x3066;&#x3069;&#x306e;&#x304f;&#x3089;&#x3044;&#x30d0;&#x30b0;&#x304c;&#x91e3;&#x308c;&#x308b;&#x304b;&#x306a;&#x30fc;&#x3001;&#x3068;&#x304b;&#x601d;&#x3063;&#x3066;&#x305f;"/>
<node CREATED="1418265731966" ID="ID_550579197" MODIFIED="1418265736654" TEXT="&#x306a;&#x305c;&#x81ea;&#x52d5;&#x3067;&#x3084;&#x308a;&#x305f;&#x3044;&#x306e;&#x304b;">
<node CREATED="1418265736655" ID="ID_1711157822" MODIFIED="1418265747877" TEXT="&#x81ea;&#x52d5;&#x3067;&#x3067;&#x304d;&#x308b;&#x30d0;&#x30b0;&#x30c1;&#x30a7;&#x30c3;&#x30af;&#x3082;&#x3042;&#x308b;&#x3068;&#x601d;&#x3063;&#x305f;">
<node CREATED="1418265747878" ID="ID_1953673719" MODIFIED="1418265753802" TEXT="zero division"/>
<node CREATED="1418265754052" ID="ID_953375213" MODIFIED="1418265758712" TEXT="invalid pointer"/>
<node CREATED="1418265758989" ID="ID_239916430" MODIFIED="1418265766048" TEXT="etc"/>
</node>
<node CREATED="1418265771348" ID="ID_666459434" MODIFIED="1418265776308" TEXT="&#x3068;&#x3044;&#x3046;&#x304b; DRY &#x304b;&#x306a;">
<node CREATED="1418265776309" ID="ID_502993760" MODIFIED="1418265781351" TEXT="&#x30c7;&#x30d0;&#x30c3;&#x30b0;&#x3092;&#x7e70;&#x308a;&#x8fd4;&#x3057;&#x305f;&#x304f;&#x306a;&#x304b;&#x3063;&#x305f;"/>
<node CREATED="1418265782716" ID="ID_83671806" MODIFIED="1418265822206" TEXT="&#x3057;&#x3001;&#x3060;&#x3044;&#x305f;&#x3044;&#x306e;&#x30d0;&#x30b0;&#x306f;&#x5206;&#x985e;&#x53ef;&#x80fd;&#x3060;&#x3068;&#x601d;&#x3063;&#x305f;"/>
</node>
</node>
</node>
</node>
</node>
</node>
<node CREATED="1418292906833" FOLDED="true" ID="ID_1569503605" MODIFIED="1418293579378" POSITION="left" TEXT="&#x79c1;&#x306f;&#x3069;&#x3046;&#x3044;&#x3046;&#x7d4c;&#x7def;&#x3092;&#x8fbf;&#x3063;&#x305f;&#x306e;&#x304b;">
<node CREATED="1418292912517" ID="ID_391083400" MODIFIED="1418292917364" TEXT="&#x30bd;&#x30d5;&#x30c8;&#x30a6;&#x30a7;&#x30a2;&#x5de5;&#x5b66;">
<node CREATED="1418292917365" ID="ID_803524628" MODIFIED="1418292923659" TEXT="&#x5b9f;&#x969b;&#x3084;&#x3063;&#x3066;&#x3069;&#x3046;&#x306a;&#x306e;&#x304b;">
<node CREATED="1418292923659" ID="ID_1397427693" MODIFIED="1418292930590" TEXT="&#x77e5;&#x308c;&#x305f;&#x3063;&#x3066;&#x306e;&#x306f;&#x5927;&#x304d;&#x3044;"/>
<node CREATED="1418292930803" ID="ID_913176255" MODIFIED="1418292939414" TEXT="&#x306e;&#x3068;&#x79c1;&#x306f;&#x304a;&#x3082;&#x3057;&#x308d;&#x304b;&#x3063;&#x305f;"/>
</node>
<node CREATED="1418292941571" ID="ID_521986752" MODIFIED="1418292951853" TEXT="Curry howard isomorphism">
<node CREATED="1418292952978" ID="ID_1666038513" MODIFIED="1418292959717" TEXT="&#x3053;&#x3053;&#x307e;&#x3067;&#x3082;&#x5272;&#x3068;&#x76f4;&#x611f;&#x7684;"/>
</node>
<node CREATED="1418292960969" ID="ID_296468860" MODIFIED="1418292964506" TEXT="Agda">
<node CREATED="1418292964507" ID="ID_1340371189" MODIFIED="1418292966572" TEXT="&#x8b0e;"/>
<node CREATED="1418292966921" ID="ID_1380251786" MODIFIED="1418293311492" TEXT="&#x8a00;&#x8a9e;&#x3068;&#x8a00;&#x308f;&#x308c;&#x3066;&#x3082;&#x4f55;&#x3092;&#x3059;&#x308b;&#x8a00;&#x8a9e;&#x306a;&#x306e;&#x304b;&#x5206;&#x304b;&#x3093;&#x306a;&#x304b;&#x3063;&#x305f;">
<node CREATED="1418293264253" ID="ID_830529744" MODIFIED="1418293268048" TEXT="&#x51fa;&#x529b;&#x304c;&#x7121;&#x3044;"/>
<node CREATED="1418293268461" ID="ID_680019244" MODIFIED="1418293279952" TEXT="&#x51fa;&#x529b;&#x304c;&#x7121;&#x3044;&#x306e;&#x304c;&#x6210;&#x529f;&#x306a;&#x3093;&#x3060;&#x3051;&#x308c;&#x3069;&#x306d;"/>
</node>
<node CREATED="1418292978040" ID="ID_1686993233" MODIFIED="1418292989531" TEXT="syntax &#x306f; haskell &#x306b;&#x8fd1;&#x3044;&#x3093;&#x3060;&#x3051;&#x308c;&#x3069;&#x5b9f;&#x969b;&#x306e;&#x5024;&#x304c;&#x7686;&#x7121;">
<node CREATED="1418292992402" ID="ID_1164948294" MODIFIED="1418292999124" TEXT="constructor &#x3057;&#x304b;&#x5b58;&#x5728;&#x3057;&#x3066;&#x306a;&#x3044;"/>
<node CREATED="1418292999368" ID="ID_43812811" MODIFIED="1418293005866" TEXT="&#x3068;&#x3044;&#x3046;&#x304b; Haskell &#x3067;&#x3082;&#x305d;&#x3046;&#x306a;&#x3093;&#x3060;&#x3051;&#x308c;&#x3069;"/>
<node CREATED="1418293006063" ID="ID_1768287221" MODIFIED="1418293012065" TEXT="&#x30ea;&#x30c6;&#x30e9;&#x30eb;&#x306e;&#x554f;&#x984c;&#x3060;&#x306a;"/>
</node>
</node>
</node>
<node CREATED="1418293023126" ID="ID_1505610953" MODIFIED="1418293031530" TEXT="Proofs and Types">
<node CREATED="1418293032007" ID="ID_1457201056" MODIFIED="1418293036023" TEXT="Natural Deduction">
<node CREATED="1418293036024" ID="ID_1333747674" MODIFIED="1418293039618" TEXT="&#x306f;ok"/>
</node>
<node CREATED="1418293041950" ID="ID_544832585" MODIFIED="1418293047160" TEXT="System T &#x3082; ok">
<node CREATED="1418293391944" ID="ID_1511935358" MODIFIED="1418293394736" TEXT="&#x5b9a;&#x7fa9;&#x81ea;&#x660e;"/>
</node>
<node CREATED="1418293047894" ID="ID_1464083459" MODIFIED="1418293057417" TEXT="System F &#x3082;ok &#x3063;&#x3061;&#x3083; ok">
<node CREATED="1418293394992" ID="ID_1729053972" MODIFIED="1418293397187" TEXT="&#x5b9a;&#x7fa9;&#x81ea;&#x660e;"/>
</node>
<node CREATED="1418293057766" ID="ID_805285460" MODIFIED="1418293409011" TEXT="proof &#x3092;&#x66f8;&#x304f;&#x306e;&#x304c;&#x306e;&#x3078;&#x3063;&#x3066;&#x306a;&#x3063;&#x305f;&#x306e;&#x304b;">
<node CREATED="1418293065917" ID="ID_933848766" MODIFIED="1418293071000" TEXT="&#x5168;&#x90e8;&#x30b3;&#x30f3;&#x30b9;&#x30c8;&#x30e9;&#x30af;&#x30bf;&#x306a;&#x3093;&#x3060;&#x3051;&#x308c;&#x3069;&#x306d;"/>
<node CREATED="1418293071261" ID="ID_221922199" MODIFIED="1418293080104" TEXT="&#x6c17;&#x4ed8;&#x3044;&#x305f;&#x306e;&#x3063;&#x3066; System F &#x3092;&#x66f8;&#x3044;&#x3066;&#x3044;&#x308b;&#x6642;&#x304f;&#x3089;&#x3044;&#x3060;&#x3063;&#x3051;&#x304b;"/>
<node CREATED="1418293155338" ID="ID_1742455952" MODIFIED="1418293162301" TEXT="&#x30aa;&#x30fc;&#x30d7;&#x30f3;&#x30bd;&#x30fc;&#x30b9;&#x30ab;&#x30f3;&#x30d5;&#x30a1;&#x30ec;&#x30f3;&#x30b9;&#x304b;&#x306a;">
<node CREATED="1418293162921" ID="ID_910625637" MODIFIED="1418293176116" TEXT="sub proof &#x304c;&#x624b;&#x306b;&#x5165;&#x308b;&#x306e;&#x3092;&#x77e5;&#x3063;&#x305f;"/>
</node>
</node>
</node>
<node CREATED="1418293094643" ID="ID_1891828961" MODIFIED="1418293097124" TEXT="Delta">
<node CREATED="1418293097125" ID="ID_799940893" MODIFIED="1418293107335" TEXT="Agda &#x306f;&#x305d;&#x3053;&#x305d;&#x3053;&#x66f8;&#x3051;&#x308b;&#x3088;&#x3046;&#x306b;&#x306a;&#x3063;&#x305f;">
<node CREATED="1418293107899" ID="ID_660014460" MODIFIED="1418293110987" TEXT="&#x5b9a;&#x7fa9;&#x304c;&#x554f;&#x984c;&#x3060;&#x3063;&#x305f;">
<node CREATED="1418293110988" ID="ID_1665302239" MODIFIED="1418293114150" TEXT="&#x570f;&#x3068;&#x304b;&#x3060;&#x3057;&#x306d;"/>
</node>
<node CREATED="1418293119819" ID="ID_592657062" MODIFIED="1418293204635" TEXT="&#x5b9a;&#x7fa9;&#x306b;&#x843d;&#x3061;&#x308c;&#x3070;&#x5f8c;&#x306f;&#x828b;&#x8513;&#x3060;&#x3063;&#x305f;"/>
</node>
<node CREATED="1418293210575" ID="ID_1985955134" MODIFIED="1418293231126" TEXT="&#x5143;&#x306f; Code Segment &#x3068; Data segment &#x3068;&#x306e;&#x5bfe;&#x5fdc;&#x3092;&#x66f8;&#x304d;&#x305f;&#x304f;&#x3066; Agda">
<node CREATED="1418293225736" ID="ID_256558750" MODIFIED="1418293253709" TEXT="&#x305d;&#x306e;&#x9014;&#x4e2d;&#x3067; Monad &#x3078;&#x8ee2;&#x3052;&#x305f;"/>
</node>
</node>
</node>
<node CREATED="1418293573608" ID="ID_609944532" MODIFIED="1418293585977" POSITION="right" TEXT="&#x5f62;&#x5f0f;&#x624b;&#x6cd5;&#x3092;&#x5e83;&#x3081;&#x308b;&#x306b;&#x306f;">
<node CREATED="1418293585978" ID="ID_620171071" MODIFIED="1418293591236" TEXT="&#x5bfe;&#x8a71;&#x7684;&#x3067;&#x3042;&#x308b;&#x3079;&#x304d;">
<node CREATED="1418293613696" ID="ID_1641535081" MODIFIED="1418293620714" TEXT="&#x5fc5;&#x8981;&#x306a;&#x5206;&#x3060;&#x3051;"/>
<node CREATED="1418293646286" ID="ID_855339796" MODIFIED="1418293647950" TEXT="&#x306a;&#x305c;">
<node CREATED="1418293647951" ID="ID_212211440" MODIFIED="1418293655041" TEXT="over verification &#x3092;&#x56de;&#x907f;&#x3057;&#x305f;&#x3044;"/>
<node CREATED="1418293655254" ID="ID_293812032" MODIFIED="1418293665441" TEXT="&#x5fc5;&#x8981;&#x306a;&#x5206;&#x306e;&#x30b3;&#x30b9;&#x30c8;&#x306b;&#x5bfe;&#x3057;&#x3066;&#x3060;&#x3051;&#x5fc5;&#x8981;&#x306a;&#x30b3;&#x30b9;&#x30c8;&#x3092;&#x6255;&#x3046;"/>
<node CREATED="1418293665726" ID="ID_660636345" MODIFIED="1418293678560" TEXT="&#x5b9f;&#x969b;&#x3084;&#x3063;&#x3066;&#x307f;&#x3066;&#x91cd;&#x3044;&#x3001;&#x3063;&#x3066;&#x306e;&#x306f;&#x56de;&#x907f;&#x3057;&#x305f;&#x3044;"/>
<node CREATED="1418293678782" ID="ID_1264939869" MODIFIED="1418293680204" TEXT="&#x306a;&#x305c;">
<node CREATED="1418293680205" ID="ID_1498269554" MODIFIED="1418293685280" TEXT="&#x30b3;&#x30b9;&#x30c8;&#x304c;&#x5927;&#x304d;&#x3044;&#x304b;&#x3089;">
<node CREATED="1418293778931" ID="ID_1204047161" MODIFIED="1418293783564" TEXT="&#x306a;&#x3089; optimization &#x3060;"/>
<node CREATED="1418293785465" ID="ID_948458191" MODIFIED="1418293789972" TEXT="&#x305d;&#x308c;&#x304c; automatically &#x3067;&#x306a;&#x3044;&#x306e;&#x306a;&#x3089;"/>
<node CREATED="1418293791145" ID="ID_1201732917" MODIFIED="1418293796315" TEXT="&#x3082;&#x3057;&#x304f;&#x306f;&#x5168;&#x3066;&#x81ea;&#x52d5;&#x5316;&#x3059;&#x308b;">
<node CREATED="1418293798640" ID="ID_560005119" MODIFIED="1418293809067" TEXT="&#x76ee;&#x6307;&#x305b; cost 0 &#x304b;"/>
</node>
<node CREATED="1418293825558" ID="ID_1866991155" MODIFIED="1418293827650" TEXT="&#x5358;&#x306b;&#x6642;&#x9593;&#x304b;"/>
</node>
<node CREATED="1418293690277" ID="ID_1541024193" MODIFIED="1418293695951" TEXT="&#x30b3;&#x30fc;&#x30c9;&#x3082;&#x5927;&#x304d;&#x3044;"/>
</node>
</node>
</node>
<node CREATED="1418293599122" ID="ID_1694519439" MODIFIED="1418293602241" TEXT="&#x6bb5;&#x968e;&#x7684;&#x3067;&#x3042;&#x308b;&#x3079;&#x304d;">
<node CREATED="1418293602242" ID="ID_1746823996" MODIFIED="1418293610187" TEXT="&#x7dda;&#x5f62;&#x578b;"/>
<node CREATED="1418293610408" ID="ID_446526633" MODIFIED="1418293612582" TEXT="&#x4f9d;&#x5b58;&#x578b;"/>
<node CREATED="1418293700196" ID="ID_1901955672" MODIFIED="1418293701840" TEXT="&#x306a;&#x305c;">
<node CREATED="1418293704844" ID="ID_847494946" MODIFIED="1418293710319" TEXT="&#x5fc5;&#x8981;&#x306a;&#x5206;&#x3060;&#x3051;&#x4ee5;&#x4e0b;&#x7565;&#x304b;&#x306a;"/>
</node>
</node>
</node>
</node>
</map>