Mercurial > hg > Papers > 2015 > atton-sigse

changeset 34:a26df8794a6b submit

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add forget mind map
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Thu, 11 Dec 2014 22:31:28 +0900
parents 8abacfc46535
children 2ae17e1f5b06
files mindmap.mm
diffstat 1 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/mindmap.mm	Thu Dec 11 22:07:06 2014 +0900
+++ b/mindmap.mm	Thu Dec 11 22:31:28 2014 +0900
@@ -1,7 +1,7 @@
 <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="1418180919812" ID="ID_1639973897" MODIFIED="1418303342810" 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;">
@@ -61,7 +61,7 @@
 <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="1418181411845" ID="ID_269659410" MODIFIED="1418303339669" 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;"/>
@@ -92,7 +92,7 @@
 </node>
 </node>
 </node>
-<node CREATED="1418181719512" FOLDED="true" ID="ID_1778092327" MODIFIED="1418293344467" POSITION="right" TEXT="&#x79c1;&#x306e;&#x8003;&#x3048;">
+<node CREATED="1418181719512" ID="ID_1778092327" MODIFIED="1418303344201" 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;">
@@ -172,7 +172,7 @@
 </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="1418182444156" ID="ID_803786977" MODIFIED="1418303340661" 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;"/>
@@ -200,7 +200,7 @@
 </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="1418264851770" ID="ID_269756551" MODIFIED="1418303349301" 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"/>
@@ -300,7 +300,7 @@
 </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="1418292906833" ID="ID_1569503605" MODIFIED="1418303341740" 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;"/>