Mercurial > hg > Papers > 2015 > atton-sigse

comparison 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
comparison
equal deleted inserted replaced
24:158ee14c3615 25:5c27de156e78
149 <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;"/> 149 <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;"/>
150 <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;"/> 150 <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;"/>
151 </node> 151 </node>
152 </node> 152 </node>
153 </node> 153 </node>
154 <node CREATED="1418185640611" ID="ID_648398253" MODIFIED="1418185644652" TEXT="&#x307e;&#x3068;&#x3081;">
155 <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;">
156 <node CREATED="1418185668716" ID="ID_312721489" MODIFIED="1418185679637" TEXT="&#x3044;&#x3089;&#x306a;&#x3044;&#x306a;&#x3089;&#x3044;&#x3089;&#x306a;&#x3044;">
157 <node CREATED="1418187792947" ID="ID_869688654" MODIFIED="1418187799289" TEXT="&#x305d;&#x308c;&#x3067;&#x3082; generic &#x306a;&#x306e;&#x306f;&#x3042;&#x308b;&#x306f;&#x305a;">
158 <node CREATED="1418187799806" ID="ID_445879821" MODIFIED="1418187806064" TEXT="devide by 0"/>
159 <node CREATED="1418187806533" ID="ID_983998348" MODIFIED="1418187812960" TEXT="ivalid index"/>
160 </node>
161 </node>
162 <node CREATED="1418185679850" ID="ID_1108864490" MODIFIED="1418185699325" TEXT="&#x5fc5;&#x8981;&#x306a;&#x3089;&#x3069;&#x308c;&#x3060;&#x3051;&#x3067;&#x3082;&#x6b32;&#x3057;&#x3044;">
163 <node CREATED="1418187815388" ID="ID_719300461" MODIFIED="1418187825368" TEXT="&#x305d;&#x308c;&#x3092;&#x8a18;&#x8ff0;&#x3059;&#x308b;&#x80fd;&#x529b;&#x3082;&#x6b32;&#x3057;&#x3044;"/>
164 </node>
165 </node>
166 <node CREATED="1418185701065" ID="ID_1261000963" MODIFIED="1418185707122" TEXT="&#x305d;&#x306e;&#x60c5;&#x5831;&#x306f;&#x3069;&#x308c;&#x3060;&#x3051;&#x5fc5;&#x8981;&#x306a;&#x306e;&#x304b;">
167 <node CREATED="1418185707123" ID="ID_369768931" MODIFIED="1418185712564" TEXT="&#x305d;&#x308c;&#x3092;&#x63a2;&#x3057;&#x305f;&#x3044;"/>
168 <node CREATED="1418185716713" ID="ID_327038586" MODIFIED="1418185724378" TEXT="&#x6ce8;&#x76ee;&#x3057;&#x3066;&#x308b;&#x306e;&#x306f;&#x578b;">
169 <node CREATED="1418185724379" ID="ID_247247026" MODIFIED="1418185727947" TEXT="&#x5b9f;&#x969b;&#x3069;&#x3046;&#x306a;&#x306e;&#x304b;&#x306f;&#x3068;&#x3082;&#x304b;&#x304f;"/>
170 <node CREATED="1418185732064" ID="ID_1593924626" MODIFIED="1418185737396" TEXT="&#x4eca;&#x306e;&#x3068;&#x3053;&#x308d;&#x306f;&#x305d;&#x3053;&#x305d;&#x3053;&#x826f;&#x3055;&#x305d;&#x3046;"/>
171 </node>
172 </node>
173 </node>
154 </node> 174 </node>
155 <node CREATED="1418182444156" ID="ID_803786977" MODIFIED="1418182448263" POSITION="left" TEXT="Agda &#x3068;&#x304b;&#x3069;&#x3046;&#x3060;&#x3063;&#x305f;&#x306e;&#x304b;"> 175 <node CREATED="1418182444156" ID="ID_803786977" MODIFIED="1418182448263" POSITION="left" TEXT="Agda &#x3068;&#x304b;&#x3069;&#x3046;&#x3060;&#x3063;&#x305f;&#x306e;&#x304b;">
156 <node CREATED="1418182448643" ID="ID_1005517265" MODIFIED="1418182451404" TEXT="&#x5b66;&#x7fd2;&#x30b3;&#x30b9;&#x30c8;"> 176 <node CREATED="1418182448643" ID="ID_1005517265" MODIFIED="1418182451404" TEXT="&#x5b66;&#x7fd2;&#x30b3;&#x30b9;&#x30c8;">
157 <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;"/> 177 <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;"/>
158 <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;"/> 178 <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;"/>