# HG changeset patch
# User e155702
# Date 1550421863 -32400
# Node ID 2e748ed64bcc976ef4e858025b8d883bbc17e0d9
# Parent f11d4ccb52c5b74acace28f85830e8130753162d
arrangement
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/factorial.graffle
--- a/final_main/fig/factorial.graffle Mon Feb 18 01:39:52 2019 +0900
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,580 +0,0 @@
-
-
-
-
- ActiveLayerIndex
- 0
- ApplicationVersion
-
- com.omnigroup.OmniGraffle6
- 169.23.0.276662
-
- AutoAdjust
-
- BackgroundGraphic
-
- Bounds
- {{0, 0}, {559, 783}}
- Class
- SolidGraphic
- ID
- 2
- Style
-
- stroke
-
- Draws
- NO
-
-
-
- BaseZoom
- 0
- CanvasOrigin
- {0, 0}
- ColumnAlign
- 1
- ColumnSpacing
- 36
- CreationDate
- 2011-11-12 11:03:25 +0000
- Creator
- Nobuyasu Oshiro
- DisplayScale
- 1 in = 1.00000 in
- GraphDocumentVersion
- 12
- GraphicsList
-
-
- Bounds
- {{337.67999245226383, 177.89999766647816}, {103, 24}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- FontInfo
-
- Size
- 11
-
- ID
- 44
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs22 \cf0 goto print_factorial}
-
- Wrap
- NO
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- Head
-
- ID
- 42
-
- ID
- 43
- Points
-
- {325.49999356269836, 144}
- {325.49999356269836, 235.79999533295631}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
- Tail
-
- ID
- 33
-
-
-
- Bounds
- {{287.99999356269836, 208.79999533295631}, {75, 54}}
- Class
- ShapedGraphic
- ID
- 42
- Shape
- Circle
- Style
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0
-
-\f0\fs24 \cf0 print_\
-factorial}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{284.99999356269836, 45.359998986124992}, {81, 24}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- FontInfo
-
- Size
- 11
-
- ID
- 37
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs22 \cf0 goto factorial0}
-
- Wrap
- NO
-
-
- Bounds
- {{208.49999356269836, 106.55999761819839}, {81, 24}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- FontInfo
-
- Size
- 11
-
- ID
- 36
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs22 \cf0 goto factorial0}
-
- Wrap
- NO
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- Head
-
- ID
- 33
-
- ID
- 35
- Points
-
- {325.49999356269836, 144}
- {294.49999356269836, 93.08203125}
- {351.578125, 84.4765625}
- {325.49999356269836, 144}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
- Tail
-
- ID
- 33
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- Head
-
- ID
- 33
-
- ID
- 34
- Points
-
- {183, 144}
- {325.49999356269836, 144}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
- Tail
-
- ID
- 3
-
-
-
- Bounds
- {{287.99999356269836, 117}, {75, 54}}
- Class
- ShapedGraphic
- ID
- 33
- Shape
- Circle
- Style
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0
-
-\f0\fs24 \cf0 factorial 0}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{147, 117}, {72, 54}}
- Class
- ShapedGraphic
- ID
- 3
- Shape
- Circle
- Style
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0
-
-\f0\fs24 \cf0 factorial}
- VerticalPad
- 0.0
-
-
-
- GridInfo
-
- GuidesLocked
- NO
- GuidesVisible
- YES
- HPages
- 1
- ImageCounter
- 1
- KeepToScale
-
- Layers
-
-
- Lock
- NO
- Name
- Layer 1
- Print
- YES
- Slices
- NO
- View
- YES
-
-
- LayoutInfo
-
- Animate
- NO
- circoMinDist
- 18
- circoSeparation
- 0.0
- layoutEngine
- dot
- neatoLineLength
- 0.20000000298023224
- neatoSeparation
- 0.0
- twopiSeparation
- 0.0
-
- LinksVisible
- NO
- MagnetsVisible
- NO
- MasterSheets
-
- ModificationDate
- 2017-02-09 07:19:20 +0000
- Modifier
- atton
- NotesVisible
- NO
- Orientation
- 2
- OriginVisible
- NO
- PageBreaks
- YES
- PrintInfo
-
- NSBottomMargin
-
- float
- 41
-
- NSHorizonalPagination
-
- coded
- BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG
-
- NSLeftMargin
-
- float
- 18
-
- NSPaperSize
-
- size
- {595, 842}
-
- NSPrintReverseOrientation
-
- coded
- BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG
-
- NSRightMargin
-
- float
- 18
-
- NSTopMargin
-
- float
- 18
-
-
- PrintOnePage
-
- ReadOnly
- NO
- RowAlign
- 1
- RowSpacing
- 36
- SheetTitle
- Canvas 1
- SmartAlignmentGuidesActive
- YES
- SmartDistanceGuidesActive
- YES
- UniqueID
- 1
- UseEntirePage
-
- VPages
- 1
- WindowInfo
-
- CurrentSheet
- 0
- Expanded_Canvases
-
- Frame
- {{87, 100}, {989, 938}}
- ShowInfo
-
- ShowRuler
-
- Sidebar
-
- SidebarWidth
- 200
- TopSlabHeight
- 250
- VisibleRegion
- {{0, 0}, {475, 780}}
- Zoom
- 1
- ZoomValues
-
-
- Canvas 1
- 1
- 1
-
-
-
-
-
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/factorial.pdf
Binary file final_main/fig/factorial.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/gears-meta.graffle
--- a/final_main/fig/gears-meta.graffle Mon Feb 18 01:39:52 2019 +0900
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,974 +0,0 @@
-
-
-
-
- ActiveLayerIndex
- 0
- ApplicationVersion
-
- com.omnigroup.OmniGraffle6
- 169.5.0.253125
-
- AutoAdjust
-
- BackgroundGraphic
-
- Bounds
- {{0, 0}, {1118.4000244140625, 782.79998779296875}}
- Class
- SolidGraphic
- ID
- 2
- Style
-
- stroke
-
- Draws
- NO
-
-
-
- BaseZoom
- 0
- CanvasOrigin
- {0, 0}
- ColumnAlign
- 1
- ColumnSpacing
- 36
- CreationDate
- 2014-02-10 06:36:22 +0000
- Creator
- utah
- DisplayScale
- 1 in = 1 in
- GraphDocumentVersion
- 12
- GraphicsList
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 34
- Points
-
- {414, 72}
- {468, 72}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- 0
- Legacy
-
- LineType
- 1
- Pattern
- 1
- TailArrow
- 0
-
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- Head
-
- ID
- 29
- Info
- 2
-
- ID
- 33
- Points
-
- {189, 72}
- {243, 72}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- 0
- Legacy
-
- LineType
- 1
- Pattern
- 1
- TailArrow
- 0
-
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 32
- Points
-
- {585, 99}
- {585, 135}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 31
- OrthogonalBarAutomatic
-
- OrthogonalBarPoint
- {0, 0}
- OrthogonalBarPosition
- -1
- Points
-
- {414, 162}
- {468, 162}
- {468, 72}
- {531, 72}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 2
- TailArrow
- 0
-
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 30
- Points
-
- {360, 99}
- {360, 135}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 29
- OrthogonalBarAutomatic
-
- OrthogonalBarPoint
- {0, 0}
- OrthogonalBarPosition
- -1
- Points
-
- {189, 162}
- {243, 162}
- {243, 72}
- {306, 72}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 2
- TailArrow
- 0
-
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 27
- Points
-
- {135, 99}
- {135, 135}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
-
-
- Bounds
- {{60.5, 198}, {83, 30}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- ID
- 26
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs32 \cf0 meta level}
-
- Wrap
- NO
-
-
- Bounds
- {{51.0625, 3}, {96, 30}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- ID
- 25
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs32 \cf0 normal level}
-
- Wrap
- NO
-
-
- Bounds
- {{531, 135}, {108, 54}}
- Class
- ShapedGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 9
-
- HFlip
- YES
- ID
- 24
- Magnets
-
- {1, 0.5}
- {1, -0.5}
- {-1, 0.5}
- {-1, -0.5}
- {0.5, 1}
- {-0.5, 1}
- {0.5, -1}
- {-0.5, -1}
-
- Style
-
- fill
-
- Color
-
- b
- 0.99999099999999996
- g
- 0.99997400000000003
- r
- 1
-
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
-
-\f0\fs28 \cf0 meta3}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{306, 135}, {108, 54}}
- Class
- ShapedGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 9
-
- HFlip
- YES
- ID
- 23
- Magnets
-
- {1, 0.5}
- {1, -0.5}
- {-1, 0.5}
- {-1, -0.5}
- {0.5, 1}
- {-0.5, 1}
- {0.5, -1}
- {-0.5, -1}
-
- Style
-
- fill
-
- Color
-
- b
- 0.99999099999999996
- g
- 0.99997400000000003
- r
- 1
-
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
-
-\f0\fs28 \cf0 meta2}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{81, 135}, {108, 54}}
- Class
- ShapedGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 9
-
- HFlip
- YES
- ID
- 22
- Magnets
-
- {1, 0.5}
- {1, -0.5}
- {-1, 0.5}
- {-1, -0.5}
- {0.5, 1}
- {-0.5, 1}
- {0.5, -1}
- {-0.5, -1}
-
- Style
-
- fill
-
- Color
-
- b
- 0.99999099999999996
- g
- 0.99997400000000003
- r
- 1
-
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
-
-\f0\fs28 \cf0 meta1}
- VerticalPad
- 0.0
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 21
- Points
-
- {684, 117}
- {54, 117}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- 0
- Legacy
-
- LineType
- 1
- Pattern
- 2
- TailArrow
- 0
-
-
-
-
- Bounds
- {{531, 45}, {108, 54}}
- Class
- ShapedGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 9
-
- HFlip
- YES
- ID
- 19
- Magnets
-
- {1, 0.5}
- {1, -0.5}
- {-1, 0.5}
- {-1, -0.5}
- {0.5, 1}
- {-0.5, 1}
- {0.5, -1}
- {-0.5, -1}
-
- Style
-
- fill
-
- Color
-
- b
- 0.99999099999999996
- g
- 0.99997400000000003
- r
- 1
-
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
-
-\f0\fs28 \cf0 code3}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{306, 45}, {108, 54}}
- Class
- ShapedGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 9
-
- HFlip
- YES
- ID
- 5
- Magnets
-
- {1, 0.5}
- {1, -0.5}
- {-1, 0.5}
- {-1, -0.5}
- {0.5, 1}
- {-0.5, 1}
- {0.5, -1}
- {-0.5, -1}
-
- Style
-
- fill
-
- Color
-
- b
- 0.99999099999999996
- g
- 0.99997400000000003
- r
- 1
-
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
-
-\f0\fs28 \cf0 code2}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{81, 45}, {108, 54}}
- Class
- ShapedGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 9
-
- HFlip
- YES
- ID
- 4
- Magnets
-
- {1, 0.5}
- {1, -0.5}
- {-1, 0.5}
- {-1, -0.5}
- {0.5, 1}
- {-0.5, 1}
- {0.5, -1}
- {-0.5, -1}
-
- Style
-
- fill
-
- Color
-
- b
- 0.99999099999999996
- g
- 0.99997400000000003
- r
- 1
-
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0
-
-\f0\fs28 \cf0 code1}
- VerticalPad
- 0.0
-
-
-
- GridInfo
-
- SnapsToGrid
- YES
-
- GuidesLocked
- NO
- GuidesVisible
- YES
- HPages
- 2
- ImageCounter
- 1
- KeepToScale
-
- Layers
-
-
- Lock
- NO
- Name
- Layer 1
- Print
- YES
- View
- YES
-
-
- LayoutInfo
-
- Animate
- NO
- circoMinDist
- 18
- circoSeparation
- 0.0
- layoutEngine
- dot
- neatoLineLength
- 0.20000000298023224
- neatoSeparation
- 0.0
- twopiSeparation
- 0.0
-
- LinksVisible
- NO
- MagnetsVisible
- NO
- MasterSheets
-
- ModificationDate
- 2016-02-09 02:10:43 +0000
- Modifier
- utah
- NotesVisible
- NO
- Orientation
- 2
- OriginVisible
- NO
- PageBreaks
- YES
- PrintInfo
-
- NSBottomMargin
-
- float
- 41
-
- NSHorizonalPagination
-
- coded
- BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG
-
- NSLeftMargin
-
- float
- 18
-
- NSPaperSize
-
- size
- {595.20001220703125, 841.79998779296875}
-
- NSPrintReverseOrientation
-
- coded
- BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG
-
- NSRightMargin
-
- float
- 18
-
- NSTopMargin
-
- float
- 18
-
-
- PrintOnePage
-
- ReadOnly
- NO
- RowAlign
- 1
- RowSpacing
- 36
- SheetTitle
- Canvas 1
- SmartAlignmentGuidesActive
- YES
- SmartDistanceGuidesActive
- YES
- UniqueID
- 1
- UseEntirePage
-
- VPages
- 1
- WindowInfo
-
- CurrentSheet
- 0
- Expanded_Canvases
-
- Frame
- {{252, -73}, {1263, 938}}
- ShowInfo
-
- ShowRuler
-
- Sidebar
-
- SidebarWidth
- 200
- TopSlabHeight
- 250
- VisibleRegion
- {{0, 0}, {749, 780}}
- Zoom
- 1
- ZoomValues
-
-
- Canvas 1
- 1
- 1
-
-
-
-
-
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/gears-meta.pdf
Binary file final_main/fig/gears-meta.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/goto.graffle
--- a/final_main/fig/goto.graffle Mon Feb 18 01:39:52 2019 +0900
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,445 +0,0 @@
-
-
-
-
- ActiveLayerIndex
- 0
- ApplicationVersion
-
- com.omnigroup.OmniGraffle6
- 169.5.0.253125
-
- AutoAdjust
-
- BackgroundGraphic
-
- Bounds
- {{0, 0}, {559.20001220703125, 782.79998779296875}}
- Class
- SolidGraphic
- ID
- 2
- Style
-
- stroke
-
- Draws
- NO
-
-
-
- BaseZoom
- 0
- CanvasOrigin
- {0, 0}
- ColumnAlign
- 1
- ColumnSpacing
- 36
- CreationDate
- 2011-11-12 11:03:25 +0000
- Creator
- Nobuyasu Oshiro
- DisplayScale
- 1 in = 1.00000 in
- GraphDocumentVersion
- 12
- GraphicsList
-
-
- Bounds
- {{366.49999356269836, 106.55999761819839}, {65, 24}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- FontInfo
-
- Size
- 11
-
- ID
- 37
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs22 \cf0 goto cs2(c)}
-
- Wrap
- NO
-
-
- Bounds
- {{209.99999356269836, 106.55999761819839}, {78, 24}}
- Class
- ShapedGraphic
- FitText
- YES
- Flow
- Resize
- FontInfo
-
- Size
- 11
-
- ID
- 36
- Style
-
- fill
-
- Draws
- NO
-
- shadow
-
- Draws
- NO
-
- stroke
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;}
-{\colortbl;\red255\green255\blue255;}
-\deftab720
-\pard\pardeftab720\qc\partightenfactor0
-
-\f0\fs22 \cf0 goto cs1(a+b)}
-
- Wrap
- NO
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- ID
- 35
- Points
-
- {323.99999356269836, 144}
- {426.68373636901379, 143.8290591686964}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
- Tail
-
- ID
- 33
-
-
-
- Class
- LineGraphic
- FontInfo
-
- Font
- Helvetica
- Size
- 12
-
- Head
-
- ID
- 33
-
- ID
- 34
- Points
-
- {183, 144}
- {323.99999356269836, 144}
-
- Style
-
- shadow
-
- Draws
- NO
-
- stroke
-
- HeadArrow
- FilledArrow
- Legacy
-
- LineType
- 1
- TailArrow
- 0
-
-
- Tail
-
- ID
- 3
-
-
-
- Bounds
- {{287.99999356269836, 117}, {72, 54}}
- Class
- ShapedGraphic
- ID
- 33
- Shape
- Circle
- Style
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0
-
-\f0\fs24 \cf0 cs1}
- VerticalPad
- 0.0
-
-
-
- Bounds
- {{147, 117}, {72, 54}}
- Class
- ShapedGraphic
- ID
- 3
- Shape
- Circle
- Style
-
- shadow
-
- Draws
- NO
-
-
- Text
-
- Text
- {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340
-{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
-{\colortbl;\red255\green255\blue255;}
-\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0
-
-\f0\fs24 \cf0 cs0}
- VerticalPad
- 0.0
-
-
-
- GridInfo
-
- GuidesLocked
- NO
- GuidesVisible
- YES
- HPages
- 1
- ImageCounter
- 1
- KeepToScale
-
- Layers
-
-
- Lock
- NO
- Name
- Layer 1
- Print
- YES
- View
- YES
-
-
- LayoutInfo
-
- Animate
- NO
- circoMinDist
- 18
- circoSeparation
- 0.0
- layoutEngine
- dot
- neatoLineLength
- 0.20000000298023224
- neatoSeparation
- 0.0
- twopiSeparation
- 0.0
-
- LinksVisible
- NO
- MagnetsVisible
- NO
- MasterSheets
-
- ModificationDate
- 2016-02-14 19:41:55 +0000
- Modifier
- utah
- NotesVisible
- NO
- Orientation
- 2
- OriginVisible
- NO
- PageBreaks
- YES
- PrintInfo
-
- NSBottomMargin
-
- float
- 41
-
- NSHorizonalPagination
-
- coded
- BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG
-
- NSLeftMargin
-
- float
- 18
-
- NSPaperSize
-
- size
- {595.20001220703125, 841.79998779296875}
-
- NSPrintReverseOrientation
-
- coded
- BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG
-
- NSRightMargin
-
- float
- 18
-
- NSTopMargin
-
- float
- 18
-
-
- PrintOnePage
-
- ReadOnly
- NO
- RowAlign
- 1
- RowSpacing
- 36
- SheetTitle
- Canvas 1
- SmartAlignmentGuidesActive
- YES
- SmartDistanceGuidesActive
- YES
- UniqueID
- 1
- UseEntirePage
-
- VPages
- 1
- WindowInfo
-
- CurrentSheet
- 0
- Expanded_Canvases
-
- Frame
- {{507, -237}, {989, 938}}
- ShowInfo
-
- ShowRuler
-
- Sidebar
-
- SidebarWidth
- 200
- TopSlabHeight
- 250
- VisibleRegion
- {{0, 0}, {475, 780}}
- Zoom
- 1
- ZoomValues
-
-
- Canvas 1
- 1
- 1
-
-
-
-
-
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/goto.pdf
Binary file final_main/fig/goto.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta-hierarchy.graffle
Binary file final_main/fig/meta-hierarchy.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta-hierarchy.pdf
Binary file final_main/fig/meta-hierarchy.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta.graffle
Binary file final_main/fig/meta.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta.pdf
Binary file final_main/fig/meta.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/metameta.graffle
Binary file final_main/fig/metameta.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/metameta.pdf
Binary file final_main/fig/metameta.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/non-destructive-rbtree.pdf
Binary file final_main/fig/non-destructive-rbtree.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/put.graffle
Binary file final_main/fig/put.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/put.pdf
Binary file final_main/fig/put.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/rbtree.graffle
Binary file final_main/fig/rbtree.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/rbtree.pdf
Binary file final_main/fig/rbtree.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-arg.graffle
Binary file final_main/fig/subtype-arg.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-arg.pdf
Binary file final_main/fig/subtype-arg.pdf has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-return.graffle
Binary file final_main/fig/subtype-return.graffle has changed
diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-return.pdf
Binary file final_main/fig/subtype-return.pdf has changed