Mercurial > hg > Papers > 2015 > atton-sigse

view mindmap.mm @ 25:5c27de156e78

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update mind map
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 10 Dec 2014 16:57:49 +0900
parents c86aa006497b
children fa9bde939db6
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="1418180918413" TEXT="&#x5f62;&#x5f0f;&#x624b;&#x6cd5; &#xff0d;&#x7523;&#x5b66;&#x9023;&#x643a;&#x3067;&#x666e;&#x53ca;&#x62e1;&#x5927;&#x3092;&#x76ee;&#x6307;&#x3059;&#xff0d;">
<node CREATED="1418180919812" ID="ID_1639973897" MODIFIED="1418180981990" 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" ID="ID_269659410" MODIFIED="1418181423087" 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" ID="ID_1778092327" MODIFIED="1418181771222" 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" ID="ID_803786977" MODIFIED="1418182448263" 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>
</map>