Mercurial > hg > Papers > 2012 > nobu-thesis

comparison paper/graffle/state_conv1_45.graffle @ 35:01238ec569ea draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
commit
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Tue, 28 Feb 2012 03:55:29 +0900
parents 9450fc495756
children 8539cd84106e
comparison
equal deleted inserted replaced
34:3922a95e99a8 35:01238ec569ea
42 <key>CreationDate</key> 42 <key>CreationDate</key>
43 <string>2012-02-26 09:46:55 +0000</string> 43 <string>2012-02-26 09:46:55 +0000</string>
44 <key>Creator</key> 44 <key>Creator</key>
45 <string>Nobuyasu Oshiro</string> 45 <string>Nobuyasu Oshiro</string>
46 <key>DisplayScale</key> 46 <key>DisplayScale</key>
47 <string>1 0/72 in = 1 0/72 in</string> 47 <string>1 0/72 in = 1.0000 in</string>
48 <key>GraphDocumentVersion</key> 48 <key>GraphDocumentVersion</key>
49 <integer>8</integer> 49 <integer>8</integer>
50 <key>GraphicsList</key> 50 <key>GraphicsList</key>
51 <array> 51 <array>
52 <dict> 52 <dict>
53 <key>Class</key> 53 <key>Class</key>
54 <string>LineGraphic</string> 54 <string>LineGraphic</string>
55 <key>Head</key> 55 <key>Head</key>
56 <dict> 56 <dict>
57 <key>ID</key> 57 <key>ID</key>
58 <integer>4</integer> 58 <integer>14</integer>
59 </dict> 59 </dict>
60 <key>ID</key> 60 <key>ID</key>
61 <integer>12</integer> 61 <integer>29</integer>
62 <key>Points</key> 62 <key>Points</key>
63 <array> 63 <array>
64 <string>{386.60852, 202.42825}</string> 64 <string>{171.37816, 398.56644}</string>
65 <string>{349, 179}</string> 65 <string>{116.12184, 501.43356}</string>
66 <string>{145, 178}</string>
67 <string>{112.36989, 201.78642}</string>
68 </array> 66 </array>
69 <key>Style</key> 67 <key>Style</key>
70 <dict> 68 <dict>
71 <key>stroke</key> 69 <key>stroke</key>
72 <dict> 70 <dict>
79 </dict> 77 </dict>
80 </dict> 78 </dict>
81 <key>Tail</key> 79 <key>Tail</key>
82 <dict> 80 <dict>
83 <key>ID</key> 81 <key>ID</key>
84 <integer>7</integer> 82 <integer>20</integer>
85 </dict> 83 </dict>
86 </dict> 84 </dict>
87 <dict> 85 <dict>
88 <key>Class</key> 86 <key>Class</key>
89 <string>LineGraphic</string> 87 <string>LineGraphic</string>
90 <key>Head</key> 88 <key>Head</key>
91 <dict> 89 <dict>
92 <key>ID</key> 90 <key>ID</key>
93 <integer>7</integer> 91 <integer>13</integer>
94 </dict> 92 </dict>
95 <key>ID</key> 93 <key>ID</key>
96 <integer>11</integer> 94 <integer>28</integer>
97 <key>Points</key> 95 <key>Points</key>
98 <array> 96 <array>
99 <string>{354.5, 217.00012}</string> 97 <string>{130.00002, 302}</string>
100 <string>{381.49997, 217.00026}</string> 98 <string>{157.49998, 302}</string>
101 </array> 99 </array>
102 <key>Style</key> 100 <key>Style</key>
103 <dict> 101 <dict>
104 <key>stroke</key> 102 <key>stroke</key>
105 <dict> 103 <dict>
112 </dict> 110 </dict>
113 </dict> 111 </dict>
114 <key>Tail</key> 112 <key>Tail</key>
115 <dict> 113 <dict>
116 <key>ID</key> 114 <key>ID</key>
117 <integer>6</integer> 115 <integer>27</integer>
116 </dict>
117 </dict>
118 <dict>
119 <key>Bounds</key>
120 <string>{{78.5, 277}, {51, 50}}</string>
121 <key>Class</key>
122 <string>ShapedGraphic</string>
123 <key>ID</key>
124 <integer>27</integer>
125 <key>Shape</key>
126 <string>Circle</string>
127 <key>Style</key>
128 <dict>
129 <key>shadow</key>
130 <dict>
131 <key>Draws</key>
132 <string>NO</string>
133 </dict>
134 </dict>
135 <key>Text</key>
136 <dict>
137 <key>Text</key>
138 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230
139 {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
140 {\colortbl;\red255\green255\blue255;}
141 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
142
143 \f0\b\fs24 \cf0 main}</string>
144 <key>VerticalPad</key>
145 <integer>0</integer>
118 </dict> 146 </dict>
119 </dict> 147 </dict>
120 <dict> 148 <dict>
121 <key>Class</key> 149 <key>Class</key>
122 <string>LineGraphic</string> 150 <string>LineGraphic</string>
123 <key>Head</key> 151 <key>Head</key>
124 <dict> 152 <dict>
125 <key>ID</key> 153 <key>ID</key>
126 <integer>6</integer> 154 <integer>13</integer>
127 </dict> 155 </dict>
128 <key>ID</key> 156 <key>ID</key>
129 <integer>10</integer> 157 <integer>26</integer>
130 <key>Points</key> 158 <key>Points</key>
131 <array> 159 <array>
132 <string>{275.5, 217}</string> 160 <string>{123.7487, 357.61755}</string>
133 <string>{302.5, 217}</string> 161 <string>{164.6412, 319.55411}</string>
134 </array> 162 </array>
135 <key>Style</key> 163 <key>Style</key>
136 <dict> 164 <dict>
137 <key>stroke</key> 165 <key>stroke</key>
138 <dict> 166 <dict>
145 </dict> 173 </dict>
146 </dict> 174 </dict>
147 <key>Tail</key> 175 <key>Tail</key>
148 <dict> 176 <dict>
149 <key>ID</key> 177 <key>ID</key>
150 <integer>5</integer> 178 <integer>16</integer>
179 </dict>
180 </dict>
181 <dict>
182 <key>Bounds</key>
183 <string>{{158, 351}, {51, 50}}</string>
184 <key>Class</key>
185 <string>ShapedGraphic</string>
186 <key>ID</key>
187 <integer>20</integer>
188 <key>Shape</key>
189 <string>Circle</string>
190 <key>Style</key>
191 <dict>
192 <key>shadow</key>
193 <dict>
194 <key>Draws</key>
195 <string>NO</string>
196 </dict>
197 </dict>
198 <key>Text</key>
199 <dict>
200 <key>Text</key>
201 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230
202 {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
203 {\colortbl;\red255\green255\blue255;}
204 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
205
206 \f0\b\fs24 \cf0 f_g0}</string>
207 <key>VerticalPad</key>
208 <integer>0</integer>
151 </dict> 209 </dict>
152 </dict> 210 </dict>
153 <dict> 211 <dict>
154 <key>Class</key> 212 <key>Class</key>
155 <string>LineGraphic</string> 213 <string>LineGraphic</string>
156 <key>Head</key> 214 <key>Head</key>
157 <dict> 215 <dict>
158 <key>ID</key> 216 <key>ID</key>
159 <integer>5</integer> 217 <integer>16</integer>
160 </dict> 218 </dict>
161 <key>ID</key> 219 <key>ID</key>
162 <integer>9</integer> 220 <integer>19</integer>
163 <key>Points</key> 221 <key>Points</key>
164 <array> 222 <array>
165 <string>{196.50002, 217}</string> 223 <string>{104.00001, 424.5}</string>
166 <string>{223.49998, 217.00002}</string> 224 <string>{104.00001, 401.5}</string>
167 </array> 225 </array>
168 <key>Style</key> 226 <key>Style</key>
169 <dict> 227 <dict>
170 <key>stroke</key> 228 <key>stroke</key>
171 <dict> 229 <dict>
178 </dict> 236 </dict>
179 </dict> 237 </dict>
180 <key>Tail</key> 238 <key>Tail</key>
181 <dict> 239 <dict>
182 <key>ID</key> 240 <key>ID</key>
183 <integer>3</integer> 241 <integer>15</integer>
184 </dict> 242 </dict>
185 </dict> 243 </dict>
186 <dict> 244 <dict>
187 <key>Class</key> 245 <key>Class</key>
188 <string>LineGraphic</string> 246 <string>LineGraphic</string>
189 <key>Head</key> 247 <key>Head</key>
190 <dict> 248 <dict>
191 <key>ID</key> 249 <key>ID</key>
192 <integer>3</integer> 250 <integer>15</integer>
193 </dict> 251 </dict>
194 <key>ID</key> 252 <key>ID</key>
195 <integer>8</integer> 253 <integer>18</integer>
196 <key>Points</key> 254 <key>Points</key>
197 <array> 255 <array>
198 <string>{117.50002, 217}</string> 256 <string>{104.00001, 498.5}</string>
199 <string>{144.49998, 217}</string> 257 <string>{104.00001, 475.5}</string>
200 </array> 258 </array>
201 <key>Style</key> 259 <key>Style</key>
202 <dict> 260 <dict>
203 <key>stroke</key> 261 <key>stroke</key>
204 <dict> 262 <dict>
211 </dict> 269 </dict>
212 </dict> 270 </dict>
213 <key>Tail</key> 271 <key>Tail</key>
214 <dict> 272 <dict>
215 <key>ID</key> 273 <key>ID</key>
216 <integer>4</integer> 274 <integer>14</integer>
275 </dict>
276 </dict>
277 <dict>
278 <key>Class</key>
279 <string>LineGraphic</string>
280 <key>Head</key>
281 <dict>
282 <key>ID</key>
283 <integer>20</integer>
284 </dict>
285 <key>ID</key>
286 <integer>17</integer>
287 <key>Points</key>
288 <array>
289 <string>{183.50002, 327.5}</string>
290 <string>{183.50002, 350.5}</string>
291 </array>
292 <key>Style</key>
293 <dict>
294 <key>stroke</key>
295 <dict>
296 <key>HeadArrow</key>
297 <string>FilledArrow</string>
298 <key>LineType</key>
299 <integer>1</integer>
300 <key>TailArrow</key>
301 <string>0</string>
302 </dict>
303 </dict>
304 <key>Tail</key>
305 <dict>
306 <key>ID</key>
307 <integer>13</integer>
217 </dict> 308 </dict>
218 </dict> 309 </dict>
219 <dict> 310 <dict>
220 <key>Bounds</key> 311 <key>Bounds</key>
221 <string>{{382, 192}, {56, 50}}</string> 312 <string>{{76, 351}, {56, 50}}</string>
222 <key>Class</key> 313 <key>Class</key>
223 <string>ShapedGraphic</string> 314 <string>ShapedGraphic</string>
224 <key>ID</key> 315 <key>ID</key>
225 <integer>7</integer> 316 <integer>16</integer>
226 <key>Shape</key> 317 <key>Shape</key>
227 <string>Circle</string> 318 <string>Circle</string>
228 <key>Style</key> 319 <key>Style</key>
229 <dict> 320 <dict>
230 <key>shadow</key> 321 <key>shadow</key>
247 <integer>0</integer> 338 <integer>0</integer>
248 </dict> 339 </dict>
249 </dict> 340 </dict>
250 <dict> 341 <dict>
251 <key>Bounds</key> 342 <key>Bounds</key>
252 <string>{{303, 192}, {51, 50}}</string> 343 <string>{{78.5, 425}, {51, 50}}</string>
253 <key>Class</key> 344 <key>Class</key>
254 <string>ShapedGraphic</string> 345 <string>ShapedGraphic</string>
255 <key>ID</key> 346 <key>ID</key>
256 <integer>6</integer> 347 <integer>15</integer>
257 <key>Shape</key> 348 <key>Shape</key>
258 <string>Circle</string> 349 <string>Circle</string>
259 <key>Style</key> 350 <key>Style</key>
260 <dict> 351 <dict>
261 <key>shadow</key> 352 <key>shadow</key>
277 <integer>0</integer> 368 <integer>0</integer>
278 </dict> 369 </dict>
279 </dict> 370 </dict>
280 <dict> 371 <dict>
281 <key>Bounds</key> 372 <key>Bounds</key>
282 <string>{{224, 192}, {51, 50}}</string> 373 <string>{{78.5, 499}, {51, 50}}</string>
283 <key>Class</key> 374 <key>Class</key>
284 <string>ShapedGraphic</string> 375 <string>ShapedGraphic</string>
285 <key>ID</key> 376 <key>ID</key>
286 <integer>5</integer> 377 <integer>14</integer>
287 <key>Shape</key> 378 <key>Shape</key>
288 <string>Circle</string> 379 <string>Circle</string>
289 <key>Style</key> 380 <key>Style</key>
290 <dict> 381 <dict>
291 <key>shadow</key> 382 <key>shadow</key>
307 <integer>0</integer> 398 <integer>0</integer>
308 </dict> 399 </dict>
309 </dict> 400 </dict>
310 <dict> 401 <dict>
311 <key>Bounds</key> 402 <key>Bounds</key>
312 <string>{{66, 192}, {51, 50}}</string> 403 <string>{{158, 277}, {51, 50}}</string>
313 <key>Class</key> 404 <key>Class</key>
314 <string>ShapedGraphic</string> 405 <string>ShapedGraphic</string>
315 <key>ID</key> 406 <key>ID</key>
316 <integer>4</integer> 407 <integer>13</integer>
317 <key>Shape</key> 408 <key>Shape</key>
318 <string>Circle</string> 409 <string>Circle</string>
319 <key>Style</key> 410 <key>Style</key>
320 <dict> 411 <dict>
321 <key>shadow</key> 412 <key>shadow</key>
331 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} 422 {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
332 {\colortbl;\red255\green255\blue255;} 423 {\colortbl;\red255\green255\blue255;}
333 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc 424 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
334 425
335 \f0\b\fs24 \cf0 f}</string> 426 \f0\b\fs24 \cf0 f}</string>
336 <key>VerticalPad</key>
337 <integer>0</integer>
338 </dict>
339 </dict>
340 <dict>
341 <key>Bounds</key>
342 <string>{{145, 192}, {51, 50}}</string>
343 <key>Class</key>
344 <string>ShapedGraphic</string>
345 <key>ID</key>
346 <integer>3</integer>
347 <key>Shape</key>
348 <string>Circle</string>
349 <key>Style</key>
350 <dict>
351 <key>shadow</key>
352 <dict>
353 <key>Draws</key>
354 <string>NO</string>
355 </dict>
356 </dict>
357 <key>Text</key>
358 <dict>
359 <key>Text</key>
360 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230
361 {\fonttbl\f0\fswiss\fcharset0 Helvetica;}
362 {\colortbl;\red255\green255\blue255;}
363 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
364
365 \f0\b\fs24 \cf0 f_g0}</string>
366 <key>VerticalPad</key> 427 <key>VerticalPad</key>
367 <integer>0</integer> 428 <integer>0</integer>
368 </dict> 429 </dict>
369 </dict> 430 </dict>
370 </array> 431 </array>
413 <key>MagnetsVisible</key> 474 <key>MagnetsVisible</key>
414 <string>NO</string> 475 <string>NO</string>
415 <key>MasterSheets</key> 476 <key>MasterSheets</key>
416 <array/> 477 <array/>
417 <key>ModificationDate</key> 478 <key>ModificationDate</key>
418 <string>2012-02-26 09:55:05 +0000</string> 479 <string>2012-02-27 18:34:20 +0000</string>
419 <key>Modifier</key> 480 <key>Modifier</key>
420 <string>Nobuyasu Oshiro</string> 481 <string>Nobuyasu Oshiro</string>
421 <key>NotesVisible</key> 482 <key>NotesVisible</key>
422 <string>NO</string> 483 <string>NO</string>
423 <key>Orientation</key> 484 <key>Orientation</key>
494 <key>name</key> 555 <key>name</key>
495 <string>Canvas 1</string> 556 <string>Canvas 1</string>
496 </dict> 557 </dict>
497 </array> 558 </array>
498 <key>Frame</key> 559 <key>Frame</key>
499 <string>{{435, -12}, {693, 938}}</string> 560 <string>{{435, 4}, {693, 938}}</string>
500 <key>ListView</key> 561 <key>ListView</key>
501 <true/> 562 <true/>
502 <key>OutlineWidth</key> 563 <key>OutlineWidth</key>
503 <integer>142</integer> 564 <integer>142</integer>
504 <key>RightSidebar</key> 565 <key>RightSidebar</key>