# HG changeset patch
# User Shiori Nakamatsu <e145762@ie.u-ryukyu.ac.jp>
# Date 1518690709 -32400
# Node ID 5e56f5922bedae79484f4be2fa43fd3cfa4c7b5e
# Parent  0f938112b48ebb9a4870f66f699c5aa1d4262e1b
minor change

diff -r 0f938112b48e -r 5e56f5922bed 分散版jungleデータベースの性能想定方法.mm
--- a/分散版jungleデータベースの性能想定方法.mm	Thu Feb 15 14:48:08 2018 +0900
+++ b/分散版jungleデータベースの性能想定方法.mm	Thu Feb 15 19:31:49 2018 +0900
@@ -1,6 +1,7 @@
 <map version="1.0.1">
 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
-<node CREATED="1517398052968" ID="ID_1630312179" MODIFIED="1517494769565" TEXT="&#x5206;&#x6563;&#x7248;jungle&#x30c7;&#x30fc;&#x30bf;&#x30d9;&#x30fc;&#x30b9;&#x306e;&#x6027;&#x80fd;&#x6e2c;&#x5b9a;&#x65b9;&#x6cd5;">
+<node CREATED="1517398052968" ID="ID_1630312179" MODIFIED="1518515073934" TEXT="&#x5206;&#x6563;&#x7248;jungle&#x30c7;&#x30fc;&#x30bf;&#x30d9;&#x30fc;&#x30b9;&#x306e;&#x6027;&#x80fd;&#x6e2c;&#x5b9a;&#x65b9;&#x6cd5;">
+<icon BUILTIN="info"/>
 <node CREATED="1517398073287" ID="ID_165185668" MODIFIED="1517398283946" POSITION="right" TEXT="&#x7814;&#x7a76;&#x76ee;&#x7684;">
 <node CREATED="1517399672148" ID="ID_88058044" MODIFIED="1517399681279" TEXT="&#x30b9;&#x30b1;&#x30fc;&#x30e9;&#x30d3;&#x30ea;&#x30c6;&#x30a3;">
 <node CREATED="1517399685966" ID="ID_33794870" MODIFIED="1517399704649" TEXT="&#x30b9;&#x30de;&#x30db;&#x3084;&#x30bf;&#x30d6;&#x30ec;&#x30c3;&#x30c8;&#x306e;&#x666e;&#x53ca;"/>
@@ -31,8 +32,7 @@
       java&#29256;jungle&#12424;&#12426;&#12418;huskell&#29256;jungle&#12398;&#26041;&#12364;&#20966;&#29702;&#36895;&#24230;&#12364;&#36895;&#12363;&#12387;&#12383;
     </p>
   </body>
-</html>
-</richcontent>
+</html></richcontent>
 </node>
 <node CREATED="1517489496469" ID="ID_1625889763" MODIFIED="1517489533198" TEXT="huskell&#x306f;&#x3001;&#x3069;&#x3061;&#x3089;&#x304b;&#x3068;&#x3044;&#x3046;&#x3068;&#x6b63;&#x78ba;&#x6027;&#x3084;&#x5b89;&#x5b9a;&#x6027;&#x3092;&#x610f;&#x8b58;&#x3057;&#x305f;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30df;&#x30f3;&#x30b0;&#x3092;&#x884c;&#x3046;&#x8a00;&#x8a9e;&#x3067;&#x3042;&#x308a;">
 <node CREATED="1517489536025" ID="ID_1444845333" MODIFIED="1517489546999" TEXT="&#x901f;&#x3055;&#x3067;&#x306f;&#x3001;jungle&#x3067;&#x66f8;&#x304b;&#x308c;&#x305f;&#x30b3;&#x30fc;&#x30c9;&#x3088;&#x308a;&#x3082;&#x51e6;&#x7406;&#x306b;&#x6642;&#x9593;&#x304c;&#x304b;&#x304b;&#x3063;&#x3066;&#x3057;&#x307e;&#x3046;"/>