Mercurial > hg > Papers > 2013 > kono-prosym
view presen/fig/flatten.graffle @ 12:5b51dffd2b19 default tip
add fig
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 11 Jan 2014 09:48:32 +0900 |
parents | |
children |
line wrap: on
line source
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> <plist version="1.0"> <dict> <key>ActiveLayerIndex</key> <integer>0</integer> <key>ApplicationVersion</key> <array> <string>com.omnigroup.OmniGrafflePro</string> <string>139.17.0.185490</string> </array> <key>AutoAdjust</key> <true/> <key>BackgroundGraphic</key> <dict> <key>Bounds</key> <string>{{0, 0}, {559, 783}}</string> <key>Class</key> <string>SolidGraphic</string> <key>ID</key> <integer>2</integer> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> </dict> <key>BaseZoom</key> <integer>0</integer> <key>CanvasOrigin</key> <string>{0, 0}</string> <key>ColumnAlign</key> <integer>1</integer> <key>ColumnSpacing</key> <real>36</real> <key>CreationDate</key> <string>2013-07-08 10:42:35 +0000</string> <key>Creator</key> <string>Shinji KONO</string> <key>DisplayScale</key> <string>1.000 cm = 1.000 cm</string> <key>GraphDocumentVersion</key> <integer>8</integer> <key>GraphicsList</key> <array> <dict> <key>Bounds</key> <string>{{152.28416152264833, 188.37151081806337}, {240, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>29</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 fmap show (flatten x) = flatten ( fmap show x)}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{325.6530314376655, 95.918884336948395}, {95, 24}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>FontInfo</key> <dict> <key>Color</key> <dict> <key>w</key> <string>0</string> </dict> <key>Font</key> <string>Helvetica</string> <key>Size</key> <real>12</real> </dict> <key>ID</key> <integer>28</integer> <key>Line</key> <dict> <key>ID</key> <integer>20</integer> <key>Offset</key> <real>40</real> <key>Position</key> <real>0.5066489577293396</real> <key>RotationType</key> <integer>0</integer> </dict> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 List.fmap(show)}</string> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{184.99527064414252, 146.93493897053261}, {83, 24}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>FontInfo</key> <dict> <key>Color</key> <dict> <key>w</key> <string>0</string> </dict> <key>Font</key> <string>Helvetica</string> <key>Size</key> <real>12</real> </dict> <key>ID</key> <integer>27</integer> <key>Line</key> <dict> <key>ID</key> <integer>19</integer> <key>Offset</key> <real>-12.95334529876709</real> <key>Position</key> <real>0.39506173133850098</real> <key>RotationType</key> <integer>0</integer> </dict> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 flatten(String)}</string> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{43.10656477685589, 95.763860971308659}, {111, 24}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>FontInfo</key> <dict> <key>Color</key> <dict> <key>w</key> <string>0</string> </dict> <key>Font</key> <string>Helvetica</string> <key>Size</key> <real>12</real> </dict> <key>ID</key> <integer>26</integer> <key>Line</key> <dict> <key>ID</key> <integer>18</integer> <key>Offset</key> <real>-40</real> <key>Position</key> <real>0.50411403179168701</real> <key>RotationType</key> <integer>0</integer> </dict> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 Nodes.fmap(show)}</string> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{189.6250848180986, 43.66126331704875}, {89, 24}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>FontInfo</key> <dict> <key>Color</key> <dict> <key>w</key> <string>0</string> </dict> <key>Font</key> <string>Helvetica</string> <key>Size</key> <real>12</real> </dict> <key>ID</key> <integer>25</integer> <key>Line</key> <dict> <key>ID</key> <integer>17</integer> <key>Offset</key> <real>13.314260482788086</real> <key>Position</key> <real>0.45270270109176636</real> <key>RotationType</key> <integer>0</integer> </dict> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 flatten(Integer)}</string> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>11</integer> </dict> <key>ID</key> <integer>20</integer> <key>Points</key> <array> <string>{333.1530314376655, 76}</string> <string>{333.1530314376655, 139}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>9</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>11</integer> </dict> <key>ID</key> <integer>19</integer> <key>Points</key> <array> <string>{176.1020326163983, 145.99214674557442}</string> <string>{303.6530489245975, 145.96543499668616}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>10</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>10</integer> </dict> <key>ID</key> <integer>18</integer> <key>Points</key> <array> <string>{138.60285108587959, 76}</string> <string>{138.61021731121093, 139}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>8</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>9</integer> </dict> <key>ID</key> <integer>17</integer> <key>Points</key> <array> <string>{179.10203261639833, 68.989622731029371}</string> <string>{300.65302748944521, 68.958477857759092}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>8</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{303.6530489245975, 139}, {59, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>11</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 List(String)}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{101.10203261639833, 139}, {75, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>10</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 Nodes(String)}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{300.65302748944521, 62}, {65, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>9</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 List(Integer)}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{98.102032616398333, 62}, {81, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>8</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf390 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 Nodes(Integer)}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> </array> <key>GridInfo</key> <dict/> <key>GuidesLocked</key> <string>NO</string> <key>GuidesVisible</key> <string>YES</string> <key>HPages</key> <integer>1</integer> <key>ImageCounter</key> <integer>1</integer> <key>KeepToScale</key> <false/> <key>Layers</key> <array> <dict> <key>Lock</key> <string>NO</string> <key>Name</key> <string>Layer 1</string> <key>Print</key> <string>YES</string> <key>View</key> <string>YES</string> </dict> </array> <key>LayoutInfo</key> <dict> <key>Animate</key> <string>NO</string> <key>circoMinDist</key> <real>18</real> <key>circoSeparation</key> <real>0.0</real> <key>layoutEngine</key> <string>dot</string> <key>neatoSeparation</key> <real>0.0</real> <key>twopiSeparation</key> <real>0.0</real> </dict> <key>LinksVisible</key> <string>NO</string> <key>MagnetsVisible</key> <string>NO</string> <key>MasterSheets</key> <array/> <key>ModificationDate</key> <string>2013-07-08 10:44:31 +0000</string> <key>Modifier</key> <string>Shinji KONO</string> <key>NotesVisible</key> <string>NO</string> <key>Orientation</key> <integer>2</integer> <key>OriginVisible</key> <string>NO</string> <key>PageBreaks</key> <string>YES</string> <key>PrintInfo</key> <dict> <key>NSBottomMargin</key> <array> <string>float</string> <string>41</string> </array> <key>NSHorizonalPagination</key> <array> <string>coded</string> <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string> </array> <key>NSLeftMargin</key> <array> <string>float</string> <string>18</string> </array> <key>NSPaperSize</key> <array> <string>size</string> <string>{595, 842}</string> </array> <key>NSPrintReverseOrientation</key> <array> <string>int</string> <string>0</string> </array> <key>NSPrinter</key> <array> <string>coded</string> <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAlOU1ByaW50ZXIAhIQITlNPYmplY3QAhZKEhIQITlNTdHJpbmcBlIQBKyFjaW5uYW1vbi5jci5pZS51LXJ5dWt5dS5hYy5qcC1scGSGhg==</string> </array> <key>NSPrinterName</key> <array> <string>string</string> <string>cinnamon.cr.ie.u-ryukyu.ac.jp-lpd</string> </array> <key>NSRightMargin</key> <array> <string>float</string> <string>18</string> </array> <key>NSTopMargin</key> <array> <string>float</string> <string>18</string> </array> </dict> <key>PrintOnePage</key> <false/> <key>ReadOnly</key> <string>NO</string> <key>RowAlign</key> <integer>1</integer> <key>RowSpacing</key> <real>36</real> <key>SheetTitle</key> <string>Canvas 1</string> <key>SmartAlignmentGuidesActive</key> <string>YES</string> <key>SmartDistanceGuidesActive</key> <string>YES</string> <key>UniqueID</key> <integer>1</integer> <key>UseEntirePage</key> <false/> <key>VPages</key> <integer>1</integer> <key>WindowInfo</key> <dict> <key>CurrentSheet</key> <integer>0</integer> <key>ExpandedCanvases</key> <array> <dict> <key>name</key> <string>Canvas 1</string> </dict> </array> <key>Frame</key> <string>{{1060, 195}, {693, 922}}</string> <key>ListView</key> <true/> <key>OutlineWidth</key> <integer>142</integer> <key>RightSidebar</key> <false/> <key>ShowRuler</key> <true/> <key>Sidebar</key> <true/> <key>SidebarWidth</key> <integer>120</integer> <key>VisibleRegion</key> <string>{{0, 0}, {558, 783}}</string> <key>Zoom</key> <real>1</real> <key>ZoomValues</key> <array> <array> <string>Canvas 1</string> <real>1</real> <real>1</real> </array> </array> </dict> </dict> </plist>