# HG changeset patch # User Yasutaka Higa # Date 1421891367 -32400 # Node ID 65391f6321a8791d3f9958d7e2b2bed702b6dd6a # Parent 780eab85e724e7ec02cccbef0961314d92b0d89d Add description for Delta diff -r 780eab85e724 -r 65391f6321a8 figure/apply_function.graffle --- a/figure/apply_function.graffle Wed Jan 21 20:26:55 2015 +0900 +++ b/figure/apply_function.graffle Thu Jan 22 10:49:27 2015 +0900 @@ -46,13 +46,118 @@ Creator atton DisplayScale - 1 0/72 in = 1 0/72 in + 1 0/72 in = 1.0000 in GraphDocumentVersion 8 GraphicsList Bounds + {{469.62496948242188, 131.99026489257812}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 46 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{469.62496948242188, 171.99513244628906}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 45 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{258.62497329711914, 132.00001525878906}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 44 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'} + + + + Bounds {{68.624973297119141, 212}, {103, 40}} Class ShapedGraphic @@ -371,11 +476,20 @@ Bounds - {{423.37497407197952, 121.99999535646094}, {37, 140}} + {{319.87498744123894, 121.9951369624271}, {37, 140}} Class ShapedGraphic ID - 37 + 36 + Line + + ID + 20 + Position + 0.53669750690460205 + RotationType + 0 + Shape Circle Style @@ -401,20 +515,11 @@ Bounds - {{319.874988342655, 121.95213619171162}, {37, 140}} + {{423.37497407197952, 121.99999535646094}, {37, 140}} Class ShapedGraphic ID - 36 - Line - - ID - 20 - Position - 0.53669750690460205 - RotationType - 0 - + 47 Shape Circle Style @@ -798,14 +903,14 @@ Head ID - 14 + 45 ID 23 Points - {414.59249740134356, 201.65593330965854} - {469.15744919289472, 222.34406669034144} + {414.62497329711925, 191.99939451107107} + {469.1249694824325, 191.99810042698024} Style @@ -833,14 +938,14 @@ Head ID - 14 + 46 ID 22 Points - {414.52338161271501, 171.25945654263191} - {469.22656498152327, 212.74054345736806} + {414.6249732974137, 152.00041970388588} + {469.1249695148249, 152.00131671801108} Style @@ -909,8 +1014,8 @@ 20 Points - {309.12497310611434, 191.97770727366566} - {363.62497517476532, 191.93006203286416} + {309.12497329741859, 191.99773502418128} + {363.62497333006178, 191.99289419350708} Style @@ -944,8 +1049,8 @@ 19 Points - {309.09249740134356, 182.34406669034144} - {363.65744919289472, 161.65593330965854} + {309.12497329711914, 152.00001430338926} + {363.62497329711914, 152.00001430338926} Style @@ -964,7 +1069,7 @@ Tail ID - 10 + 44 @@ -973,15 +1078,15 @@ Head ID - 10 + 44 ID 18 Points - {172.1136803707216, 163.24080152942756} - {212.62497329711914, 172} - {258.14370307128587, 184.82217740117372} + {172.12494367889101, 151.43401409231762} + {212, 151} + {258.12502201416333, 151.64398943137894} Style @@ -1226,7 +1331,7 @@ MasterSheets ModificationDate - 2014-12-25 05:46:50 +0000 + 2015-01-22 01:23:03 +0000 Modifier atton NotesVisible diff -r 780eab85e724 -r 65391f6321a8 slide/pictures/delta_program.graffle --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/pictures/delta_program.graffle Thu Jan 22 10:49:27 2015 +0900 @@ -0,0 +1,1442 @@ + + + + + ActiveLayerIndex + 0 + ApplicationVersion + + com.omnigroup.OmniGraffle + 139.18.0.187838 + + AutoAdjust + + BackgroundGraphic + + Bounds + {{0, 0}, {558.99997329711914, 783}} + Class + SolidGraphic + ID + 2 + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + BaseZoom + 0 + CanvasOrigin + {0, 0} + ColumnAlign + 1 + ColumnSpacing + 36 + CreationDate + 2014-12-25 05:16:49 +0000 + Creator + atton + DisplayScale + 1 0/72 in = 1.0000 in + GraphDocumentVersion + 8 + GraphicsList + + + Bounds + {{469.62496948242188, 131.99026489257812}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 46 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{469.62496948242188, 171.99513244628906}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 45 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{258.62497329711914, 132.00001525878906}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 44 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'} + + + + Bounds + {{68.624973297119141, 212}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 5 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f(g(x))} + + + + Bounds + {{68.624973297119141, 172}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 4 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'(g'(x))} + + + + Bounds + {{68.624973297119141, 132}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 18 + + ID + 3 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'(g''(x))} + + + + Class + LineGraphic + ID + 40 + Points + + {402.0172910628728, 96.870333541118512} + {439.87498664855957, 121.99999535646094} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 38 + + + + Bounds + {{18.000001907348633, 212.00001525878906}, {54.874984741210938, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 9 + + ID + 43 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs20 \cf0 version 1} + + + + Bounds + {{18.000001907348633, 172.00001525878906}, {54.874984741210938, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 9 + + ID + 42 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs20 \cf0 version 2} + + + + Bounds + {{18.000001907348633, 132.00001525878906}, {54.874984741210938, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 9 + + ID + 41 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs20 \cf0 version 3} + + + + Class + LineGraphic + ID + 39 + Points + + {367.56781394720099, 96.934765010838973} + {340.87498664855957, 121.99999535646094} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 38 + + + + Bounds + {{236.62497329711914, 70}, {290.49996948242188, 27}} + Class + ShapedGraphic + ID + 38 + Shape + Circle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs28 \cf0 >>= definition} + + + + Bounds + {{319.87498742342143, 121.99950590778425}, {37, 140}} + Class + ShapedGraphic + ID + 36 + Line + + ID + 20 + Position + 0.53669750690460205 + RotationType + 0 + + Shape + Circle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + CornerRadius + 27 + Pattern + 1 + + + + + Bounds + {{423.37497407197952, 121.99999535646094}, {37, 140}} + Class + ShapedGraphic + ID + 47 + Shape + Circle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + CornerRadius + 27 + Pattern + 1 + + + + + Bounds + {{453.12497329711914, 292}, {83, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 14 + + HFlip + YES + ID + 35 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs28 \cf0 variable\ +(version 1)} + + + + Bounds + {{347.62497329711914, 292}, {83, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 14 + + HFlip + YES + ID + 34 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs28 \cf0 function\ +(version 3)} + + + + Bounds + {{469.62497329711914, 212}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 14 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{258.62497329711914, 212}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 11 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f} + + + + Bounds + {{364.12497329711914, 212}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 8 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 g} + + + + Bounds + {{68.624973297119141, 292}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 14 + + ID + 33 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs28 \cf0 result\ +(version 3)} + + + + Bounds + {{236.62497329711914, 292}, {83, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 14 + + HFlip + YES + ID + 30 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs28 \cf0 function\ +(version 2)} + + + + Bounds + {{68.624973297119141, 252}, {451, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 24 + + ID + 26 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} +{\colortbl;\red255\green255\blue255;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural + +\f0\fs48 \cf0 y = f ( g ( x ) )} + + Wrap + NO + + + Class + LineGraphic + Head + + ID + 14 + + ID + 24 + Points + + {414.62497329711914, 232.00001436225315} + {469.12497329711914, 232.00001436225315} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 8 + + + + Class + LineGraphic + Head + + ID + 45 + + ID + 23 + Points + + {414.62497329711914, 191.9988814996633} + {469.12496948242188, 191.99649097950311} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 7 + + + + Class + LineGraphic + Head + + ID + 46 + + ID + 22 + Points + + {414.6249732971192, 151.99792867915548} + {469.12496948242455, 151.99350173883684} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 6 + + + + Class + LineGraphic + Head + + ID + 8 + + ID + 21 + Points + + {309.12497329711914, 232.00001623872726} + {363.62497329711914, 232.00001623872726} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 11 + + + + Class + LineGraphic + Head + + ID + 7 + + ID + 20 + Points + + {309.12497329711914, 191.9997698749178} + {363.62497329712187, 191.99927803895778} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 10 + + + + Class + LineGraphic + Head + + ID + 6 + + ID + 19 + Points + + {309.12497329711914, 152.00001430338926} + {363.62497329711914, 152.00001430338926} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 44 + + + + Class + LineGraphic + Head + + ID + 44 + + ID + 18 + Points + + {172.12494367889101, 151.43401409231762} + {212, 151} + {258.12502201416333, 151.64398943137894} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 3 + + + + Class + LineGraphic + Head + + ID + 10 + + ID + 17 + Points + + {172.12497329711914, 192.00001953595211} + {258.12497329711914, 192.00001953595211} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 4 + + + + Class + LineGraphic + Head + + ID + 11 + + ID + 16 + Points + + {172.12497329711914, 232.0000196276261} + {258.12497329711914, 232.0000196276261} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 5 + + + + Bounds + {{258.62497329711914, 172}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 10 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'} + + + + Bounds + {{364.12497329711914, 172}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 7 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 g'} + + + + Bounds + {{364.12497329711914, 132}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 18 + + ID + 6 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 g''} + + + + 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 + neatoSeparation + 0.0 + twopiSeparation + 0.0 + + LinksVisible + NO + MagnetsVisible + NO + MasterSheets + + ModificationDate + 2015-01-22 01:37:42 +0000 + Modifier + atton + NotesVisible + NO + Orientation + 2 + OriginVisible + NO + PageBreaks + YES + PrintInfo + + NSBottomMargin + + float + 41 + + NSHorizonalPagination + + coded + BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG + + NSLeftMargin + + float + 18 + + NSPaperSize + + size + {594.99997329711914, 842} + + NSPrintReverseOrientation + + int + 0 + + 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 + ExpandedCanvases + + + name + Canvas 1 + + + Frame + {{373, 4}, {892, 874}} + ListView + + OutlineWidth + 142 + RightSidebar + + ShowRuler + + Sidebar + + SidebarWidth + 120 + VisibleRegion + {{-99, 0}, {757, 735}} + Zoom + 1 + ZoomValues + + + Canvas 1 + 1 + 1 + + + + + diff -r 780eab85e724 -r 65391f6321a8 slide/pictures/delta_program.pdf Binary file slide/pictures/delta_program.pdf has changed diff -r 780eab85e724 -r 65391f6321a8 slide/pictures/delta_program.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/pictures/delta_program.svg Thu Jan 22 10:49:27 2015 +0900 @@ -0,0 +1,720 @@ + + diff -r 780eab85e724 -r 65391f6321a8 slide/pictures/original_program.graffle --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/pictures/original_program.graffle Thu Jan 22 10:49:27 2015 +0900 @@ -0,0 +1,1461 @@ + + + + + ActiveLayerIndex + 0 + ApplicationVersion + + com.omnigroup.OmniGraffle + 139.18.0.187838 + + AutoAdjust + + BackgroundGraphic + + Bounds + {{0, 0}, {558.99997329711914, 783}} + Class + SolidGraphic + ID + 2 + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + BaseZoom + 0 + CanvasOrigin + {0, 0} + ColumnAlign + 1 + ColumnSpacing + 36 + CreationDate + 2014-12-25 05:16:49 +0000 + Creator + atton + DisplayScale + 1 0/72 in = 1.0000 in + GraphDocumentVersion + 8 + GraphicsList + + + Bounds + {{398, 153.99085998535156}, {36, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 60 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Pad + 0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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 Modify} + VerticalPad + 0 + + Wrap + NO + + + Bounds + {{398, 220.00181579589844}, {36, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 59 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Pad + 0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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 Modify} + VerticalPad + 0 + + Wrap + NO + + + Bounds + {{292, 220.00181579589844}, {36, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 58 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Pad + 0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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 Modify} + VerticalPad + 0 + + Wrap + NO + + + Bounds + {{127, 153.99330139160156}, {36, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 57 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Pad + 0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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 Modify} + VerticalPad + 0 + + Wrap + NO + + + Bounds + {{127, 220.00181579589844}, {36, 14}} + Class + ShapedGraphic + FitText + YES + Flow + Resize + ID + 55 + Shape + Rectangle + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Pad + 0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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 Modify} + VerticalPad + 0 + + Wrap + NO + + + Class + LineGraphic + ID + 52 + Points + + {119.62496948242188, 173.498779296875} + {119.62496948242188, 148.48782348632812} + + Style + + stroke + + HeadArrow + FilledArrow + Legacy + + LineType + 1 + TailArrow + 0 + + + + + Class + LineGraphic + ID + 51 + Points + + {119.62496906367505, 239.50729370117188} + {119.62496906367505, 214.496337890625} + + Style + + stroke + + HeadArrow + FilledArrow + Legacy + + LineType + 1 + TailArrow + 0 + + + + + Class + LineGraphic + Head + + ID + 6 + + ID + 50 + Points + + {389.12495355817867, 173.496337890625} + {389.12495355817867, 148.49026489257812} + + Style + + stroke + + HeadArrow + FilledArrow + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 7 + + + + Class + LineGraphic + Head + + ID + 7 + + ID + 49 + Points + + {389.12498714332816, 239.50729370117188} + {389.12498714332816, 214.496337890625} + + Style + + stroke + + HeadArrow + FilledArrow + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 8 + + + + Class + LineGraphic + Head + + ID + 10 + + ID + 48 + Points + + {283.62498432246412, 239.50729370117188} + {283.62498432246412, 214.496337890625} + + Style + + stroke + + HeadArrow + FilledArrow + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 11 + + + + Bounds + {{469.62496948242188, 107.98052978515625}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 46 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{469.62496948242188, 173.99147033691406}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 45 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{258.62497329711914, 107.99028015136719}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 44 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'} + + + + Bounds + {{68.624973297119141, 240.00729370117188}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 5 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f(g(x))} + + + + Bounds + {{68.624973297119141, 173.996337890625}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 4 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'(g'(x))} + + + + Bounds + {{68.624973297119141, 107.99026489257812}, {103, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 18 + + ID + 3 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'(g''(x))} + + + + Bounds + {{18.000001907348633, 240.00730895996094}, {54.874984741210938, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 9 + + ID + 43 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs20 \cf0 version 1} + + + + Bounds + {{18.000001907348633, 173.99635314941406}, {54.874984741210938, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 9 + + ID + 42 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs20 \cf0 version 2} + + + + Bounds + {{18.000001907348633, 107.99028015136719}, {54.874984741210938, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 9 + + ID + 41 + Shape + Rectangle + Style + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs20 \cf0 version 3} + + + + Bounds + {{469.62497329711914, 240.00729370117188}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 14 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 x} + + + + Bounds + {{258.62497329711914, 240.00729370117188}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 11 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f} + + + + Bounds + {{364.12497329711914, 240.00729370117188}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 8 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 g} + + + + Class + LineGraphic + Head + + ID + 14 + + ID + 24 + Points + + {414.62497329711914, 260.00730806342506} + {469.12497329711914, 260.00730806342506} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 8 + + + + Class + LineGraphic + Head + + ID + 45 + + ID + 23 + Points + + {414.62497329711914, 193.99516137286082} + {469.12496948242188, 193.99264685467807} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 7 + + + + Class + LineGraphic + Head + + ID + 46 + + ID + 22 + Points + + {414.62497329711914, 127.98791185704984} + {469.12496948242188, 127.98288282068452} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 6 + + + + Class + LineGraphic + Head + + ID + 8 + + ID + 21 + Points + + {309.12497329711914, 260.00730993989913} + {363.62497329711914, 260.00730993989913} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 11 + + + + Class + LineGraphic + Head + + ID + 7 + + ID + 20 + Points + + {309.12497329711914, 193.99632583938947} + {363.62497329711914, 193.99632583938947} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 10 + + + + Class + LineGraphic + Head + + ID + 6 + + ID + 19 + Points + + {309.12497329711914, 127.99027919596739} + {363.62497329711914, 127.99027919596739} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 44 + + + + Class + LineGraphic + Head + + ID + 44 + + ID + 18 + Points + + {172.12494367889101, 127.42427898489576} + {212, 126.99026489257812} + {258.12502201416333, 127.63425432395708} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 3 + + + + Class + LineGraphic + Head + + ID + 10 + + ID + 17 + Points + + {172.12497329711914, 193.99633268964365} + {258.12497329711914, 193.99633268964365} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 4 + + + + Class + LineGraphic + Head + + ID + 11 + + ID + 16 + Points + + {172.12497329711914, 260.00731332879798} + {258.12497329711914, 260.00731332879798} + + Style + + stroke + + HeadArrow + 0 + Legacy + + LineType + 1 + TailArrow + 0 + + + Tail + + ID + 5 + + + + Bounds + {{258.62497329711914, 173.996337890625}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 10 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 f'} + + + + Bounds + {{364.12497329711914, 173.996337890625}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 12 + + ID + 7 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 g'} + + + + Bounds + {{364.12497329711914, 107.99026489257812}, {50, 40}} + Class + ShapedGraphic + FontInfo + + Font + Helvetica + Size + 18 + + ID + 6 + Shape + Rectangle + Style + + shadow + + Draws + NO + + + Text + + Text + {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 +\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\fs36 \cf0 g''} + + + + 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 + neatoSeparation + 0.0 + twopiSeparation + 0.0 + + LinksVisible + NO + MagnetsVisible + NO + MasterSheets + + ModificationDate + 2015-01-22 01:40:45 +0000 + Modifier + atton + NotesVisible + NO + Orientation + 2 + OriginVisible + NO + PageBreaks + YES + PrintInfo + + NSBottomMargin + + float + 41 + + NSHorizonalPagination + + coded + BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG + + NSLeftMargin + + float + 18 + + NSPaperSize + + size + {594.99997329711914, 842} + + NSPrintReverseOrientation + + int + 0 + + 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 + ExpandedCanvases + + + name + Canvas 1 + + + Frame + {{373, 4}, {892, 874}} + ListView + + OutlineWidth + 142 + RightSidebar + + ShowRuler + + Sidebar + + SidebarWidth + 120 + VisibleRegion + {{-99, 0}, {757, 735}} + Zoom + 1 + ZoomValues + + + Canvas 1 + 1 + 1 + + + + + diff -r 780eab85e724 -r 65391f6321a8 slide/pictures/original_program.pdf Binary file slide/pictures/original_program.pdf has changed diff -r 780eab85e724 -r 65391f6321a8 slide/pictures/original_program.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/pictures/original_program.svg Thu Jan 22 10:49:27 2015 +0900 @@ -0,0 +1,351 @@ + + diff -r 780eab85e724 -r 65391f6321a8 slide/slide.html --- a/slide/slide.html Wed Jan 21 20:26:55 2015 +0900 +++ b/slide/slide.html Thu Jan 22 10:49:27 2015 +0900 @@ -36,7 +36,7 @@ @@ -281,12 +281,101 @@

Delta の詳細

データ構造 Delta の定義

+ + +

Monad によってプログラムの変更を表す
データ構造としては長さ1以上のリスト +
- nil に相当するものが元のプログラムの値
- プログラムの変更は変更した後の値を List に追加する
- 全ての関数は Delta を返し、値は Delta によって定義する
+

+ +

data Delta a = Mono a | Delta a (Delta a)
+

+ + + +

+ +

Delta に対する Monad の instance 定義

TODO…
return はバージョンが無いプログラムをバージョン1とする
>>= は同じバージョンの値に対する計算を同時に行なう

+ +

instance Monad Delta where
+  return x = Mono x
+  (Mono x) >>= f     = f x
+  (Delta x d) >>= f  = Delta (headDelta (f x))
+                             (d >>= (tailDelta . f))
+

+ + + +

+ +

元のプログラムとプログラムの変更

+ + +

original_program

+ + + +

+ +

Delta によって記述されたプログラムの実行

+ + +

delta_program

+ + + +

+ +

Delta のメリット

+ + +

全てのバージョンを同時に実行できる
任意のバージョンの組み合せを同時に実行できる +
- デバッグに利用したり通常系/検証系として動かす
+
Monad なので Category との対応がある +
- 2 つのバージョンを選ぶことは Delta が持つプログラムの product
- 任意のバージョンを生成できる Colimit は Program の Repository
+