Mercurial > hg > Papers > 2019 > oshiro-thesis
comparison final_main/fig/factorial.graffle @ 0:83f997abf3b5
first commit
author | e155702 |
---|---|
date | Thu, 14 Feb 2019 16:51:50 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:83f997abf3b5 |
---|---|
1 <?xml version="1.0" encoding="UTF-8"?> | |
2 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> | |
3 <plist version="1.0"> | |
4 <dict> | |
5 <key>ActiveLayerIndex</key> | |
6 <integer>0</integer> | |
7 <key>ApplicationVersion</key> | |
8 <array> | |
9 <string>com.omnigroup.OmniGraffle6</string> | |
10 <string>169.23.0.276662</string> | |
11 </array> | |
12 <key>AutoAdjust</key> | |
13 <true/> | |
14 <key>BackgroundGraphic</key> | |
15 <dict> | |
16 <key>Bounds</key> | |
17 <string>{{0, 0}, {559, 783}}</string> | |
18 <key>Class</key> | |
19 <string>SolidGraphic</string> | |
20 <key>ID</key> | |
21 <integer>2</integer> | |
22 <key>Style</key> | |
23 <dict> | |
24 <key>stroke</key> | |
25 <dict> | |
26 <key>Draws</key> | |
27 <string>NO</string> | |
28 </dict> | |
29 </dict> | |
30 </dict> | |
31 <key>BaseZoom</key> | |
32 <integer>0</integer> | |
33 <key>CanvasOrigin</key> | |
34 <string>{0, 0}</string> | |
35 <key>ColumnAlign</key> | |
36 <integer>1</integer> | |
37 <key>ColumnSpacing</key> | |
38 <real>36</real> | |
39 <key>CreationDate</key> | |
40 <string>2011-11-12 11:03:25 +0000</string> | |
41 <key>Creator</key> | |
42 <string>Nobuyasu Oshiro</string> | |
43 <key>DisplayScale</key> | |
44 <string>1 in = 1.00000 in</string> | |
45 <key>GraphDocumentVersion</key> | |
46 <integer>12</integer> | |
47 <key>GraphicsList</key> | |
48 <array> | |
49 <dict> | |
50 <key>Bounds</key> | |
51 <string>{{337.67999245226383, 177.89999766647816}, {103, 24}}</string> | |
52 <key>Class</key> | |
53 <string>ShapedGraphic</string> | |
54 <key>FitText</key> | |
55 <string>YES</string> | |
56 <key>Flow</key> | |
57 <string>Resize</string> | |
58 <key>FontInfo</key> | |
59 <dict> | |
60 <key>Size</key> | |
61 <real>11</real> | |
62 </dict> | |
63 <key>ID</key> | |
64 <integer>44</integer> | |
65 <key>Style</key> | |
66 <dict> | |
67 <key>fill</key> | |
68 <dict> | |
69 <key>Draws</key> | |
70 <string>NO</string> | |
71 </dict> | |
72 <key>shadow</key> | |
73 <dict> | |
74 <key>Draws</key> | |
75 <string>NO</string> | |
76 </dict> | |
77 <key>stroke</key> | |
78 <dict> | |
79 <key>Draws</key> | |
80 <string>NO</string> | |
81 </dict> | |
82 </dict> | |
83 <key>Text</key> | |
84 <dict> | |
85 <key>Text</key> | |
86 <string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 | |
87 {\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} | |
88 {\colortbl;\red255\green255\blue255;} | |
89 \deftab720 | |
90 \pard\pardeftab720\qc\partightenfactor0 | |
91 | |
92 \f0\fs22 \cf0 goto print_factorial}</string> | |
93 </dict> | |
94 <key>Wrap</key> | |
95 <string>NO</string> | |
96 </dict> | |
97 <dict> | |
98 <key>Class</key> | |
99 <string>LineGraphic</string> | |
100 <key>FontInfo</key> | |
101 <dict> | |
102 <key>Font</key> | |
103 <string>Helvetica</string> | |
104 <key>Size</key> | |
105 <real>12</real> | |
106 </dict> | |
107 <key>Head</key> | |
108 <dict> | |
109 <key>ID</key> | |
110 <integer>42</integer> | |
111 </dict> | |
112 <key>ID</key> | |
113 <integer>43</integer> | |
114 <key>Points</key> | |
115 <array> | |
116 <string>{325.49999356269836, 144}</string> | |
117 <string>{325.49999356269836, 235.79999533295631}</string> | |
118 </array> | |
119 <key>Style</key> | |
120 <dict> | |
121 <key>shadow</key> | |
122 <dict> | |
123 <key>Draws</key> | |
124 <string>NO</string> | |
125 </dict> | |
126 <key>stroke</key> | |
127 <dict> | |
128 <key>HeadArrow</key> | |
129 <string>FilledArrow</string> | |
130 <key>Legacy</key> | |
131 <false/> | |
132 <key>LineType</key> | |
133 <integer>1</integer> | |
134 <key>TailArrow</key> | |
135 <string>0</string> | |
136 </dict> | |
137 </dict> | |
138 <key>Tail</key> | |
139 <dict> | |
140 <key>ID</key> | |
141 <integer>33</integer> | |
142 </dict> | |
143 </dict> | |
144 <dict> | |
145 <key>Bounds</key> | |
146 <string>{{287.99999356269836, 208.79999533295631}, {75, 54}}</string> | |
147 <key>Class</key> | |
148 <string>ShapedGraphic</string> | |
149 <key>ID</key> | |
150 <integer>42</integer> | |
151 <key>Shape</key> | |
152 <string>Circle</string> | |
153 <key>Style</key> | |
154 <dict> | |
155 <key>shadow</key> | |
156 <dict> | |
157 <key>Draws</key> | |
158 <string>NO</string> | |
159 </dict> | |
160 </dict> | |
161 <key>Text</key> | |
162 <dict> | |
163 <key>Text</key> | |
164 <string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 | |
165 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
166 {\colortbl;\red255\green255\blue255;} | |
167 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 | |
168 | |
169 \f0\fs24 \cf0 print_\ | |
170 factorial}</string> | |
171 <key>VerticalPad</key> | |
172 <real>0.0</real> | |
173 </dict> | |
174 </dict> | |
175 <dict> | |
176 <key>Bounds</key> | |
177 <string>{{284.99999356269836, 45.359998986124992}, {81, 24}}</string> | |
178 <key>Class</key> | |
179 <string>ShapedGraphic</string> | |
180 <key>FitText</key> | |
181 <string>YES</string> | |
182 <key>Flow</key> | |
183 <string>Resize</string> | |
184 <key>FontInfo</key> | |
185 <dict> | |
186 <key>Size</key> | |
187 <real>11</real> | |
188 </dict> | |
189 <key>ID</key> | |
190 <integer>37</integer> | |
191 <key>Style</key> | |
192 <dict> | |
193 <key>fill</key> | |
194 <dict> | |
195 <key>Draws</key> | |
196 <string>NO</string> | |
197 </dict> | |
198 <key>shadow</key> | |
199 <dict> | |
200 <key>Draws</key> | |
201 <string>NO</string> | |
202 </dict> | |
203 <key>stroke</key> | |
204 <dict> | |
205 <key>Draws</key> | |
206 <string>NO</string> | |
207 </dict> | |
208 </dict> | |
209 <key>Text</key> | |
210 <dict> | |
211 <key>Text</key> | |
212 <string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 | |
213 {\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} | |
214 {\colortbl;\red255\green255\blue255;} | |
215 \deftab720 | |
216 \pard\pardeftab720\qc\partightenfactor0 | |
217 | |
218 \f0\fs22 \cf0 goto factorial0}</string> | |
219 </dict> | |
220 <key>Wrap</key> | |
221 <string>NO</string> | |
222 </dict> | |
223 <dict> | |
224 <key>Bounds</key> | |
225 <string>{{208.49999356269836, 106.55999761819839}, {81, 24}}</string> | |
226 <key>Class</key> | |
227 <string>ShapedGraphic</string> | |
228 <key>FitText</key> | |
229 <string>YES</string> | |
230 <key>Flow</key> | |
231 <string>Resize</string> | |
232 <key>FontInfo</key> | |
233 <dict> | |
234 <key>Size</key> | |
235 <real>11</real> | |
236 </dict> | |
237 <key>ID</key> | |
238 <integer>36</integer> | |
239 <key>Style</key> | |
240 <dict> | |
241 <key>fill</key> | |
242 <dict> | |
243 <key>Draws</key> | |
244 <string>NO</string> | |
245 </dict> | |
246 <key>shadow</key> | |
247 <dict> | |
248 <key>Draws</key> | |
249 <string>NO</string> | |
250 </dict> | |
251 <key>stroke</key> | |
252 <dict> | |
253 <key>Draws</key> | |
254 <string>NO</string> | |
255 </dict> | |
256 </dict> | |
257 <key>Text</key> | |
258 <dict> | |
259 <key>Text</key> | |
260 <string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 | |
261 {\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} | |
262 {\colortbl;\red255\green255\blue255;} | |
263 \deftab720 | |
264 \pard\pardeftab720\qc\partightenfactor0 | |
265 | |
266 \f0\fs22 \cf0 goto factorial0}</string> | |
267 </dict> | |
268 <key>Wrap</key> | |
269 <string>NO</string> | |
270 </dict> | |
271 <dict> | |
272 <key>Class</key> | |
273 <string>LineGraphic</string> | |
274 <key>FontInfo</key> | |
275 <dict> | |
276 <key>Font</key> | |
277 <string>Helvetica</string> | |
278 <key>Size</key> | |
279 <real>12</real> | |
280 </dict> | |
281 <key>Head</key> | |
282 <dict> | |
283 <key>ID</key> | |
284 <integer>33</integer> | |
285 </dict> | |
286 <key>ID</key> | |
287 <integer>35</integer> | |
288 <key>Points</key> | |
289 <array> | |
290 <string>{325.49999356269836, 144}</string> | |
291 <string>{294.49999356269836, 93.08203125}</string> | |
292 <string>{351.578125, 84.4765625}</string> | |
293 <string>{325.49999356269836, 144}</string> | |
294 </array> | |
295 <key>Style</key> | |
296 <dict> | |
297 <key>shadow</key> | |
298 <dict> | |
299 <key>Draws</key> | |
300 <string>NO</string> | |
301 </dict> | |
302 <key>stroke</key> | |
303 <dict> | |
304 <key>HeadArrow</key> | |
305 <string>FilledArrow</string> | |
306 <key>Legacy</key> | |
307 <false/> | |
308 <key>LineType</key> | |
309 <integer>1</integer> | |
310 <key>TailArrow</key> | |
311 <string>0</string> | |
312 </dict> | |
313 </dict> | |
314 <key>Tail</key> | |
315 <dict> | |
316 <key>ID</key> | |
317 <integer>33</integer> | |
318 </dict> | |
319 </dict> | |
320 <dict> | |
321 <key>Class</key> | |
322 <string>LineGraphic</string> | |
323 <key>FontInfo</key> | |
324 <dict> | |
325 <key>Font</key> | |
326 <string>Helvetica</string> | |
327 <key>Size</key> | |
328 <real>12</real> | |
329 </dict> | |
330 <key>Head</key> | |
331 <dict> | |
332 <key>ID</key> | |
333 <integer>33</integer> | |
334 </dict> | |
335 <key>ID</key> | |
336 <integer>34</integer> | |
337 <key>Points</key> | |
338 <array> | |
339 <string>{183, 144}</string> | |
340 <string>{325.49999356269836, 144}</string> | |
341 </array> | |
342 <key>Style</key> | |
343 <dict> | |
344 <key>shadow</key> | |
345 <dict> | |
346 <key>Draws</key> | |
347 <string>NO</string> | |
348 </dict> | |
349 <key>stroke</key> | |
350 <dict> | |
351 <key>HeadArrow</key> | |
352 <string>FilledArrow</string> | |
353 <key>Legacy</key> | |
354 <false/> | |
355 <key>LineType</key> | |
356 <integer>1</integer> | |
357 <key>TailArrow</key> | |
358 <string>0</string> | |
359 </dict> | |
360 </dict> | |
361 <key>Tail</key> | |
362 <dict> | |
363 <key>ID</key> | |
364 <integer>3</integer> | |
365 </dict> | |
366 </dict> | |
367 <dict> | |
368 <key>Bounds</key> | |
369 <string>{{287.99999356269836, 117}, {75, 54}}</string> | |
370 <key>Class</key> | |
371 <string>ShapedGraphic</string> | |
372 <key>ID</key> | |
373 <integer>33</integer> | |
374 <key>Shape</key> | |
375 <string>Circle</string> | |
376 <key>Style</key> | |
377 <dict> | |
378 <key>shadow</key> | |
379 <dict> | |
380 <key>Draws</key> | |
381 <string>NO</string> | |
382 </dict> | |
383 </dict> | |
384 <key>Text</key> | |
385 <dict> | |
386 <key>Text</key> | |
387 <string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 | |
388 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
389 {\colortbl;\red255\green255\blue255;} | |
390 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 | |
391 | |
392 \f0\fs24 \cf0 factorial 0}</string> | |
393 <key>VerticalPad</key> | |
394 <real>0.0</real> | |
395 </dict> | |
396 </dict> | |
397 <dict> | |
398 <key>Bounds</key> | |
399 <string>{{147, 117}, {72, 54}}</string> | |
400 <key>Class</key> | |
401 <string>ShapedGraphic</string> | |
402 <key>ID</key> | |
403 <integer>3</integer> | |
404 <key>Shape</key> | |
405 <string>Circle</string> | |
406 <key>Style</key> | |
407 <dict> | |
408 <key>shadow</key> | |
409 <dict> | |
410 <key>Draws</key> | |
411 <string>NO</string> | |
412 </dict> | |
413 </dict> | |
414 <key>Text</key> | |
415 <dict> | |
416 <key>Text</key> | |
417 <string>{\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 | |
418 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
419 {\colortbl;\red255\green255\blue255;} | |
420 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 | |
421 | |
422 \f0\fs24 \cf0 factorial}</string> | |
423 <key>VerticalPad</key> | |
424 <real>0.0</real> | |
425 </dict> | |
426 </dict> | |
427 </array> | |
428 <key>GridInfo</key> | |
429 <dict/> | |
430 <key>GuidesLocked</key> | |
431 <string>NO</string> | |
432 <key>GuidesVisible</key> | |
433 <string>YES</string> | |
434 <key>HPages</key> | |
435 <integer>1</integer> | |
436 <key>ImageCounter</key> | |
437 <integer>1</integer> | |
438 <key>KeepToScale</key> | |
439 <false/> | |
440 <key>Layers</key> | |
441 <array> | |
442 <dict> | |
443 <key>Lock</key> | |
444 <string>NO</string> | |
445 <key>Name</key> | |
446 <string>Layer 1</string> | |
447 <key>Print</key> | |
448 <string>YES</string> | |
449 <key>Slices</key> | |
450 <string>NO</string> | |
451 <key>View</key> | |
452 <string>YES</string> | |
453 </dict> | |
454 </array> | |
455 <key>LayoutInfo</key> | |
456 <dict> | |
457 <key>Animate</key> | |
458 <string>NO</string> | |
459 <key>circoMinDist</key> | |
460 <real>18</real> | |
461 <key>circoSeparation</key> | |
462 <real>0.0</real> | |
463 <key>layoutEngine</key> | |
464 <string>dot</string> | |
465 <key>neatoLineLength</key> | |
466 <real>0.20000000298023224</real> | |
467 <key>neatoSeparation</key> | |
468 <real>0.0</real> | |
469 <key>twopiSeparation</key> | |
470 <real>0.0</real> | |
471 </dict> | |
472 <key>LinksVisible</key> | |
473 <string>NO</string> | |
474 <key>MagnetsVisible</key> | |
475 <string>NO</string> | |
476 <key>MasterSheets</key> | |
477 <array/> | |
478 <key>ModificationDate</key> | |
479 <string>2017-02-09 07:19:20 +0000</string> | |
480 <key>Modifier</key> | |
481 <string>atton</string> | |
482 <key>NotesVisible</key> | |
483 <string>NO</string> | |
484 <key>Orientation</key> | |
485 <integer>2</integer> | |
486 <key>OriginVisible</key> | |
487 <string>NO</string> | |
488 <key>PageBreaks</key> | |
489 <string>YES</string> | |
490 <key>PrintInfo</key> | |
491 <dict> | |
492 <key>NSBottomMargin</key> | |
493 <array> | |
494 <string>float</string> | |
495 <string>41</string> | |
496 </array> | |
497 <key>NSHorizonalPagination</key> | |
498 <array> | |
499 <string>coded</string> | |
500 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string> | |
501 </array> | |
502 <key>NSLeftMargin</key> | |
503 <array> | |
504 <string>float</string> | |
505 <string>18</string> | |
506 </array> | |
507 <key>NSPaperSize</key> | |
508 <array> | |
509 <string>size</string> | |
510 <string>{595, 842}</string> | |
511 </array> | |
512 <key>NSPrintReverseOrientation</key> | |
513 <array> | |
514 <string>coded</string> | |
515 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string> | |
516 </array> | |
517 <key>NSRightMargin</key> | |
518 <array> | |
519 <string>float</string> | |
520 <string>18</string> | |
521 </array> | |
522 <key>NSTopMargin</key> | |
523 <array> | |
524 <string>float</string> | |
525 <string>18</string> | |
526 </array> | |
527 </dict> | |
528 <key>PrintOnePage</key> | |
529 <false/> | |
530 <key>ReadOnly</key> | |
531 <string>NO</string> | |
532 <key>RowAlign</key> | |
533 <integer>1</integer> | |
534 <key>RowSpacing</key> | |
535 <real>36</real> | |
536 <key>SheetTitle</key> | |
537 <string>Canvas 1</string> | |
538 <key>SmartAlignmentGuidesActive</key> | |
539 <string>YES</string> | |
540 <key>SmartDistanceGuidesActive</key> | |
541 <string>YES</string> | |
542 <key>UniqueID</key> | |
543 <integer>1</integer> | |
544 <key>UseEntirePage</key> | |
545 <false/> | |
546 <key>VPages</key> | |
547 <integer>1</integer> | |
548 <key>WindowInfo</key> | |
549 <dict> | |
550 <key>CurrentSheet</key> | |
551 <integer>0</integer> | |
552 <key>Expanded_Canvases</key> | |
553 <array/> | |
554 <key>Frame</key> | |
555 <string>{{87, 100}, {989, 938}}</string> | |
556 <key>ShowInfo</key> | |
557 <true/> | |
558 <key>ShowRuler</key> | |
559 <true/> | |
560 <key>Sidebar</key> | |
561 <true/> | |
562 <key>SidebarWidth</key> | |
563 <integer>200</integer> | |
564 <key>TopSlabHeight</key> | |
565 <real>250</real> | |
566 <key>VisibleRegion</key> | |
567 <string>{{0, 0}, {475, 780}}</string> | |
568 <key>Zoom</key> | |
569 <real>1</real> | |
570 <key>ZoomValues</key> | |
571 <array> | |
572 <array> | |
573 <string>Canvas 1</string> | |
574 <real>1</real> | |
575 <real>1</real> | |
576 </array> | |
577 </array> | |
578 </dict> | |
579 </dict> | |
580 </plist> |