diff paper.mm @ 6:7a67daa0d39f

add createTask images
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Mon, 11 Jan 2016 11:39:37 +0900
parents 515e18cdb197
children 1e393e41a235
line wrap: on
line diff
--- a/paper.mm	Sat Jan 09 21:07:11 2016 +0900
+++ b/paper.mm	Mon Jan 11 11:39:37 2016 +0900
@@ -14,11 +14,13 @@
 </node>
 <node CREATED="1452181112982" ID="ID_1013019132" MODIFIED="1452181116028" POSITION="right" TEXT="&#x30aa;&#x30fc;&#x30c8;&#x30de;&#x30c8;&#x30f3;">
 <node CREATED="1452181291030" ID="ID_1662130081" MODIFIED="1452181296262" TEXT="&#x30aa;&#x30fc;&#x30c8;&#x30de;&#x30c8;&#x30f3;&#x306e;&#x5b9a;&#x7fa9;"/>
-<node CREATED="1452181307382" ID="ID_1297043172" MODIFIED="1452182066253" TEXT="&#x975e;&#x6c7a;&#x5b9a;&#x6027;&#x30aa;&#x30fc;&#x30c8;&#x30de;&#x30c8;&#x30f3;"/>
-<node CREATED="1452181296911" ID="ID_1408502412" MODIFIED="1452181306606" TEXT="&#x6c7a;&#x5b9a;&#x6027;&#x30aa;&#x30fc;&#x30c8;&#x30de;&#x30c8;&#x30f3;"/>
+<node CREATED="1452181296911" ID="ID_1408502412" MODIFIED="1452342238765" TEXT="&#x6c7a;&#x5b9a;&#x6027;&#x30aa;&#x30fc;&#x30c8;&#x30de;&#x30c8;&#x30f3;(DFA)"/>
+<node CREATED="1452181307382" ID="ID_1297043172" MODIFIED="1452342244291" TEXT="&#x975e;&#x6c7a;&#x5b9a;&#x6027;&#x30aa;&#x30fc;&#x30c8;&#x30de;&#x30c8;&#x30f3;(NFA)"/>
 <node CREATED="1452182067881" ID="ID_1018839282" MODIFIED="1452182079360" TEXT="SubSetConstruction"/>
 </node>
-<node CREATED="1452181243745" ID="ID_1618298196" MODIFIED="1452332172946" POSITION="right" TEXT="&#x6b63;&#x898f;&#x8868;&#x73fe;"/>
+<node CREATED="1452181243745" ID="ID_1618298196" MODIFIED="1452332172946" POSITION="right" TEXT="&#x6b63;&#x898f;&#x8868;&#x73fe;">
+<node CREATED="1452342247862" ID="ID_1920433578" MODIFIED="1452342261149" TEXT="&#x6b63;&#x898f;&#x8868;&#x73fe;&#x304b;&#x3089;NFA&#x3078;&#x306e;&#x5909;&#x63db;"/>
+</node>
 <node CREATED="1452175345187" ID="ID_741844249" MODIFIED="1452175358409" POSITION="right" TEXT="&#x30d9;&#x30f3;&#x30c1;&#x30de;&#x30fc;&#x30af;"/>
 <node CREATED="1452175359089" ID="ID_222666554" MODIFIED="1452175361600" POSITION="right" TEXT="&#x7d50;&#x8ad6;"/>
 <node CREATED="1452176703234" ID="ID_214726388" MODIFIED="1452176706578" POSITION="left" TEXT="Cerium">