# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1418198269 -32400
# Node ID 5c27de156e789d4f6fb846cc9090936cb467ca69
# Parent  158ee14c361521a6c96b1a87bae722f30fb862fb
Update mind map

diff -r 158ee14c3615 -r 5c27de156e78 mindmap.mm
--- a/mindmap.mm	Wed Dec 10 16:49:10 2014 +0900
+++ b/mindmap.mm	Wed Dec 10 16:57:49 2014 +0900
@@ -151,6 +151,26 @@
 </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;">