# HG changeset patch # User atton # Date 1487400210 -32400 # Node ID ba30f79485802edc8b7b6d1a63c9267837532da2 # Parent 80a196c82a4c1b2e78e837606858f35a3e5d7765 Writing poster... diff -r 80a196c82a4c -r ba30f7948580 poster/atton-poster.graffle/data.plist --- a/poster/atton-poster.graffle/data.plist Sat Feb 18 15:43:09 2017 +0900 +++ b/poster/atton-poster.graffle/data.plist Sat Feb 18 15:43:30 2017 +0900 @@ -7,7 +7,7 @@ ApplicationVersion com.omnigroup.OmniGraffle6 - 169.5.0.253125 + 169.23.0.276662 AutoAdjust @@ -55,6 +55,663 @@ Bounds + {{1035.1123684830297, 1232.6597550922763}, {964.78997414196579, 228}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + FontInfo + + Font + HiraKakuProN-W3 + Size + 14 + + ID + 3463 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Pad + 0.0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs60 \cf0 \'81\'45Curry-Howard Isomorphism \'82\'c9\'82\'e6\'82\'e8\'8f\'d8\'96\'be\'82\'c6\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'cc\'8c\'5e\'82\'cd\'91\'ce\'89\'9e\ +\'81\'45\'98\'5f\'97\'9d\'8e\'ae\'82\'cd\'8c\'5e\'82\'c9\'91\'8a\'93\'96\'82\'b5\'81\'41\'8f\'d8\'96\'be\'82\'cd\'82\'bb\'82\'cc\'8c\'5e\'82\'f0\'8e\'9d\'82\'c2\'92\'6c\'82\'cc\'93\'b1\'8f\'6f\ +\'81\'45Coq\'81\'41Agda \'82\'c6\'82\'a2\'82\'c1\'82\'bd\'8b\'ad\'97\'cd\'82\'c8\'8c\'5e\'82\'f0\'8e\'9d\'82\'c2\'8c\'be\'8c\'ea\'82\'c5\'82\'cd\'8f\'d8\'96\'be\'82\'aa\'8b\'4c\'8f\'71\'89\'c2\'94\'5c\ +\'81\'45\'8e\'4f\'92\'69\'98\'5f\'96\'40\'82\'cc\'8e\'a9\'91\'52\'89\'89\'e3\'88\'82\'c9\'82\'e6\'82\'e9\'8f\'d8\'96\'be\'96\'d8\'82\'cd\'88\'c8\'89\'ba\'82\'cc\'82\'e6\'82\'a4\'82\'c9\'82\'c8\'82\'e9\ + - \'8e\'4f\'92\'69\'98\'5f\'96\'40: ((A \'82\'c8\'82\'e7\'82\'ce B) \'82\'a9\'82\'c2 (B \'82\'c8\'82\'e7\'82\'ce C)) \'82\'c8\'82\'e7\'82\'ce (A \'82\'c8\'82\'e7\'82\'ce C)} + VerticalPad + 1 + + + + Bounds + {{1037.3662304660379, 504.56693371187043}, {977.63370931649047, 381.41779289872517}} + Class + ShapedGraphic + ID + 3461 + ImageID + 27 + ManualSizeImage + YES + Opacity + 0.99999997764825821 + Scale + 1.099999975413084 + StretchImage + + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + + Bounds + {{1043.7880980533002, 861.7322912831944}, {964.78997414196579, 183}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + FontInfo + + Font + HiraKakuProN-W3 + Size + 14 + + ID + 3452 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Pad + 0.0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs60 \cf0 \'81\'45\'94\'f1\'94\'6a\'89\'f3\'90\'d4\'8d\'95\'96\'d8\'82\'cc\'91\'7d\'93\'fc\'91\'80\'8d\'ec\'82\'c9\'8a\'d6\'82\'b7\'82\'e9\'8e\'64\'97\'6c\'82\'f0\'8c\'9f\'8f\'d8\ +\'81\'45\'97\'76\'91\'66\'90\'9413\'82\'dc\'82\'c5\'82\'cd\'96\'d8\'82\'aa\'83\'6f\'83\'89\'83\'93\'83\'58\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'f0\'95\'db\'8f\'d8\ +\'81\'45\'9c\'93\'88\'d3\'93\'49\'82\'c9\'83\'6f\'83\'4f\'82\'f0\'8e\'64\'8d\'9e\'82\'de\'82\'c6\'8e\'64\'97\'6c\'82\'c9\'94\'77\'82\'ad\'8f\'f3\'91\'d4\'82\'f0\'95\'d4\'8b\'70\ +\'81\'45CBMC \'82\'c5\'82\'cd\'83\'6f\'83\'4f\'82\'c9\'97\'52\'97\'88\'82\'b5\'82\'bd\'94\'bd\'97\'e1\'82\'f0\'8c\'9f\'8f\'6f\'82\'c5\'82\'ab\'82\'b8} + VerticalPad + 1 + + + + Bounds + {{1029.904006407543, 388.21400567621367}, {964.78997414196579, 138}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + FontInfo + + Font + HiraKakuProN-W3 + Size + 14 + + ID + 3451 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Pad + 0.0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs60 \cf0 \'81\'45CbC \'82\'c9\'91\'ce\'82\'b7\'82\'e9\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\ +\'81\'45CodeSegment \'82\'cc\'90\'da\'91\'b1\'95\'94\'95\'aa\'82\'f0\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c6\'82\'b5\'82\'c4\'92\'e8\'8b\'60\ +\'81\'45\'96\'d4\'97\'85\'93\'49\'82\'c9\'8e\'c0\'8d\'73\'82\'b7\'82\'e9\'82\'e6\'82\'a4\'90\'da\'91\'b1\'95\'94\'95\'aa\'82\'f0\'8f\'e3\'8f\'91\'82\'ab\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8f\'f3\'91\'d4\'82\'f0\'97\'f1\'8b\'93} + VerticalPad + 1 + + + + Class + Group + Graphics + + + Bounds + {{98.170459563465442, 2154.3426297596006}, {992.30892108419039, 70}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + FontInfo + + Color + + b + 1 + g + 1 + r + 1 + + Font + HiraKakuProN-W3 + Size + 48 + + ID + 3444 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Pad + 0.0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs92 \cf1 \'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8} + VerticalPad + 0.0 + + + + Class + Group + Graphics + + + Class + LineGraphic + ID + 3446 + Points + + {38.379243852565331, 2179.8992219533848} + {81.224533081054673, 2180.693371055685} + + Style + + stroke + + Color + + b + 1 + g + 1 + r + 1 + + HeadArrow + FilledBall + Legacy + + TailArrow + 0 + Width + 3 + + + Tail + + ID + 3447 + Position + 0.32640770077705383 + + + + Class + LineGraphic + ID + 3447 + Points + + {31.987345600170414, 2199.2210601031034} + {43.716468364104713, 2163.7655189267389} + {45.897301172806038, 2162.4944943161067} + {68.37826693260061, 2162.4944943161067} + + Style + + stroke + + Color + + b + 1 + g + 1 + r + 1 + + HeadArrow + FilledBall + Legacy + + TailArrow + 0 + Width + 3 + + + Tail + + ID + 3448 + Position + 0.25490197539329529 + + + + Class + LineGraphic + ID + 3448 + Points + + {18.063724517822322, 2198.8922477952628} + {58.151951517102873, 2199.8389485391931} + {72.660355648752159, 2198.8922477952628} + + Style + + stroke + + Color + + b + 1 + g + 1 + r + 1 + + HeadArrow + FilledBall + Legacy + + TailArrow + 0 + Width + 3 + + + + + Bounds + {{13.999999719352729, 2144.3359774315813}, {994.98516845703114, 68}} + Class + ShapedGraphic + ID + 3449 + Style + + fill + + Color + + b + 0.80000000000000004 + g + 0.59999999999999998 + r + 0.20000000000000001 + + FillType + 2 + GradientAngle + 90 + GradientColor + + b + 0.8 + g + 0.4 + r + 0 + + + shadow + + Draws + NO + + stroke + + Width + 0.5 + + + + + ID + 3445 + + + ID + 3443 + + + Bounds + {{27.929965899289073, 2242.2047447533118}, {964.78997414196579, 498}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + FontInfo + + Font + HiraKakuProN-W3 + Size + 14 + + ID + 3442 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Pad + 0.0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs60 \cf0 \'81\'45\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'aa\'8e\'64\'97\'6c\'82\'f0\'96\'9e\'82\'bd\'82\'b7\'82\'a9\'83\'60\'83\'46\'83\'62\'83\'4e\'82\'b7\'82\'e9\ +\'81\'45\'8e\'64\'97\'6c\'82\'c9\'94\'77\'82\'ad\'8f\'f3\'91\'d4\'82\'aa\'82\'a0\'82\'ea\'82\'ce\'94\'bd\'97\'e1\'82\'c6\'82\'b5\'82\'c4\'82\'bb\'82\'cc\'8e\'c0\'8d\'73\'8f\'f3\'91\'d4\'82\'f0\'92\'f1\'8f\'6f\ +\'81\'45\'8a\'f9\'91\'b6\'82\'cc\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'8a\'ed\ + - spin : promela \'82\'c6\'8c\'c4\'82\'ce\'82\'ea\'82\'e9\'8c\'be\'8c\'ea\'82\'c5\'8b\'4c\'8f\'71\'81\'42\uc0\u8232 \'8e\'64\'97\'6c\'8b\'4c\'8f\'71\'82\'cd\'8e\'c0\'8d\'73\'89\'c2\'94\'5c\'82\'c8\'8e\'ae\'81\'42\'97\'e1\'82\'a6\'82\'ce (x < 10) \'82\'c8\'82\'c7\ + \'95\'c0\'97\'f1\'93\'ae\'8d\'ec\'82\'f0\'8c\'9f\'8f\'d8\'89\'c2\'94\'5c\'82\'c5\'8e\'c0\'8d\'73\'89\'c2\'94\'5c\'82\'c8 C \'83\'5c\'81\'5b\'83\'58\'82\'f0\'90\'b6\'90\'ac\'89\'c2\'94\'5c\ + \'82\'b5\'82\'a9\'82\'b5 C \'82\'c6 promela \'82\'cd\'8b\'4c\'8f\'71\'82\'aa\'82\'a9\'82\'c8\'82\'e8\'88\'d9\'82\'c8\'82\'e9 \ + - CBMC : C/C++ \'82\'f0\'8b\'4c\'8d\'86\'8e\'c0\'8d\'73\'89\'c2\'94\'5c\'81\'42 \'82\'b1\'82\'bf\'82\'e7\'82\'e0\'8e\'64\'97\'6c\'8b\'4c\'8f\'71\'82\'cd\'8e\'ae\'81\'42\ + \'8b\'4c\'8d\'86\'8e\'c0\'8d\'73\'82\'c9\'82\'e6\'82\'e8\'8e\'c0\'8d\'73\'8c\'6f\'98\'48\'82\'f0\'97\'f1\'8b\'93\'82\'b7\'82\'e9\ + \'97\'4c\'8c\'c0\'82\'cc\'89\'f1\'90\'94\'82\'be\'82\'af if \'82\'e2 while \'82\'f0\'93\'57\'8a\'4a\'82\'b7\'82\'e9\ +\'81\'45\'8e\'64\'97\'6c\'8b\'4c\'8f\'71\'82\'c6\'8c\'9f\'8d\'b8\'91\'ce\'8f\'db\'82\'aa\'93\'af\'82\'b6\'8c\'be\'8c\'ea\'81\'41\'82\'a9\'82\'c2\'8d\'82\'91\'ac\'82\'c8\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'82\'f0\'96\'da\'8e\'77\'82\'b7} + VerticalPad + 1 + + + + Bounds + {{13.999999719352957, 2213.004547740562}, {994.98516845703114, 598.1066291954985}} + Class + ShapedGraphic + ID + 3441 + Style + + shadow + + Draws + NO + + stroke + + Width + 0.5 + + + + + Bounds + {{32.492583947868297, 1949.6693093548606}, {958, 148}} + Class + ShapedGraphic + ID + 3440 + ImageID + 24 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + + Bounds + {{485.74694453537722, 1095.9834683055628}, {513.66007214516185, 228}} + Class + ShapedGraphic + FitText + Vertical + Flow + Resize + FontInfo + + Font + HiraKakuProN-W3 + Size + 14 + + ID + 3439 + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + Text + + Align + 0 + Pad + 0.0 + Text + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs60 \cf0 \'81\'45CbC \'82\'cc\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'97\'e1\ +\'81\'45cs0 \'82\'c6 cs1 \'82\'aa CodeSegment\ +\'81\'45a \'82\'c6 b \'82\'cc\'90\'94\'92\'6c\'82\'f0\'89\'c1\'8e\'5a\'82\'b7\'82\'e9 cs0\ +\'81\'45\'88\'f8\'90\'94\'95\'94\'95\'aa\'82\'aa DataSegment\ +\'81\'45goto \'82\'aa CodeSegment \'82\'cc\'90\'da\'91\'b1} + VerticalPad + 1 + + + + Bounds + {{21.330703311956142, 1340.1498393502391}, {964.78997414196579, 165.82677315811497}} + Class + ShapedGraphic + ID + 3436 + ImageID + 23 + ManualSizeImage + YES + Scale + 1.4999999664723873 + StretchImage + + Style + + fill + + Draws + NO + + shadow + + Draws + NO + + stroke + + Draws + NO + + + + + Bounds {{1685.9999397825284, 190.71418127401233}, {329, 100}} Class ShapedGraphic @@ -82,264 +739,8 @@ - Class - Group - Graphics - - - Bounds - {{411.62721447434012, 2502.9263086397191}, {418.48534207369153, 83.0066523280193}} - Class - ShapedGraphic - FontInfo - - Size - 22 - - ID - 3432 - Style - - fill - - Color - - b - 0.54295000000000004 - g - 0.89861599999999997 - r - 1 - - - shadow - - Draws - NO - - stroke - - CornerRadius - 25 - Width - 2 - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;\f1\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs44 \cf0 /* -\f1 \'90\'b6\'90\'ac\'82\'b3\'82\'ea\'82\'e9\'83\'52\'81\'5b\'83\'68 */ -\f0 \ -goto meta(context, Sender);} - - - - Bounds - {{337.926426404067, 2527.151886001096}, {160.15748176809439, 58.781074966642336}} - Class - ShapedGraphic - HFlip - YES - ID - 3433 - Shape - RightTriangle - Style - - fill - - Color - - b - 0.54295000000000004 - g - 0.89861599999999997 - r - 1 - - - shadow - - Draws - NO - - stroke - - CornerRadius - 3 - Width - 2 - - - - - ID - 3431 - - - Class - Group - Graphics - - - Bounds - {{481.88976815178603, 2171.2113885156982}, {418.48534207369153, 83.0066523280193}} - Class - ShapedGraphic - FontInfo - - Size - 22 - - ID - 3429 - Style - - fill - - Color - - b - 0.54294972160728361 - g - 0.89861554671822008 - r - 1 - - - shadow - - Draws - NO - - stroke - - CornerRadius - 25 - Width - 2 - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;\f1\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs44 \cf0 /* -\f1 \'90\'b6\'90\'ac\'82\'b3\'82\'ea\'82\'e9\'83\'52\'81\'5b\'83\'68 */ -\f0 \ -goto meta_sender(context, queue, Put);} - - - - Bounds - {{408.18898008151291, 2195.4369658770752}, {160.15748176809439, 58.781074966642336}} - Class - ShapedGraphic - HFlip - YES - ID - 3430 - Shape - RightTriangle - Style - - fill - - Color - - b - 0.54294972160728361 - g - 0.89861554671822008 - r - 1 - - - shadow - - Draws - NO - - stroke - - CornerRadius - 3 - Width - 2 - - - - - ID - 3428 - - Bounds - {{1033.4244529597486, 923.91948372396314}, {429.48782970673949, 408}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3422 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45code segment \'82\'cd\'8d\'d7\'82\'a9\'82\'a2\'8c\'76\'8e\'5a\'82\'cc\'92\'50\'88\'ca\'82\'c5\'82\'a0\'82\'e9\'82\'cc\'82\'c5\'91\'e5\'97\'ca\'82\'cc\'83\'76\'83\'8d\'83\'67\'83\'5e\'83\'43\'83\'76\'90\'e9\'8c\'be\'82\'f0\'8f\'91\'82\'a9\'82\'c8\'82\'ad\'82\'c4\'82\'cd\'82\'c8\'82\'e7\'82\'c8\'82\'a2\ -\'81\'45\'8c\'79\'97\'ca\'8c\'70\'91\'b1\'82\'f0\'89\'f0\'90\'cd\'82\'b7\'82\'e9\'8e\'9e\'82\'c9\'83\'76\'83\'8d\'83\'67\'83\'5e\'83\'43\'83\'76\'90\'e9\'8c\'be\'82\'cc\'97\'4c\'96\'b3\'82\'f0\'92\'b2\'82\'d7, \'91\'b6\'8d\'dd\'82\'b5\'82\'c8\'82\'a9\'82\'c1\'82\'bd\'8f\'ea\'8d\'87\'82\'c9 code segment \'82\'cc\'92\'e8\'8b\'60\'82\'f0\'8c\'b3\'82\'c9\'8e\'a9\'93\'ae\'82\'c5\'90\'b6\'90\'ac\'82\'b7\'82\'e9} - VerticalPad - 1 - - - - Bounds - {{1485.1756601078071, 918.26211440359475}, {522.36205561622637, 399}} + {{1043.7880980533005, 1044.7322912831944}, {959.36545032042841, 75}} Class ShapedGraphic FitText @@ -387,291 +788,26 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;\red255\green3\blue0;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs48 \cf2 __code code2(int a, int b);\cf0 \ -\ -__code code1(int a, int b, int c)\{\ - :\ - goto code2(a+b,b+c);\ -\}\ -\ -__code code2(int a, int b)\{\ - :\ -\}\ -} +\f0\fs48 \cf0 if (context->data[AkashaInfo]->akashaInfo.maxHeight >\ + 2*context->data[AkashaInfo]->akashaInfo.minHeight)} VerticalPad 1 - Bounds - {{1103.2236119247009, 843.99558585590273}, {889.0382080078125, 73}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Color - - b - 1 - g - 1 - r - 1 - - Font - HiraKakuProN-W3 - Size - 48 - - ID - 3419 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs96 \cf1 \'83\'76\'83\'8d\'83\'67\'83\'5e\'83\'43\'83\'76\'90\'e9\'8c\'be\'82\'cc\'8e\'a9\'93\'ae\'89\'bb} - VerticalPad - 0.0 - - - - Bounds - {{1023.7055380366271, 898.36134557853347}, {994.98516845703114, 531.98118371834153}} - Class - ShapedGraphic - ID - 3418 - Style - - shadow - - Draws - NO - - stroke - - Width - 0.5 - - - - Class Group Graphics - Class - LineGraphic - ID - 3414 - Points - - {1048.0847821698403, 865.92462038136148} - {1090.9300713983298, 866.7187694836615} - - Style - - stroke - - Color - - b - 1 - g - 1 - r - 1 - - HeadArrow - FilledBall - Legacy - - TailArrow - 0 - Width - 3 - - - Tail - - ID - 3415 - Position - 0.32640770077705383 - - - - Class - LineGraphic - ID - 3415 - Points - - {1041.6928839174454, 885.24645853107972} - {1053.4220066813798, 849.79091735471582} - {1055.6028394900809, 848.51989274408322} - {1078.0838052498755, 848.51989274408322} - - Style - - stroke - - Color - - b - 1 - g - 1 - r - 1 - - HeadArrow - FilledBall - Legacy - - TailArrow - 0 - Width - 3 - - - Tail - - ID - 3416 - Position - 0.25490197539329529 - - - - Class - LineGraphic - ID - 3416 - Points - - {1027.7692628350976, 884.91764622323933} - {1067.8574898343779, 885.86434696716958} - {1082.365893966027, 884.91764622323933} - - Style - - stroke - - Color - - b - 1 - g - 1 - r - 1 - - HeadArrow - FilledBall - Legacy - - TailArrow - 0 - Width - 3 - - - - Bounds - {{1023.7055380366276, 830.36137585955782}, {994.98516845703114, 68}} - Class - ShapedGraphic - ID - 3417 - Style - - fill - - Color - - b - 0.80000000000000004 - g - 0.59999999999999998 - r - 0.20000000000000001 - - FillType - 2 - GradientAngle - 90 - GradientColor - - b - 0.8 - g - 0.4 - r - 0 - - - shadow - - Draws - NO - - stroke - - Width - 0.5 - - - - - ID - 3413 - - - Class - Group - Graphics - - - Bounds - {{98.170459563465556, 1641.3452498065669}, {992.30892108419039, 70}} + {{98.170459563465101, 1520.2357341398917}, {992.30892108419039, 70}} Class ShapedGraphic FitText @@ -721,12 +857,13 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs92 \cf1 CbC \'82\'c5\'82\'cc meta computation \'82\'cc\'83\'54\'83\'7c\'81\'5b\'83\'67} +\f0\fs92 \cf1 CbC \'82\'c6\'83\'81\'83\'5e\'8c\'76\'8e\'5a} VerticalPad 0.0 @@ -743,8 +880,8 @@ 3405 Points - {38.379243852565644, 1666.9018420003506} - {81.224533081055029, 1667.6959911026511} + {38.379243852565132, 1545.7923263336754} + {81.224533081054517, 1546.5864754359759} Style @@ -784,10 +921,10 @@ 3406 Points - {31.987345600170755, 1686.2236801500692} - {43.716468364105047, 1650.7681389737049} - {45.897301172806372, 1649.4971143630728} - {68.378266932600951, 1649.4971143630728} + {31.987345600170244, 1565.114164483394} + {43.716468364104536, 1529.6586233070298} + {45.897301172805861, 1528.3875986963976} + {68.37826693260044, 1528.3875986963976} Style @@ -827,9 +964,9 @@ 3407 Points - {18.063724517822664, 1685.8948678422289} - {58.151951517103214, 1686.8415685861592} - {72.6603556487525, 1685.8948678422289} + {18.063724517822152, 1564.7853521755537} + {58.151951517102702, 1565.732052919484} + {72.660355648751988, 1564.7853521755537} Style @@ -857,7 +994,7 @@ Bounds - {{13.99999971935307, 1631.3385974785474}, {994.98516845703114, 68}} + {{13.999999719352502, 1510.2290818118722}, {994.98516845703114, 68}} Class ShapedGraphic ID @@ -911,124 +1048,7 @@ Bounds - {{24.930365355075082, 2047.5234808995929}, {973.12443718558643, 587}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3382 - Style - - fill - - Color - - b - 0.66274500000000003 - g - 1 - r - 1 - - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - RTFD - - BAtzdHJlYW10eXBlZIHoA4QBQISEhBJOU0F0dHJpYnV0 - ZWRTdHJpbmcAhIQITlNPYmplY3QAhZKEhIQITlNTdHJp - bmcBlIQBK4EOAl9fY29kZSBtZXRhX3NlbmRlcihzdHJ1 - Y3QgQ29udGV4dCogY29udGV4dCwgc3RydWN0IFF1ZXVl - KiBxdWV1ZSwgZW51bSBDb2RlIG5leHQpIHsKICAgIHB0 - aHJlYWRfbXV0ZXhfbG9jaygmcXVldWUtPm11dGV4KTsK - ICAgIGdvdG8gKGNvbnRleHQtPmNvZGVbbmV4dF0pKGNv - bnRleHQpOwp9CgpfX2NvZGUgc2VuZGVyKHN0cnVjdCBR - dWV1ZSogcXVldWUpIHsKICAgIGdvdG8gcHV0KHF1ZXVl - KTsKfQoKLyogZ2VuZXJhdGUgYXV0b21hdGljYWxseQpf - X2NvZGUgc2VuZGVyX3N0dWIoc3RydWN0IENvbnRleHQq - IGNvbnRleHQpIHsKICBnb3RvIHNlbmRlcihjb250ZXh0 - LCAmY29udGV4dC0+ZGF0YVtRdWV1ZV0tPnF1ZXVlKTsK - fQoqLwoKX19jb2RlIGNvZGU0KGxvbmcqIGNvdW50LCBz - dHJ1Y3QgQWxsb2NhdGUqIGFsbG9jYXRlLCBzdHJ1Y3Qg - RWxlbWVudCogZWxlbWVudCkgewogICAgYWxsb2NhdGUt - PmFmdGVyX3B1dCA9IENvZGUzOwogICAgZWxlbWVudC0+ - dmFsdWUgPSAoKmNvdW50KSsrOwogICAgZ290byBzZW5k - ZXIoKTsKfQqGhAJpSQGB1ACShISEDE5TRGljdGlvbmFy - eQCUhAFpBZKElpYGTlNGb250hpKEhIQGTlNGb250HpSZ - GIQFWzI0Y10GAAAAEAAAAP/+QQByAGkAYQBsAE0AVACE - AWYYhAFjAJ0BnQCdAIaShJaWBk5TS2VyboaShISECE5T - TnVtYmVyAISEB05TVmFsdWUAlIQBKoSEAWShAIaShJaW - B05TQ29sb3KGkoSEhAdOU0NvbG9yAJSdAoQEZmZmZgAA - AAGGkoSWlhBOU1BhcmFncmFwaFN0eWxlhpKEhIQXTlNN - dXRhYmxlUGFyYWdyYXBoU3R5bGUAhIQQTlNQYXJhZ3Jh - cGhTdHlsZQCUhARDQ0BTAACEhIQHTlNBcnJheQCUmQCG - gSAChARbMmZdFSSGkoSWlg1OU1N0cm9rZUNvbG9yhpKE - o50DhAJmZgABhoaXAgqShJiZBZKZkpqSnJKdkqGShKOd - AqMBAAABhpKkkqWSqpKEo50Bo4P8+3s/AIPh4OA8AYaG - lwGBJAGXAgiXAQSG - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 ArialMT;} -{\colortbl;\red255\green255\blue255;\red0\green0\blue0;\red251\green0\blue7;\red251\green0\blue7; -} -\deftab720 -\pard\pardeftab720\sl420\partightenfactor0 - -\f0\fs48 \cf2 \expnd0\expndtw0\kerning0 -__code meta_sender(struct Context* context, struct Queue* queue, enum Code next) \{\ - pthread_mutex_lock(&queue->mutex);\ - goto (context->code[next])(context);\ -\}\ -\ -__code sender(struct Queue* queue) \{\ - goto \cf3 put(queue)\cf2 ;\ -\}\ -\ -/* generate automatically\ -__code sender_stub(struct Context* context) \{\ - goto sender(context, &context->data[Queue]->queue);\ -\}\ -*/\ -\ -__code code4(long* count, struct Allocate* allocate, struct Element* element) \{\ - allocate->after_put = Code3;\ - element->value = (*count)++;\ - goto \cf3 sender()\cf2 ;\ -\}\ -} - VerticalPad - 1 - - - - Bounds - {{1105.9610404069074, 309.80734216059085}, {889.0382080078125, 73}} + {{1105.9610404069074, 315.80734216059085}, {889.0382080078125, 73}} Class ShapedGraphic FitText @@ -1078,102 +1098,20 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs96 \cf1 Continuation based C (CbC)} +\f0\fs96 \cf1 \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'83\'89\'83\'43\'83\'75\'83\'89\'83\'8a akasha} VerticalPad 0.0 Bounds - {{167.24409600561998, 2655.4803423386861}, {662.86846054241164, 148.08972639409365}} - Class - ShapedGraphic - ID - 3371 - ImageID - 19 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - - - Bounds - {{30.573649053109875, 1082.735709197766}, {429.48782970673949, 453}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3368 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45\'8d\'b6\'82\'cc\'83\'52\'81\'5b\'83\'68\'82\'cc\'8f\'ea\'8d\'87, __environment \'82\'cd funcB \'82\'cc\'8a\'c2\'8b\'ab\'82\'f0\'95\'db\'91\'b6\'82\'b7\'82\'e9\ -\'81\'45code segment cs \'82\'cd __return \'82\'c9\'82\'e6\'82\'e8funcB\'82\'c9\'96\'df\'82\'c1\'82\'bd\'8c\'e3, funcA \'82\'c9 1 \'82\'f0\'95\'d4\'82\'b7\ -\'81\'45 C \'95\'57\'8f\'80\'82\'cc setjmp, longjmp \'82\'f0\'8e\'67\'97\'70\'82\'b5\'82\'c4\'82\'a2\'82\'bd\'82\'e0\'82\'cc\'82\'f0 LLVM builtin \'82\'cc setjmp longjmp \'82\'f0\'8e\'67\'97\'70\'82\'b7\'82\'e9\'82\'e6\'82\'a4\'82\'c9\'95\'cf\'8d\'58} - VerticalPad - 1 - - - - Bounds - {{21.997951639335838, 878.55206223509117}, {971.09956664308152, 183}} + {{33.455721994961721, 851.81709726088661}, {971.09956664308152, 228}} Class ShapedGraphic FitText @@ -1214,48 +1152,24 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs60 \cf0 \'81\'45code segment \'82\'cd\'92\'ca\'8f\'ed\'83\'58\'83\'5e\'83\'62\'83\'4e\'91\'80\'8d\'ec\'82\'c9\'82\'e6\'82\'e9\'8a\'c2\'8b\'ab (\'8a\'c2\'8b\'ab = \'83\'58\'83\'5e\'83\'62\'83\'4e\'82\'cc\'8f\'f3\'91\'d4) \'82\'cc\'95\'db\'91\'b6\'82\'f0\'8d\'73\'82\'ed\'82\'c8\'82\'a2\'82\'cc\'82\'c5\'91\'4f\'82\'cc\'8a\'d6\'90\'94\'82\'c9\'96\'df\'82\'e9\'82\'b1\'82\'c6\'82\'aa\'8f\'6f\'97\'88\'82\'c8\'82\'a2\ -\'81\'45\'8a\'c2\'8b\'ab\'82\'f0__environment, \'8a\'d6\'90\'94\'82\'c9\'96\'df\'82\'e9\'82\'bd\'82\'df\'82\'cc\'93\'c1\'8e\'ea\'82\'c8 code segment \'82\'f0__return \'82\'c6\'82\'b5\'82\'c4\'88\'f8\'90\'94\'82\'c9\'8e\'9d\'82\'c2} +\f0\fs60 \cf0 \'81\'45\'83\'41\'83\'5a\'83\'93\'83\'75\'83\'89\'82\'c6C\'8c\'be\'8c\'ea\'82\'cc\'92\'86\'8a\'d4\'82\'cc\'82\'e6\'82\'a4\'82\'c8\'8c\'be\'8c\'ea\'82\'c5\'81\'41\'8d\'5c\'95\'b6\'82\'cd\'82\'d9\'82\'c6\'82\'f1\'82\'c7 C \'8c\'be\'8c\'ea\ +\'81\'45OS \'82\'e2\'91\'67\'82\'dd\'8d\'9e\'82\'dd\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'c8\'82\'c7\'82\'aa\'91\'ce\'8f\'db\ +\'81\'45CodeSegment \'82\'c6 DataSegment \'82\'c6\'82\'a2\'82\'a4\'92\'50\'88\'ca\'82\'c5\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'7e\'83\'93\'83\'4f\ +\'81\'45CodeSegment \'82\'f0\'90\'da\'91\'b1\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'f0\'8d\'5c\'90\'ac\'82\'b7\'82\'e9\ +\'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'cc\'90\'d8\'82\'e8\'91\'d6\'82\'a6\'82\'c9\'82\'e6\'82\'e8\'8c\'9f\'8f\'d8\'82\'e2\'95\'c0\'97\'f1\'8e\'c0\'8d\'73\'81\'41\'97\'e1\'8a\'4f\'8f\'88\'97\'9d\'82\'f0\'8d\'73\'82\'c8\'82\'a4} VerticalPad 1 Bounds - {{1464.0945014729273, 651.06156224565757}, {528.66142211945976, 153.74170574949483}} - Class - ShapedGraphic - ID - 3366 - ImageID - 17 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - - - Bounds - {{1464.0945014729273, 386.30654796158876}, {530.90474694179261, 255}} + {{49.606299662683888, 1090.633033696635}, {429.48782970673949, 255}} Class ShapedGraphic FitText @@ -1303,1021 +1217,17 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs56 \cf0 __code cs0(int a, int b)\{\ - goto cs1(a+b);\ -\}\ -__code cs1(int c)\{\ - goto cs2(c);\ -\}} - VerticalPad - 1 - - - - Bounds - {{1025.0057619453983, 2127.4015941053858}, {475.17251586914062, 183}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3357 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;\red255\green12\blue11;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45CbC \'82\'cd C \'82\'c9\'94\'e4\'82\'d7\'82\'c4\cf2 \'96\'f11.6\'94\'7b\cf0 \'91\'ac\'82\'a2\ -\'81\'45\'8c\'79\'97\'ca\'8c\'70\'91\'b1\'82\'cc\'8f\'88\'97\'9d\'82\'aa\'8a\'d6\'90\'94\'8c\'c4\'82\'d1\'8f\'6f\'82\'b5\'82\'e6\'82\'e8\'82\'e0\'8c\'79\'82\'a2\'82\'c6\'82\'a2\'82\'a4\'82\'b1\'82\'c6\'82\'aa\'82\'ed\'82\'a9\'82\'e9\ -\'81\'45\'83\'58\'83\'5e\'83\'62\'83\'4e\'91\'80\'8d\'ec\'82\'cc\'8f\'88\'97\'9d\'82\'cc\'8d\'b7} - VerticalPad - 1 - - - - Class - Group - Graphics - - - Bounds - {{1787.9684150209466, 2241.0382707850849}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3336 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 4.85} - - - - Bounds - {{1554.1101451825796, 2241.0382707850849}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3337 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs52 \cf0 \'8a\'d6\'90\'94\'8c\'c4\'82\'d1\'8f\'6f\'82\'b5} - - - - Bounds - {{1787.9684150209466, 2187.0382707850849}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3338 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 3.10} - - - - Bounds - {{1554.1101451825796, 2187.0382707850849}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3339 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 \'8c\'79\'97\'ca\'8c\'70\'91\'b1} - - - - Bounds - {{1787.9684150209466, 2133.1800025798848}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3340 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 \'8e\'c0\'8d\'73\'91\'ac\'93\'78(\'95\'62)} - - - - Bounds - {{1554.1101451825796, 2133.1800025798848}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3341 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 \'91\'4a\'88\'da\'95\'fb\'96\'40} - - - - ID - 3335 - - - Class - LineGraphic - ID - 3328 - Points - - {1024.6989788983562, 2052.0945031060946} - {2017.0078999825466, 2048.0128705324742} - - Style - - stroke - - Color - - b - 0.70980399999999999 - g - 0.55294100000000002 - r - 0.50196099999999999 - - HeadArrow - 0 - Legacy - - TailArrow - 0 - Width - 3 - - - - - Bounds - {{1025.0057619453983, 2074.215240268838}, {978.14778642833062, 48}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3327 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs60 \cf0 \'81\'45\'8a\'d6\'90\'94\'8c\'c4\'82\'d1\'8f\'6f\'82\'b5\'82\'c6\'8c\'79\'97\'ca\'8c\'70\'91\'b1\'82\'cc\'82\'f0\'8c\'4a\'82\'e8\'95\'d4\'82\'b7\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'c9\'82\'e6\'82\'e9\'91\'ac\'93\'78\'94\'e4\'8a\'72} - VerticalPad - 1 - - - - Class - Group - Graphics - - - Bounds - {{1787.9684150209464, 1972.0338651645313}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3343 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 12.96} - - - - Bounds - {{1554.1101451825793, 1972.0338651645313}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3344 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 GCC -O2} - - - - Bounds - {{1787.9684150209464, 1918.1755969593316}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3345 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 14.73} - - - - Bounds - {{1554.1101451825793, 1918.1755969593316}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3346 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 GCC} - - - - Bounds - {{1787.9684150209464, 1866.2989654644086}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3347 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 1.29} - - - - Bounds - {{1554.1101451825793, 1866.2989654644086}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3348 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 Micro-C} - - - - Bounds - {{1787.9684150209464, 1812.2989654644086}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3349 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 23.30} - - - - Bounds - {{1554.1101451825793, 1812.2989654644086}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3350 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs52 \cf0 LLVM Clang (old)} - - - - Bounds - {{1787.9684150209464, 1758.2989654644086}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3351 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 1.30} - - - - Bounds - {{1554.1101451825793, 1758.2989654644086}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3352 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs52 \cf0 LLVM Clang -O2} - - - - Bounds - {{1787.9684150209464, 1704.2989654644086}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3353 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 3.35} - - - - Bounds - {{1554.1101451825793, 1704.2989654644086}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3354 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 LLVM Clang} - - - - Bounds - {{1787.9684150209464, 1650.4406972592089}, {184.62707223532448, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3355 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 \'8e\'c0\'8d\'73\'91\'ac\'93\'78(\'95\'62)} - - - - Bounds - {{1554.1101451825793, 1650.4406972592089}, {233.85826983836705, 53.858268205199579}} - Class - ShapedGraphic - FontInfo - - Font - HiraginoSans-W3 - Size - 30 - - ID - 3356 - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs60 \cf0 \'83\'52\'83\'93\'83\'70\'83\'43\'83\'89\'96\'bc} - - - - ID - 3342 - - - Bounds - {{1033.4244529597486, 1644.0945031060949}, {475.17251586914062, 408}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3290 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;\red255\green0\blue0;\red255\green11\blue4;\red255\green9\blue9; -} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45LLVM Clang (old) \'82\'cd\'89\'fc\'97\'c7\'91\'4f\'82\'cc\'83\'52\'83\'93\'83\'70\'83\'43\'83\'89\ -\'81\'45\'89\'fc\'97\'c7\'91\'4f\'82\'c6\'94\'e4\'8a\'72\'82\'b5\'82\'c4\cf2 \'96\'f17.0\'94\'7b\cf0 \'82\'cc\'91\'ac\'93\'78\'8c\'fc\'8f\'e3\ -\'81\'45GCC\'82\'cc nested function \'82\'c5\'82\'cc\'8e\'c0\'91\'95\'82\'c6\'94\'e4\'8a\'72\'82\'b5\'82\'c4\'82\'e0\cf3 \'96\'f14.4\'94\'7b\cf0 \'91\'ac\'82\'a2\ -\'81\'45\'8d\'c5\'93\'4b\'89\'bb\'82\'f0\'97\'70\'82\'a2\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8d\'c5\'91\'ac\'82\'c5\'82\'a0\'82\'e9Micro-C \'82\'c6\cf4 \'93\'af\'93\'99\'82\'cc\'91\'ac\'93\'78\cf0 \'82\'c9\ -} - VerticalPad - 1 - - - - Bounds - {{1028.3427335490617, 382.80734216059085}, {399.23294067382812, 363}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3268 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45code segment \'82\'f0\'8f\'88\'97\'9d\'82\'cc\'92\'50\'88\'ca\'82\'c6\'82\'b7\'82\'e9\ -\'81\'45\'8e\'9f\'82\'cc code segment \'82\'d6\'82\'cc\'91\'4a\'88\'da\'82\'f0\'8c\'79\'97\'ca\'8c\'70\'91\'b1\'82\'c6\'8c\'c4\'82\'d4\ -\'81\'45\'8c\'79\'97\'ca\'8c\'70\'91\'b1\'82\'cd\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'7c\'83\'43\'83\'93\'83\'5e, \'83\'58\'83\'5e\'83\'62\'83\'4e\'83\'7c\'83\'43\'83\'93\'83\'5e\'82\'cc\'91\'80\'8d\'ec\'82\'c9\'82\'e6\'82\'e9\'83\'58\'83\'5e\'83\'62\'83\'4e\'82\'cc\'8f\'f3\'91\'d4\'95\'db\'91\'b6\'82\'f0\'8d\'73\'82\'ed\'82\'c8\'82\'a2} - VerticalPad - 1 - - - - Bounds - {{468.09177951237046, 1082.735709197766}, {522.36205561622637, 471}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3249 - Style - - fill - - Color - - b - 0.66274500000000003 - g - 1 - r - 1 - - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;\red255\green20\blue9;\red255\green20\blue5;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs48 \cf0 __code cs(__code(*ret)(int, void*),void *env)\{\ - goto ret(1,env);\ +\f0\fs56 \cf0 __code cs0(int a, int b) \{\ + goto cs1(a+b);\ \}\ -\ -int funcB()\{\ - goto cs(\cf2 __return\cf0 , \cf3 __environment\cf0 );\ - return -1; // never reached\ -\}\ -\ -int funcA()\{\ - printf(\'81\'67return = %d\\n\'81\'68, funcB());\ - return 0;\ +__code cs1(int c) \{\ + goto cs2(c);\ \}} VerticalPad 1 @@ -2437,9 +1347,10 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 \f0\fs96 \cf1 \'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8} @@ -2648,61 +1559,7 @@ Bounds - {{1023.2251002643607, 1537.6396756588508}, {978.14778642833062, 93}} - Class - ShapedGraphic - FitText - Vertical - Flow - Resize - FontInfo - - Font - HiraKakuProN-W3 - Size - 14 - - ID - 3082 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Align - 0 - Pad - 0.0 - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45\'8a\'c2\'8b\'ab\'95\'74\'82\'ab\'8c\'70\'91\'b1\'82\'cc\'8c\'76\'91\'aa\'82\'c9\'82\'cd\'91\'e5\'97\'ca\'82\'c9\'8c\'4a\'82\'e8\'95\'d4\'82\'b7\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'f0\'97\'70\'82\'a2\'82\'bd\ -\'81\'45x86-64 Mac OS X \'8f\'e3\'82\'c5\'82\'cc\'8c\'76\'91\'aa} - VerticalPad - 1 - - - - Bounds - {{1106.7165673154179, 1458.1469891807112}, {889.0382080078125, 73}} + {{1112.5429334301139, 1158.9020555785814}, {889.0382080078125, 73}} Class ShapedGraphic FitText @@ -2752,12 +1609,13 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs96 \cf1 \'90\'ab\'94\'5c\'95\'5d\'89\'bf} +\f0\fs96 \cf1 Agda \'82\'c6\'92\'e8\'97\'9d\'8f\'d8\'96\'be} VerticalPad 0.0 @@ -2774,8 +1632,8 @@ 3076 Points - {1048.0847821698401, 1484.0671946721727} - {1090.9300713983296, 1484.8613437744732} + {1053.9111482845362, 1184.8222610700429} + {1096.7564375130257, 1185.6164101723434} Style @@ -2815,10 +1673,10 @@ 3077 Points - {1041.6928839174452, 1503.3890328218913} - {1053.4220066813796, 1467.9334916455271} - {1055.6028394900809, 1466.6624670348949} - {1078.0838052498755, 1466.6624670348949} + {1047.5192500321414, 1204.1440992197615} + {1059.2483727960757, 1168.6885580433973} + {1061.4292056047771, 1167.4175334327651} + {1083.9101713645719, 1167.4175334327651} Style @@ -2858,9 +1716,9 @@ 3078 Points - {1027.7692628350972, 1503.060220514051} - {1067.8574898343777, 1504.0069212579813} - {1082.365893966027, 1503.060220514051} + {1033.5956289497933, 1203.8152869119212} + {1073.6838559490739, 1204.7619876558515} + {1088.1922600807231, 1203.8152869119212} Style @@ -2888,7 +1746,7 @@ Bounds - {{1023.7055380366276, 1448.5039501503695}, {994.98516845703114, 68}} + {{1029.5319041513237, 1149.2590165482397}, {994.98516845703114, 68}} Class ShapedGraphic ID @@ -2938,7 +1796,7 @@ Bounds - {{95.693980949471921, 784.36841527241745}, {889.0382080078125, 73}} + {{95.693980949471921, 780.36841527241745}, {889.0382080078125, 73}} Class ShapedGraphic FitText @@ -2988,21 +1846,27 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs96 \cf1 \'8a\'c2\'8b\'ab\'95\'74\'82\'ab\'8c\'70\'91\'b1} +\f0\fs96 \cf1 Continuation based C (CbC)} VerticalPad 0.0 Bounds - {{16.175907061398277, 838.73417499504876}, {994.98516845703114, 779.5919705670517}} + {{16.175907061398277, 838.73417499504967}, {994.98516845703114, 662.21072051301428}} Class ShapedGraphic + FontInfo + + Size + 30 + ID 1077 Style @@ -3313,7 +2177,7 @@ Bounds - {{26.131636798405992, 1708.5666194604992}, {964.78997414196579, 318}} + {{27.929965899289073, 1621.7500467039733}, {964.78997414196579, 318}} Class ShapedGraphic FitText @@ -3354,16 +2218,19 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs60 \cf0 \'81\'45Gears OS \'82\'f0 CbC \'82\'c5\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\'8d\'db\'82\'c9\'82\'cd meta computation \'82\'cc\'83\'54\'83\'7c\'81\'5b\'83\'67\'82\'aa\'95\'4b\'97\'76\ -\'81\'45code segment \'82\'a9\'82\'e7 meta code segment \'82\'d6\'82\'cc\'8c\'79\'97\'ca\'8c\'70\'91\'b1\'82\'f0\'8e\'a9\'93\'ae\'89\'bb\ -\'81\'45code segment \'82\'aa\'95\'4b\'97\'76\'82\'c6\'82\'b7\'82\'e9 data segment \'82\'cc\'8e\'e6\'93\'be\'82\'f0\'8d\'73\'82\'a4 stub code segment \'82\'cc\'8e\'a9\'93\'ae\'90\'b6\'90\'ac\ -\'81\'45meta data segment \'82\'c5\'82\'a0\'82\'e9 context \'82\'cc\'8e\'a9\'93\'ae\'95\'74\'97\'5e\ -\'81\'45python \'83\'58\'83\'4e\'83\'8a\'83\'76\'83\'67\'82\'f0\'97\'98\'97\'70\'82\'b5\'82\'c4\'83\'52\'81\'5b\'83\'68\'82\'f0\'90\'b6\'90\'ac} +\f0\fs60 \cf0 \'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c6\'82\'cd\'82\'c6\'82\'a0\'82\'e9\'8c\'76\'8e\'5a\'82\'f0\'8e\'78\'82\'a6\'82\'e9\'8c\'76\'8e\'5a\ +\'81\'45\'83\'6c\'83\'62\'83\'67\'83\'8f\'81\'5b\'83\'4e\'8f\'88\'97\'9d\'81\'41\'97\'e1\'8a\'4f\'8f\'88\'97\'9d\'81\'41\'95\'c0\'97\'f1\'8e\'c0\'8d\'73\'82\'c8\'82\'c7\ +\'81\'45CbC \'82\'cd\'92\'ca\'8f\'ed\'83\'8c\'83\'78\'83\'8b\'82\'cc\'8c\'76\'8e\'5a\'82\'c6\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'95\'aa\'97\'a3\'82\'b5\'82\'c4\'8d\'6c\'82\'a6\'82\'e9\ + - \'92\'ca\'8f\'ed\'83\'8c\'83\'78\'83\'8b\'82\'c5\'82\'cd\'83\'7c\'83\'43\'83\'93\'83\'5e\'82\'cd\'8f\'6f\'82\'c4\'82\'b1\'82\'c8\'82\'a2\'81\'41\'82\'c8\'82\'c7\ +\'81\'45 CodeSegment \'82\'cc\'90\'da\'91\'b1\'95\'94\'95\'aa\'82\'c9\'8f\'88\'97\'9d\'82\'f0\'92\'c7\'89\'c1\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8a\'67\'92\'a3\'82\'b7\'82\'e9\ + - \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'82\'b7\'82\'e9 CodeSegment \'82\'cd Meta CodeSegment\ + - \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c9\'95\'4b\'97\'76\'82\'c8 DataSegment \'82\'cd Meta DataSegment} VerticalPad 1 @@ -3416,7 +2283,7 @@ Bounds - {{1020.9975967529883, 374.11488953702491}, {994.98516845703114, 440.84574777849605}} + {{1020.9975967529883, 374.11488953702474}, {994.98516845703114, 759.74338846717842}} Class ShapedGraphic FontInfo @@ -3428,6 +2295,77 @@ ID 1033 + Link + + fileReference + + alias + + AAAAAAH6AAIAAAxNYWNpbnRvc2ggSEQAAAAA + AAAAAAAAAAAAAADUGqDDSCsAAABm8UkRYWth + c2hhUHV0LmdyYWZmbGUAAAAAAAAAAAAAAAAA + AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA + AAAAAAAAAGcXJNTHnRUAAAAAAAAAAP////8A + AAkgAAAAAAAAAAAAAAAAAAAABmltYWdlcwAQ + AAgAANQaIjMAAAARAAgAANTHHoUAAAABACQA + ZvFJAGbUBABRqaYAUamlAB1FUwAbuYwAG7Xa + AAbNyQAGTJ0AAgBsTWFjaW50b3NoIEhEOlVz + ZXJzOgBhdHRvbjoAcmVzZWFyY2g6AGhnOgBQ + YXBlcnM6ADIwMTc6AGF0dG9uLW1hc3RlcjoA + cHJlc2VudGF0aW9uOgBpbWFnZXM6AGFrYXNo + YVB1dC5ncmFmZmxlAA4AJAARAGEAawBhAHMA + aABhAFAAdQB0AC4AZwByAGEAZgBmAGwAZQAP + ABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgA + RAASAFZVc2Vycy9hdHRvbi9yZXNlYXJjaC9o + Zy9QYXBlcnMvMjAxNy9hdHRvbi1tYXN0ZXIv + cHJlc2VudGF0aW9uL2ltYWdlcy9ha2FzaGFQ + dXQuZ3JhZmZsZQATAAEvAP//AAA= + + bookmark + + Ym9va+wDAAAAAAQQMAAAAAPFOmVt2JcX6S3v + NCx5PiRxV1IG9l4sWCW7xZdgLFp03AIAAAQA + AAADAwAAAAgAKAUAAAABAQAAVXNlcnMAAAAF + AAAAAQEAAGF0dG9uAAAACAAAAAEBAAByZXNl + YXJjaAIAAAABAQAAaGcAAAYAAAABAQAAUGFw + ZXJzAAAEAAAAAQEAADIwMTcMAAAAAQEAAGF0 + dG9uLW1hc3RlcgwAAAABAQAAcHJlc2VudGF0 + aW9uBgAAAAEBAABpbWFnZXMAABEAAAABAQAA + YWthc2hhUHV0LmdyYWZmbGUAAAAoAAAAAQYA + ABAAAAAgAAAAMAAAAEAAAABMAAAAXAAAAGgA + AAB8AAAAkAAAAKAAAAAIAAAABAMAAJ1MBgAA + AAAACAAAAAQDAADJzQYAAAAAAAgAAAAEAwAA + 2rUbAAAAAAAIAAAABAMAAIy5GwAAAAAACAAA + AAQDAABTRR0AAAAAAAgAAAAEAwAApalRAAAA + AAAIAAAABAMAAKapUQAAAAAACAAAAAQDAAAE + 1GYAAAAAAAgAAAAEAwAASfFmAAAAAAAIAAAA + BAMAACQXZwAAAAAAKAAAAAEGAADsAAAA/AAA + AAwBAAAcAQAALAEAADwBAABMAQAAXAEAAGwB + AAB8AQAACAAAAAAEAABBvlGlhQAAABgAAAAB + AgAAAQAAAAAAAAAPAAAAAAAAAAAAAAAAAAAA + CAAAAAQDAAAIAAAAAAAAAAQAAAADAwAA9QEA + AAgAAAABCQAAZmlsZTovLy8MAAAAAQEAAE1h + Y2ludG9zaCBIRAgAAAAEAwAAAACCMXQAAAAI + AAAAAAQAAEG9pKkzAAAAJAAAAAEBAAA0OEIx + NDExNS1DRUU3LTM2MTItOEMwNi1GQ0Q1Qjgy + OTJCQUIYAAAAAQIAAIEAAAABAAAA7xMAAAEA + AAAAAAAAAAAAAAEAAAABAQAALwAAAAAAAAAB + BQAAGgAAAAEBAABOU1VSTERvY3VtZW50SWRl + bnRpZmllcktleQAABAAAAAMDAAA/AAAA2AAA + AP7///8BAAAAAAAAABEAAAAEEAAAvAAAAAAA + AAAFEAAAjAEAAAAAAAAQEAAAzAEAAAAAAABA + EAAAvAEAAAAAAAACIAAAmAIAAAAAAAAFIAAA + CAIAAAAAAAAQIAAAGAIAAAAAAAARIAAATAIA + AAAAAAASIAAALAIAAAAAAAATIAAAPAIAAAAA + AAAgIAAAeAIAAAAAAAAwIAAApAIAAAAAAAAB + wAAA7AEAAAAAAAARwAAAIAAAAAAAAAASwAAA + /AEAAAAAAAAQ0AAABAAAAAAAAACsAgCA0AIA + AAAAAAA= + + path + ../presentation/images/akashaPut.graffle + + Style shadow @@ -3612,12 +2550,13 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs128 \cf1 \'93\'bf\'90\'58 \'8a\'43\'93\'6c} +\f0\fs128 \cf1 \'94\'e4\'89\'c3 \'8c\'92\'91\'be} VerticalPad 0.0 @@ -3636,7 +2575,7 @@ Font HiraKakuProN-W3 Size - 14 + 30 ID 989 @@ -3664,63 +2603,28 @@ 0 Pad 0.0 - RTFD - - BAtzdHJlYW10eXBlZIHoA4QBQISEhBJOU0F0dHJpYnV0 - ZWRTdHJpbmcAhIQITlNPYmplY3QAhZKEhIQITlNTdHJp - bmcBlIQBK4G4AeODu+ODl+ODreOCsOODqeODoOOCkuio - mOi/sOOBmeOCi+mam+OBqyBtZXRhIGNvbXB1dGF0aW9u - IOOCkuaflOi7n+OBq+iomOi/sOOBmeOCi+OBn+OCgeOB - q+ioiOeul+OCkue0sOOBi+OBj+WIhuWJsuOBl+OBn+OB - hC4K44O744Gd44Gu44Gf44KB44Gu5Y2Y5L2N44GMIGNv - ZGUgc2VnbWVudCwgZGF0YSBzZWdtZW50CuODu0NvbnRp - bnVhdGlvbiBiYXNlZCBDIChDYkMpIOOBryBjb2RlIHNl - Z21lbnQg44KS55So44GE44KL44OX44Ot44Kw44Op44Of - 44Oz44Kw6KiA6KqeCuODu0xMVk0gQ2xhbmcg5LiK44Gu - IENiQyDjgrPjg7Pjg5HjgqTjg6njga7mlLnoia/jgajj - gZfjgabnkrDlooPku5jjgY3ntpnntprjga7pq5jpgJ/l - jJYsIG9taXQgbGVhZiBmcmFtZSBwb2ludGVyIOOBruW8 - t+WItiwg44OX44Ot44OI44K/44Kk44OX5a6j6KiA44Gu - 6Ieq5YuV5YyW44KS6KGM44Gj44GfhoQCaUkBAZKEhIQM - TlNEaWN0aW9uYXJ5AJSEAWkCkoSWlhBOU1BhcmFncmFw - aFN0eWxlhpKEhIQXTlNNdXRhYmxlUGFyYWdyYXBoU3R5 - bGUAhIQQTlNQYXJhZ3JhcGhTdHlsZQCUhARDQ0BTAACE - hIQHTlNBcnJheQCUmQyShISECU5TVGV4dFRhYgCUhAJD - ZgAchpKEoJ8AOIaShKCfAFSGkoSgnwBwhpKEoJ8AgYwA - hpKEoJ8AgagAhpKEoJ8AgcQAhpKEoJ8AgeAAhpKEoJ8A - gfwAhpKEoJ8AgRgBhpKEoJ8AgTQBhpKEoJ8AgVABhoYA - hpKElpYGTlNGb250hpKEhIQGTlNGb250HpSZKIQFWzQw - Y10GAAAAIAAAAP/+SABpAHIAYQBLAGEAawB1AFAAcgBv - AE4ALQBXADMAhAFmHoQBYwCjAaMAowCGhpcCDJKEmJkF - kqyShK6ZKKEGAAAAIAAAAP/+SABpAHIAYQBnAGkAbgBv - AFMAYQBuAHMALQBXADMAoh6jAKMBowCjAIaShJaWBk5T - S2VyboaShISECE5TTnVtYmVyAISEB05TVmFsdWUAlIQB - KoSEAWSnAIaShJaWB05TQ29sb3KGkoSEhAdOU0NvbG9y - AJSjAoQEZmZmZgAAAAGGkpmShJucAACEnpkMkp+SoZKi - kqOSpJKlkqaSp5KokqmSqpKrhgCGkoSWlg1OU1N0cm9r - ZUNvbG9yhpKEuKMDhAJmZgABhoaXA4HfAJKEmJkDkpmS - uZK7krySrJKthoY= - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;\f1\fnil\fcharset128 HiraginoSans-W3;} -{\colortbl;\red255\green255\blue255;\red0\green0\blue0;} + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 +{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs60 \cf0 \'81\'45 -\f1 \cf2 \expnd0\expndtw0\kerning0 -\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'f0\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\'8d\'db\'82\'c9 -\f0 \cf0 \kerning1\expnd0\expndtw0 meta computation \'82\'f0\'8f\'5f\'93\'ee\'82\'c9\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\'82\'bd\'82\'df\'82\'c9\'8c\'76\'8e\'5a\'82\'f0\'8d\'d7\'82\'a9\'82\'ad\'95\'aa\'8a\'84\'82\'b5\'82\'bd\'82\'a2.\ -\'81\'45\'82\'bb\'82\'cc\'82\'bd\'82\'df\'82\'cc\'92\'50\'88\'ca\'82\'aa code segment, data segment\ -\'81\'45Continuation based C (CbC) \'82\'cd code segment \'82\'f0\'97\'70\'82\'a2\'82\'e9\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'7e\'83\'93\'83\'4f\'8c\'be\'8c\'ea\ -\'81\'45LLVM Clang \'8f\'e3\'82\'cc CbC \'83\'52\'83\'93\'83\'70\'83\'43\'83\'89\'82\'cc\'89\'fc\'97\'c7\'82\'c6\'82\'b5\'82\'c4\'8a\'c2\'8b\'ab\'95\'74\'82\'ab\'8c\'70\'91\'b1\'82\'cc\'8d\'82\'91\'ac\'89\'bb, omit leaf frame pointer \'82\'cc\'8b\'ad\'90\'a7, \'83\'76\'83\'8d\'83\'67\'83\'5e\'83\'43\'83\'76\'90\'e9\'8c\'be\'82\'cc\'8e\'a9\'93\'ae\'89\'bb\'82\'f0\'8d\'73\'82\'c1\'82\'bd} +\f0\fs60 \cf0 \'81\'45\'90\'4d\'97\'8a\'90\'ab\'82\'cc\'8d\'82\'82\'a2\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'f0\'92\'f1\'8b\'9f\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'cd\'8f\'64\'97\'76\'82\'c5\'82\'a0\'82\'e9\ +\'81\'45\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'aa\'97\'76\'8b\'81\'82\'b3\'82\'ea\'82\'e9\'8e\'64\'97\'6c\'82\'f0\'96\'9e\'82\'bd\'82\'b7\'82\'a9\'82\'c7\'82\'a4\'82\'a9\'8c\'9f\'8f\'d8\'82\'b7\'82\'e9\ +\'81\'45\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'c6\'92\'e8\'97\'9d\'8f\'d8\'96\'be\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'cc2\'82\'c2\'82\'aa\'82\'a0\'82\'e9\ + - \'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60: \'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'cc\'8f\'f3\'91\'d4\'82\'f0\'90\'94\'82\'a6\'8f\'e3\'82\'b0 \ + \'8e\'64\'97\'6c\'82\'c9\'94\'77\'82\'ad\'8f\'f3\'91\'d4\'82\'aa\'96\'b3\'82\'a2\'82\'a9\'8a\'6d\'94\'46\'82\'b7\'82\'e9\ + - \'92\'e8\'97\'9d\'8f\'d8\'96\'be\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60: \'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'cc\'90\'b3\'82\'b5\'82\'b3\'82\'f0\'92\'bc\'90\'da\'8f\'d8\'96\'be\'82\'b7\'82\'e9\ +\'81\'45\'8c\'9f\'8f\'d8\'82\'b5\'82\'e2\'82\'b7\'82\'a2\'8c\'be\'8c\'ea Continuation based C (CbC)\'82\'f0\'8a\'4a\'94\'ad\'82\'b5\'82\'c4\'82\'a2\'82\'e9\ +\'81\'45CbC \'82\'c5\'82\'cd\'97\'bc\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'c9\'82\'e6\'82\'e9\'8c\'9f\'8f\'d8\'82\'aa\'89\'c2\'94\'5c\'82\'c8\'82\'b1\'82\'c6\'82\'f0\'8e\'a6\'82\'b7} VerticalPad 1 Bounds - {{27.929966855429171, 14.786078741176073}, {1924.739013671875, 191}} + {{27.929965899289073, 16.994015129345218}, {1924.739013671875, 191}} Class ShapedGraphic FitText @@ -3761,13 +2665,14 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\slleading-800\pardirnatural\partightenfactor0 -\f0\b\fs180 \cf1 LLVM Clang \'8f\'e3\'82\'cc \ -Continuation based C \'83\'52\'83\'93\'83\'70\'83\'43\'83\'89\'82\'cc\'89\'fc\'97\'c7} +\f0\b\fs180 \cf1 \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'97\'70\'82\'a2\'82\'bd\ +Continuation based C \'82\'cc\'8c\'9f\'8f\'d8\'8e\'e8\'96\'40} VerticalPad 0.0 @@ -3848,7 +2753,7 @@ Font HiraKakuProN-W3 Size - 48 + 40 ID 10 @@ -3877,12 +2782,13 @@ Pad 0.0 Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 + {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs96 \cf1 \'8c\'a4\'8b\'86\'8a\'54\'97\'76} +\f0\fs96 \cf1 \'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'7e\'83\'93\'83\'4f\'8c\'be\'8c\'ea\'82\'c6\'90\'4d\'97\'8a\'90\'ab} VerticalPad 0.0 @@ -3956,11 +2862,11 @@ Bounds - {{1022.0227315255154, 1448.5039501503695}, {994.98516845703114, 861.89764395501697}} + {{1027.8490976402113, 1149.2590165482397}, {994.98516845703114, 861.89764395501697}} Class ShapedGraphic ID - 3080 + 3462 Style shadow @@ -3977,7 +2883,7 @@ Bounds - {{13.999999719352729, 1700.6401793924279}, {994.98516845703114, 1110.4709975436326}} + {{13.999999719352729, 1578.8976521208529}, {994.98516845703114, 558.42520191707035}} Class ShapedGraphic ID @@ -4011,18 +2917,20 @@ HPages 1 ImageCounter - 23 + 28 ImageLinkBack + ImageList + image27.pdf + image24.pdf + image23.pdf image22.pdf - image19.pdf - image17.pdf KeepToScale @@ -4035,6 +2943,8 @@ Layer 1 Print YES + Slices + NO View YES @@ -4063,9 +2973,9 @@ MasterSheets ModificationDate - 2016-02-21 10:47:39 +0000 + 2017-02-18 06:38:01 +0000 Modifier - utah + atton NotesVisible NO Orientation @@ -4094,7 +3004,7 @@ NSPaperName string - 417D73FB-46A8-40D2-8D3C-13046B8040A8 + 5A61AC28-1385-4667-8BEF-C9D7779DD8A5 NSPaperSize @@ -4144,7 +3054,7 @@ Expanded_Canvases Frame - {{405, 3}, {1460, 1174}} + {{22, 4}, {1592, 1053}} ShowInfo Sidebar @@ -4154,7 +3064,7 @@ TopSlabHeight 250 VisibleRegion - {{-149, 0}, {2326, 2128}} + {{-281, 334}, {2590, 1886}} Zoom 0.5 ZoomValues diff -r 80a196c82a4c -r ba30f7948580 poster/atton-poster.graffle/image23.pdf Binary file poster/atton-poster.graffle/image23.pdf has changed diff -r 80a196c82a4c -r ba30f7948580 poster/atton-poster.graffle/image24.pdf Binary file poster/atton-poster.graffle/image24.pdf has changed diff -r 80a196c82a4c -r ba30f7948580 poster/atton-poster.graffle/image27.pdf Binary file poster/atton-poster.graffle/image27.pdf has changed diff -r 80a196c82a4c -r ba30f7948580 poster/mcsmds.graffle Binary file poster/mcsmds.graffle has changed diff -r 80a196c82a4c -r ba30f7948580 poster/mcsmds.pdf Binary file poster/mcsmds.pdf has changed diff -r 80a196c82a4c -r ba30f7948580 poster/modus-ponens/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/poster/modus-ponens/Makefile Sat Feb 18 15:43:30 2017 +0900 @@ -0,0 +1,37 @@ +# Settings +TARGET=modus-ponens +BIBTEX=echo # pbibtex +BB=extractbb + +vpath pdf fig +FIGURES=$(wildcard fig/*.pdf) +FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES)) + +# dependencies +$(TARGET).pdf : $(TARGET).dvi + dvipdfmx $< + +$(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX) + platex $(TARGET).tex + $(BIBTEX) $(TARGET) + platex $(TARGET).tex + platex $(TARGET).tex + +%.xbb: %.pdf + $(BB) $< + + +# commands +.PHONY : clean all open remake + +clean: + rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg + +all: $(TARGET).pdf + +open: $(TARGET).pdf + open $(TARGET).pdf + +remake: + make clean + make all diff -r 80a196c82a4c -r ba30f7948580 poster/modus-ponens/bussproofs.sty --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/poster/modus-ponens/bussproofs.sty Sat Feb 18 15:43:30 2017 +0900 @@ -0,0 +1,1136 @@ +% +\def\BPmessage{Proof Tree (bussproofs) style macros. Version 1.1.} +% bussproofs.sty. Version 1.1 +% (c) 1994,1995,1996,2004,2005,2006, 2011. +% Copyright retained by Samuel R. Buss. +% +% ==== Legal statement: ==== +% This work may be distributed and/or modified under the +% conditions of the LaTeX Project Public License, either version 1.3 +% of this license or (at your option) any later version. +% The latest version of this license is in +% http://www.latex-project.org/lppl.txt. +% and version 1.3 or later is part of all distributions of LaTeX +% version 2005/12/1 or later. +% +% This work has the LPPL maintenance status 'maintained'. +% +% The Current Maintainer of the work is Sam Buss. +% +% This work consists of bussproofs.sty. +% ===== +% Informal summary of legal situation: +% This software may be used and distributed freely, except that +% if you make changes, you must change the file name to be different +% than bussproofs.sty to avoid compatibility problems. +% The terms of the LaTeX Public License are the legally controlling terms +% and override any contradictory terms of the "informal situation". +% +% Please report comments and bugs to sbuss@ucsd.edu. +% +% Thanks to Felix Joachimski for making changes to let these macros +% work in plain TeX in addition to LaTeX. Nothing has been done +% to see if they work in AMSTeX. The comments below mostly +% are written for LaTeX, however. +% July 2004, version 0.7 +% - bug fix, right labels with descenders inserted too much space. +% Thanks to Peter Smith for finding this bug, +% see http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ +% March 2005, version 0.8. +% Added a default definition for \fCenter at Denis Kosygin's +% suggestion. +% September 2005, version 0.9. +% Fixed some subtle spacing problems, by adding %'s to the end of +% few lines where they were inadvertantly omitted. Thanks to +% Arnold Beckmann for finding and fixing this problem. +% April 2006, version 0.9.1. Updated comments and testbp2.tex file. +% No change to the actual macros. +% June 2006, version 1.0. The first integer numbered release. +% New feature: root of proof may now be at the bottom instead of +% at just the top. Thanks to Alex Hertel for the suggestion to implement +% this. +% June 2011, version 1.1. +% New feature: 4-ary and 5-ary inferences. Thanks to Thomas Strathmann +% for taking the initiative to implement these. +% Four new commands: QuaternaryInf(C) and QuinaryInf(C). +% Bug fix: \insertBetweenHyps now works for proofs with root at top and +% three or more hypotheses.. + +% A good exposition of how to use bussproofs.sty (version 0.9) has been written +% by Peter Smith and is available on the internet. +% The comments below also describe the features of bussproofs.sty, +% including user-modifiable parameters. + +% bussproofs.sty allows the construction of proof trees in the +% style of the sequent calculus and many other proof systems +% One novel feature of these macros is they support the horizontal +% alignment according to some center point specified with the +% command \fCenter. This is the style often used in sequent +% calculus proofs. +% Proofs are specified in left-to-right traversal order. +% For example a proof +% A B +% ----- +% D C +% --------- +% E +% +% if given in the order D,A,B,C,E. Each line in the proof is +% specified according to the arity of the inference which generates +% it. Thus, E would be specified with a \BinaryInf or \BinaryInfC +% command. +% +% The above proof tree could be displayed with the commands: +% +% \AxiomC{D} +% \AxiomC{A} +% \AxiomC{B} +% \BinaryInfC{C} +% \BinaryInfC{E} +% \DisplayProof +% +% Inferences in a proof may be nullary (axioms), unary, binary, or +% trinary. +% +% IMPORTANT: You must give the \DisplayProof command to make the proof +% be printed. To display a centered proof on a line by itself, +% put the proof inside \begin{center} ... \end{center}. +% +% There are two styles for specifying horizontal centering of +% lines (formulas or sequents) in a proof. One format \AxiomC{...} +% just centers the formula {...} in the usual way. The other +% format is \Axiom$...\fCenter...$. Here, the \fCenter specifies +% the center of the formula. (It is permissable for \fCenter to +% generate typeset material; in fact, I usually define it to generate +% the sequent arrow.) In unary inferences, the \fCenter +% positions will be vertically aligned in the upper and lower lines of +% the inference. Unary, Binary, Trinary inferences are specified +% with the same format as Axioms. The two styles of centering +% lines may be combined in a single proof. +% +% By using the optional \EnableBpAbbreviations command, various +% abbreviated two or three letter commands are enabled. This allows, +% in particular: +% \AX and \AXC for \Axiom and \AxiomC, (resp.), +% \DP for \DisplayProof, +% \BI and \BIC for \BinaryInf and \BinaryInfC, +% \UI and \UIC for \UnaryInf and \UnaryInfC, +% \TI and \TIC for \TrinaryInf and \TrinaryInfC, +% \LL and \RL for \LeftLabel and \RightLabel. +% See the source code below for additional abbreviations. +% The enabling of these short abbreviations is OPTIONAL, since +% there is the possibility of conflicting with names from other +% macro packages. +% +% By default, the inferences have single horizontal lines (scores) +% This can be overridden using the \doubleLine, \noLine commands. +% These two commands affect only the next inference. You can make +% make a permanent override that applies to the rest of the current +% proof using \alwaysDoubleLine and \alwaysNoLine. \singleLine +% and \alwaysSingleLine work in the analogous way. +% +% The macros do their best to give good placements of for the +% parts of the proof. Several macros allow you to override the +% defaults. These are \insertBetweenHyps{...} which overrides +% the default spacing between hypotheses of Binary and Trinary +% inferences with {...}. And \kernHyps{...} specifies a distance +% to shift the whole block of hypotheses to the right (modifying +% the default center position. +% Other macros set the vertical placement of the whole proof. +% The default is to try to do a good job of placement for inferences +% included in text. Two other useful macros are: \bottomAlignProof +% which aligns the hbox output by \DisplayProof according to the base +% of the bottom line of the proof, and \centerAlignProof which +% does a precise center vertical alignment. +% +% Often, one wishes to place a label next to an inference, usually +% to specify the type of inference. These labels can be placed +% by using the commands \LeftLabel{...} and \RightLabel{...} +% immediately before the command which specifies the inference. +% For example, to generate +% +% A B +% --------- X +% C +% +% use the commands +% \AxiomC{A} +% \AxiomC{B} +% \RightLabel{X} +% \BinaryInfC{C} +% \DisplayProof +% +% The \DisplayProof command just displays the proof as a text +% item. This allows you to put proofs anywhere normal text +% might appear; for example, in a paragraph, in a table, in +% a tabbing environment, etc. When displaying a proof as inline text, +% you should write \DisplayProof{} (with curly brackets) so that +% LaTeX will not "eat" the white space following the \DisplayProof +% command. +% For displaying proofs in a centered display: Do not use the \[...\] +% construction (nor $$...$$). Instead use +% \begin{center} ... \DisplayProof\end{center}. +% Actually there is a better construction to use instead of the +% \begin{center}...\DisplayProof\end{center}. This is to +% write +% \begin{prooftree} ... \end{prooftree}. +% Note there is no \DisplayProof used for this: the +% \end{prooftree} automatically supplies the \DisplayProof +% command. +% +% Warning: Any commands that set line types or set vertical or +% horizontal alignment that are given AFTER the \DisplayProof +% command will affect the next proof, no matter how distant. + + + + +% Usages: +% ======= +% +% \Axiom$\fCenter$ +% +% \AxiomC{\fCenter$ +% +% \UnaryInfC{} +% +% \BinaryInf$\fCenter$ +% +% \BinaryInfC{} +% +% \TrinaryInf$\fCenter$ +% +% \TrinaryInfC{} +% +% \QuaternaryInf$\fCenter$ +% +% \QuaternaryInfC{} +% +% \QuinaryInf$\fCenter$ +% +% \QuinaryInfC{} +% +% \LeftLabel{} - Puts as a label to the left +% of the next inference line. (Works even if +% \noLine is used too.) +% +% \RightLabel{} - Puts as a label to the right of the +% next inference line. (Also works with \noLine.) +% +% \DisplayProof - outputs the whole proof tree (and finishes it). +% The proof tree is output as an hbox. +% +% +% \kernHyps{} - Slides the upper hypotheses right distance +% (This is similar to shifting conclusion left) +% - kernHyps works with Unary, Binary and Trinary +% inferences and with centered or uncentered sequents. +% - Negative values for are permitted. +% +% \insertBetweenHyps{...} - {...} will be inserted between the upper +% hypotheses of a Binary or Trinary Inferences. +% It is possible to use negative horizontal space +% to push them closer together (and even overlap). +% This command affects only the next inference. +% +% \doubleLine - Makes the current (ie, next) horizontal line doubled +% +% \alwaysDoubleLine - Makes lines doubled for rest of proof +% +% \singleLine - Makes the current (ie, next) line single +% +% \alwaysSingleLine - Undoes \alwaysDoubleLine or \alwaysNoLine. +% +% \noLine - Make no line at all at current (ie next) inference. +% +% \alwaysNoLine - Makes no lines for rest of proof. (Untested) +% +% \solidLine - Does solid horizontal line for current inference +% +% \dottedLine - Does dotted horizontal line for current inference +% +% \dashedLine - Does dashed horizontal line for current inference +% +% \alwaysSolidLine - Makes the indicated change in line type, permanently +% \alwaysDashedLine until end of proof or until overridden. +% \alwaysDottedLine +% +% \bottomAlignProof - Vertically align proof according to its bottom line. +% \centerAlignProof - Vertically align proof proof precisely in its center. +% \normalAlignProof - Overrides earlier bottom/center AlignProof commands. +% The default alignment will look good in most cases, +% whether the proof is displayed or is +% in-line. Other alignments may be more +% appropriate when putting proofs in tables or +% pictures, etc. For custom alignments, use +% TeX's raise commands. +% +% \rootAtTop - specifies that proofs have their root a the top. That it, +% proofs will be "upside down". +% \rootAtBottom - (default) Specifies that proofs have root at the bottom +% The \rootAtTop and \rootAtBottom commands apply *only* to the +% current proof. If you want to make them persistent, use one of +% the next two commands: +% \alwaysRootAtTop +% \alwaysRootAtBottom (default) +% + +% Optional short abbreviations for commands: +\def\EnableBpAbbreviations{% + \let\AX\Axiom + \let\AXC\AxiomC + \let\UI\UnaryInf + \let\UIC\UnaryInfC + \let\BI\BinaryInf + \let\BIC\BinaryInfC + \let\TI\TrinaryInf + \let\TIC\TrinaryInfC + \let\QI\QuaternaryInf + \let\QIC\QuaternaryInfC + \let\QuI\QuinaryInf + \let\QuIC\QuinaryInfC + \let\LL\LeftLabel + \let\RL\RightLabel + \let\DP\DisplayProof +} + +% Parameters which control the style of the proof trees. +% The user may wish to override these parameters locally or globally. +% BUT DON'T CHANGE THE PARAMETERS BY CHANGING THIS FILE (to avoid +% future incompatibilities). Instead, you should change them in your +% TeX document right after including this style file in the +% header material of your LaTeX document. + +\def\ScoreOverhang{4pt} % How much underlines extend out +\def\ScoreOverhangLeft{\ScoreOverhang} +\def\ScoreOverhangRight{\ScoreOverhang} + +\def\extraVskip{2pt} % Extra space above and below lines +\def\ruleScoreFiller{\hrule} % Horizontal rule filler. +\def\dottedScoreFiller{\hbox to4pt{\hss.\hss}} +\def\dashedScoreFiller{\hbox to2.8mm{\hss\vrule width1.4mm height0.4pt depth0.0pt\hss}} +\def\defaultScoreFiller{\ruleScoreFiller} % Default horizontal filler. +\def\defaultBuildScore{\buildSingleScore} % In \singleLine mode at start. + +\def\defaultHypSeparation{\hskip.2in} % Used if \insertBetweenHyps isn't given + +\def\labelSpacing{3pt} % Horizontal space separating labels and lines + +\def\proofSkipAmount{\vskip.8ex plus.8ex minus.4ex} + % Space above and below a prooftree display. + +\def\defaultRootPosition{\buildRootBottom} % Default: Proofs root at bottom +%\def\defaultRootPosition{\buildRootTop} % Makes all proofs upside down + +\ifx\fCenter\undefined +\def\fCenter{\relax} +\fi + +% +% End of user-modifiable parameters. +% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +% Here are some internal paramenters and defaults. Not really intended +% to be user-modifiable. + +\def\theHypSeparation{\defaultHypSeparation} +\def\alwaysScoreFiller{\defaultScoreFiller} % Horizontal filler. +\def\alwaysBuildScore{\defaultBuildScore} +\def\theScoreFiller{\alwaysScoreFiller} % Horizontal filler. +\def\buildScore{\alwaysBuildScore} %This command builds the score. +\def\hypKernAmt{0pt} % Initial setting for kerning the hypotheses. + +\def\defaultLeftLabel{} +\def\defaultRightLabel{} + +\def\myTrue{Y} +\def\bottomAlignFlag{N} +\def\centerAlignFlag{N} +\def\defaultRootAtBottomFlag{Y} +\def\rootAtBottomFlag{Y} + +% End of internal parameters and defaults. + +\expandafter\ifx\csname newenvironment\endcsname\relax% +% If in TeX: +\message{\BPmessage} +\def\makeatletter{\catcode`\@=11\relax} +\def\makeatother{\catcode`\@=12\relax} +\makeatletter +\def\newcount{\alloc@0\count\countdef\insc@unt} +\def\newdimen{\alloc@1\dimen\dimendef\insc@unt} +\def\newskip{\alloc@2\skip\skipdef\insc@unt} +\def\newbox{\alloc@4\box\chardef\insc@unt} +\makeatother +\else +% If in LaTeX +\typeout{\BPmessage} +\newenvironment{prooftree}% +{\begin{center}\proofSkipAmount \leavevmode}% +{\DisplayProof \proofSkipAmount \end{center} } +\fi + +\def\thecur#1{\csname#1\number\theLevel\endcsname} + +\newcount\theLevel % This counter is the height of the stack. +\global\theLevel=0 % Initialized to zero +\newcount\myMaxLevel +\global\myMaxLevel=0 +\newbox\myBoxA % Temporary storage boxes +\newbox\myBoxB +\newbox\myBoxC +\newbox\myBoxD +\newbox\myBoxLL % Boxes for the left label and the right label. +\newbox\myBoxRL +\newdimen\thisAboveSkip %Internal use: amount to skip above line +\newdimen\thisBelowSkip %Internal use: amount to skip below line +\newdimen\newScoreStart % More temporary storage. +\newdimen\newScoreEnd +\newdimen\newCenter +\newdimen\displace +\newdimen\leftLowerAmt% Amount to lower left label +\newdimen\rightLowerAmt% Amount to lower right label +\newdimen\scoreHeight% Score height +\newdimen\scoreDepth% Score Depth +\newdimen\htLbox% +\newdimen\htRbox% +\newdimen\htRRbox% +\newdimen\htRRRbox% +\newdimen\htAbox% +\newdimen\htCbox% + +\setbox\myBoxLL=\hbox{\defaultLeftLabel}% +\setbox\myBoxRL=\hbox{\defaultRightLabel}% + +\def\allocatemore{% + \ifnum\theLevel>\myMaxLevel% + \expandafter\newbox\curBox% + \expandafter\newdimen\curScoreStart% + \expandafter\newdimen\curCenter% + \expandafter\newdimen\curScoreEnd% + \global\advance\myMaxLevel by1% + \fi% +} + +\def\prepAxiom{% + \advance\theLevel by1% + \edef\curBox{\thecur{myBox}}% + \edef\curScoreStart{\thecur{myScoreStart}}% + \edef\curCenter{\thecur{myCenter}}% + \edef\curScoreEnd{\thecur{myScoreEnd}}% + \allocatemore% +} + +\def\Axiom$#1\fCenter#2${% + % Get level and correct names set. + \prepAxiom% + % Define the boxes + \setbox\myBoxA=\hbox{$\mathord{#1}\fCenter\mathord{\relax}$}% + \setbox\myBoxB=\hbox{$#2$}% + \global\setbox\curBox=% + \hbox{\hskip\ScoreOverhangLeft\relax% + \unhcopy\myBoxA\unhcopy\myBoxB\hskip\ScoreOverhangRight\relax}% + % Set the relevant dimensions for the boxes + \global\curScoreStart=0pt \relax + \global\curScoreEnd=\wd\curBox \relax + \global\curCenter=\wd\myBoxA \relax + \global\advance \curCenter by \ScoreOverhangLeft% + \ignorespaces +} + +\def\AxiomC#1{ % Note argument not in math mode + % Get level and correct names set. + \prepAxiom% + % Define the box. + \setbox\myBoxA=\hbox{#1}% + \global\setbox\curBox =% + \hbox{\hskip\ScoreOverhangLeft\relax% + \unhcopy\myBoxA\hskip\ScoreOverhangRight\relax}% + % Set the relevant dimensions for the boxes + \global\curScoreStart=0pt \relax + \global\curScoreEnd=\wd\curBox \relax + \global\curCenter=.5\wd\curBox \relax + \global\advance \curCenter by \ScoreOverhangLeft% + \ignorespaces +} + +\def\prepUnary{% + \ifnum \theLevel<1 + \errmessage{Hypotheses missing!} + \fi% + \edef\curBox{\thecur{myBox}}% + \edef\curScoreStart{\thecur{myScoreStart}}% + \edef\curCenter{\thecur{myCenter}}% + \edef\curScoreEnd{\thecur{myScoreEnd}}% +} + +\def\UnaryInf$#1\fCenter#2${% + \prepUnary% + \buildConclusion{#1}{#2}% + \joinUnary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\UnaryInfC#1{ + \prepUnary% + \buildConclusionC{#1}% + %Align and join the curBox and the new box into one vbox. + \joinUnary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\prepBinary{% + \ifnum\theLevel<2 + \errmessage{Hypotheses missing!} + \fi% + \edef\rcurBox{\thecur{myBox}}% Set up names of right hypothesis + \edef\rcurScoreStart{\thecur{myScoreStart}}% + \edef\rcurCenter{\thecur{myCenter}}% + \edef\rcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\lcurBox{\thecur{myBox}}% Set up names of left hypothesis + \edef\lcurScoreStart{\thecur{myScoreStart}}% + \edef\lcurCenter{\thecur{myCenter}}% + \edef\lcurScoreEnd{\thecur{myScoreEnd}}% +} + +\def\BinaryInf$#1\fCenter#2${% + \prepBinary% + \buildConclusion{#1}{#2}% + \joinBinary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\BinaryInfC#1{% + \prepBinary% + \buildConclusionC{#1}% + \joinBinary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\prepTrinary{% + \ifnum\theLevel<3 + \errmessage{Hypotheses missing!} + \fi% + \edef\rcurBox{\thecur{myBox}}% Set up names of right hypothesis + \edef\rcurScoreStart{\thecur{myScoreStart}}% + \edef\rcurCenter{\thecur{myCenter}}% + \edef\rcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\ccurBox{\thecur{myBox}}% Set up names of center hypothesis + \edef\ccurScoreStart{\thecur{myScoreStart}}% + \edef\ccurCenter{\thecur{myCenter}}% + \edef\ccurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\lcurBox{\thecur{myBox}}% Set up names of left hypothesis + \edef\lcurScoreStart{\thecur{myScoreStart}}% + \edef\lcurCenter{\thecur{myCenter}}% + \edef\lcurScoreEnd{\thecur{myScoreEnd}}% +} + +\def\TrinaryInf$#1\fCenter#2${% + \prepTrinary% + \buildConclusion{#1}{#2}% + \joinTrinary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\TrinaryInfC#1{% + \prepTrinary% + \buildConclusionC{#1}% + \joinTrinary% + \resetInferenceDefaults% + \ignorespaces% +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\def\prepQuaternary{% + \ifnum\theLevel<4 + \errmessage{Hypotheses missing!} + \fi% + \edef\rrcurBox{\thecur{myBox}}% Set up names of very right hypothesis + \edef\rrcurScoreStart{\thecur{myScoreStart}}% + \edef\rrcurCenter{\thecur{myCenter}}% + \edef\rrcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\rcurBox{\thecur{myBox}}% Set up names of right hypothesis + \edef\rcurScoreStart{\thecur{myScoreStart}}% + \edef\rcurCenter{\thecur{myCenter}}% + \edef\rcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\ccurBox{\thecur{myBox}}% Set up names of center hypothesis + \edef\ccurScoreStart{\thecur{myScoreStart}}% + \edef\ccurCenter{\thecur{myCenter}}% + \edef\ccurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\lcurBox{\thecur{myBox}}% Set up names of left hypothesis + \edef\lcurScoreStart{\thecur{myScoreStart}}% + \edef\lcurCenter{\thecur{myCenter}}% + \edef\lcurScoreEnd{\thecur{myScoreEnd}}% +} + +\def\QuaternaryInf$#1\fCenter#2${% + \prepQuaternary% + \buildConclusion{#1}{#2}% + \joinQuaternary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\QuaternaryInfC#1{% + \prepQuaternary% + \buildConclusionC{#1}% + \joinQuaternary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\joinQuaternary{% Construct the quarterary inference into a vbox. + % Join the four hypotheses's boxes into one hbox. + \setbox\myBoxA=\hbox{\theHypSeparation}% + \lcurScoreEnd=\rrcurScoreEnd% + \advance\lcurScoreEnd by\wd\rcurBox% + \advance\lcurScoreEnd by\wd\lcurBox% + \advance\lcurScoreEnd by\wd\ccurBox% + \advance\lcurScoreEnd by3\wd\myBoxA% + \displace=\lcurScoreEnd% + \advance\displace by -\lcurScoreStart% + \lcurCenter=.5\displace% + \advance\lcurCenter by\lcurScoreStart% + \ifx\rootAtBottomFlag\myTrue% + \setbox\lcurBox=% + \hbox{\box\lcurBox\unhcopy\myBoxA\box\ccurBox% + \unhcopy\myBoxA\box\rcurBox + \unhcopy\myBoxA\box\rrcurBox}% + \else% + \htLbox = \ht\lcurBox% + \htAbox = \ht\myBoxA% + \htCbox = \ht\ccurBox% + \htRbox = \ht\rcurBox% + \htRRbox = \ht\rrcurBox% + \setbox\lcurBox=% + \hbox{\lower\htLbox\box\lcurBox% + \lower\htAbox\copy\myBoxA\lower\htCbox\box\ccurBox% + \lower\htAbox\copy\myBoxA\lower\htRbox\box\rcurBox% + \lower\htAbox\copy\myBoxA\lower\htRRbox\box\rrcurBox}% + \fi% + % Adjust center of upper hypotheses according to how much + % the lower sequent is off-center. + \displace=\newCenter% + \advance\displace by -.5\newScoreStart% + \advance\displace by -.5\newScoreEnd% + \advance\lcurCenter by \displace% + %Align and join the curBox and the two hypotheses's box into one vbox. + \edef\curBox{\lcurBox}% + \edef\curScoreStart{\lcurScoreStart}% + \edef\curScoreEnd{\lcurScoreEnd}% + \edef\curCenter{\lcurCenter}% + \joinUnary% +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\def\prepQuinary{% + \ifnum\theLevel<5 + \errmessage{Hypotheses missing!} + \fi% + \edef\rrrcurBox{\thecur{myBox}}% Set up names of very very right hypothesis + \edef\rrrcurScoreStart{\thecur{myScoreStart}}% + \edef\rrrcurCenter{\thecur{myCenter}}% + \edef\rrrcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\rrcurBox{\thecur{myBox}}% Set up names of very right hypothesis + \edef\rrcurScoreStart{\thecur{myScoreStart}}% + \edef\rrcurCenter{\thecur{myCenter}}% + \edef\rrcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\rcurBox{\thecur{myBox}}% Set up names of right hypothesis + \edef\rcurScoreStart{\thecur{myScoreStart}}% + \edef\rcurCenter{\thecur{myCenter}}% + \edef\rcurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\ccurBox{\thecur{myBox}}% Set up names of center hypothesis + \edef\ccurScoreStart{\thecur{myScoreStart}}% + \edef\ccurCenter{\thecur{myCenter}}% + \edef\ccurScoreEnd{\thecur{myScoreEnd}}% + \advance\theLevel by-1% + \edef\lcurBox{\thecur{myBox}}% Set up names of left hypothesis + \edef\lcurScoreStart{\thecur{myScoreStart}}% + \edef\lcurCenter{\thecur{myCenter}}% + \edef\lcurScoreEnd{\thecur{myScoreEnd}}% +} + +\def\QuinaryInf$#1\fCenter#2${% + \prepQuinary% + \buildConclusion{#1}{#2}% + \joinQuinary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\QuinaryInfC#1{% + \prepQuinary% + \buildConclusionC{#1}% + \joinQuinary% + \resetInferenceDefaults% + \ignorespaces% +} + +\def\joinQuinary{% Construct the quinary inference into a vbox. + % Join the five hypotheses's boxes into one hbox. + \setbox\myBoxA=\hbox{\theHypSeparation}% + \lcurScoreEnd=\rrrcurScoreEnd% + \advance\lcurScoreEnd by\wd\rrcurBox% + \advance\lcurScoreEnd by\wd\rcurBox% + \advance\lcurScoreEnd by\wd\lcurBox% + \advance\lcurScoreEnd by\wd\ccurBox% + \advance\lcurScoreEnd by4\wd\myBoxA% + \displace=\lcurScoreEnd% + \advance\displace by -\lcurScoreStart% + \lcurCenter=.5\displace% + \advance\lcurCenter by\lcurScoreStart% + \ifx\rootAtBottomFlag\myTrue% + \setbox\lcurBox=% + \hbox{\box\lcurBox\unhcopy\myBoxA\box\ccurBox% + \unhcopy\myBoxA\box\rcurBox + \unhcopy\myBoxA\box\rrcurBox + \unhcopy\myBoxA\box\rrrcurBox}% + \else% + \htLbox = \ht\lcurBox% + \htAbox = \ht\myBoxA% + \htCbox = \ht\ccurBox% + \htRbox = \ht\rcurBox% + \htRRbox = \ht\rrcurBox% + \htRRRbox = \ht\rrrcurBox% + \setbox\lcurBox=% + \hbox{\lower\htLbox\box\lcurBox% + \lower\htAbox\copy\myBoxA\lower\htCbox\box\ccurBox% + \lower\htAbox\copy\myBoxA\lower\htRbox\box\rcurBox% + \lower\htAbox\copy\myBoxA\lower\htRRbox\box\rrcurBox% + \lower\htAbox\copy\myBoxA\lower\htRRRbox\box\rrrcurBox}% + \fi% + % Adjust center of upper hypotheses according to how much + % the lower sequent is off-center. + \displace=\newCenter% + \advance\displace by -.5\newScoreStart% + \advance\displace by -.5\newScoreEnd% + \advance\lcurCenter by \displace% + %Align and join the curBox and the two hypotheses's box into one vbox. + \edef\curBox{\lcurBox}% + \edef\curScoreStart{\lcurScoreStart}% + \edef\curScoreEnd{\lcurScoreEnd}% + \edef\curCenter{\lcurCenter}% + \joinUnary% +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\def\buildConclusion#1#2{% Build lower sequent w/ center at \fCenter position. + % Define the boxes + \setbox\myBoxA=\hbox{$\mathord{#1}\fCenter\mathord{\relax}$}% + \setbox\myBoxB=\hbox{$#2$}% + % Put them together in \myBoxC + \setbox\myBoxC =% + \hbox{\hskip\ScoreOverhangLeft\relax% + \unhcopy\myBoxA\unhcopy\myBoxB\hskip\ScoreOverhangRight\relax}% + % Calculate the center of the \myBoxC string. + \newScoreStart=0pt \relax% + \newCenter=\wd\myBoxA \relax% + \advance \newCenter by \ScoreOverhangLeft% + \newScoreEnd=\wd\myBoxC% +} + +\def\buildConclusionC#1{% Build lower sequent w/o \fCenter present. + % Define the box. + \setbox\myBoxA=\hbox{#1}% + \setbox\myBoxC =% + \hbox{\hbox{\hskip\ScoreOverhangLeft\relax% + \unhcopy\myBoxA\hskip\ScoreOverhangRight\relax}}% + % Calculate kerning to line up centers + \newScoreStart=0pt \relax% + \newCenter=.5\wd\myBoxC \relax% + \newScoreEnd=\wd\myBoxC% + \advance \newCenter by \ScoreOverhangLeft% +} + +\def\joinUnary{%Align and join \curBox and \myBoxC into a single vbox + \global\advance\curCenter by -\hypKernAmt% + \ifnum\curCenter<\newCenter% + \displace=\newCenter% + \advance \displace by -\curCenter% + \kernUpperBox% + \else% + \displace=\curCenter% + \advance \displace by -\newCenter% + \kernLowerBox% + \fi% + \ifnum \newScoreStart < \curScoreStart % + \global \curScoreStart = \newScoreStart \fi% + \ifnum \curScoreEnd < \newScoreEnd % + \global \curScoreEnd = \newScoreEnd \fi% + % Leave room for the left label. + \ifnum \curScoreStart<\wd\myBoxLL% + \global\displace = \wd\myBoxLL% + \global\advance\displace by -\curScoreStart% + \kernUpperBox% + \kernLowerBox% + \fi% + % Draw the score + \buildScore% + % Form the score and labels into a box. + \buildScoreLabels% + % Form the new box and its dimensions + \ifx\rootAtBottomFlag\myTrue% + \buildRootBottom% + \else% + \buildRootTop% + \fi% + \global \curScoreStart=\newScoreStart% + \global \curScoreEnd=\newScoreEnd% + \global \curCenter=\newCenter% +} + +\def\buildRootBottom{% + \global \setbox \curBox =% + \vbox{\box\curBox% + \vskip\thisAboveSkip \relax% + \nointerlineskip\box\myBoxD% + \vskip\thisBelowSkip \relax% + \nointerlineskip\box\myBoxC}% +} + +\def\buildRootTop{% + \global \setbox \curBox =% + \vbox{\box\myBoxC% + \vskip\thisAboveSkip \relax% + \nointerlineskip\box\myBoxD% + \vskip\thisBelowSkip \relax% + \nointerlineskip\box\curBox}% +} + +\def\kernUpperBox{% + \global\setbox\curBox =% + \hbox{\hskip\displace\box\curBox}% + \global\advance \curScoreStart by \displace% + \global\advance \curScoreEnd by \displace% + \global\advance\curCenter by \displace% +} + +\def\kernLowerBox{% + \global\setbox\myBoxC =% + \hbox{\hskip\displace\unhbox\myBoxC}% + \global\advance \newScoreStart by \displace% + \global\advance \newScoreEnd by \displace% + \global\advance\newCenter by \displace% +} + +\def\joinBinary{% Construct the binary inference into a vbox. + % Join the two hypotheses's boxes into one hbox. + \setbox\myBoxA=\hbox{\theHypSeparation}% + \lcurScoreEnd=\rcurScoreEnd% + \advance\lcurScoreEnd by\wd\lcurBox% + \advance\lcurScoreEnd by\wd\myBoxA% + \displace=\lcurScoreEnd% + \advance\displace by -\lcurScoreStart% + \lcurCenter=.5\displace% + \advance\lcurCenter by\lcurScoreStart% + \ifx\rootAtBottomFlag\myTrue% + \setbox\lcurBox=% + \hbox{\box\lcurBox\unhcopy\myBoxA\box\rcurBox}% + \else% + \htLbox = \ht\lcurBox% + \htAbox = \ht\myBoxA% + \htRbox = \ht\rcurBox% + \setbox\lcurBox=% + \hbox{\lower\htLbox\box\lcurBox% + \lower\htAbox\box\myBoxA\lower\htRbox\box\rcurBox}% + \fi% + % Adjust center of upper hypotheses according to how much + % the lower sequent is off-center. + \displace=\newCenter% + \advance\displace by -.5\newScoreStart% + \advance\displace by -.5\newScoreEnd% + \advance\lcurCenter by \displace% + %Align and join the curBox and the two hypotheses's box into one vbox. + \edef\curBox{\lcurBox}% + \edef\curScoreStart{\lcurScoreStart}% + \edef\curScoreEnd{\lcurScoreEnd}% + \edef\curCenter{\lcurCenter}% + \joinUnary% +} + +\def\joinTrinary{% Construct the trinary inference into a vbox. + % Join the three hypotheses's boxes into one hbox. + \setbox\myBoxA=\hbox{\theHypSeparation}% + \lcurScoreEnd=\rcurScoreEnd% + \advance\lcurScoreEnd by\wd\lcurBox% + \advance\lcurScoreEnd by\wd\ccurBox% + \advance\lcurScoreEnd by2\wd\myBoxA% + \displace=\lcurScoreEnd% + \advance\displace by -\lcurScoreStart% + \lcurCenter=.5\displace% + \advance\lcurCenter by\lcurScoreStart% + \ifx\rootAtBottomFlag\myTrue% + \setbox\lcurBox=% + \hbox{\box\lcurBox\unhcopy\myBoxA\box\ccurBox% + \unhcopy\myBoxA\box\rcurBox}% + \else% + \htLbox = \ht\lcurBox% + \htAbox = \ht\myBoxA% + \htCbox = \ht\ccurBox% + \htRbox = \ht\rcurBox% + \setbox\lcurBox=% + \hbox{\lower\htLbox\box\lcurBox% + \lower\htAbox\copy\myBoxA\lower\htCbox\box\ccurBox% + \lower\htAbox\copy\myBoxA\lower\htRbox\box\rcurBox}% + \fi% + % Adjust center of upper hypotheses according to how much + % the lower sequent is off-center. + \displace=\newCenter% + \advance\displace by -.5\newScoreStart% + \advance\displace by -.5\newScoreEnd% + \advance\lcurCenter by \displace% + %Align and join the curBox and the two hypotheses's box into one vbox. + \edef\curBox{\lcurBox}% + \edef\curScoreStart{\lcurScoreStart}% + \edef\curScoreEnd{\lcurScoreEnd}% + \edef\curCenter{\lcurCenter}% + \joinUnary% +} + +\def\DisplayProof{% + % Display (and purge) the proof tree. + % Choose the appropriate vertical alignment. + \ifnum \theLevel=1 \relax \else%x + \errmessage{Proof tree badly specified.}% + \fi% + \edef\curBox{\thecur{myBox}}% + \ifx\bottomAlignFlag\myTrue% + \displace=0pt% + \else% + \displace=.5\ht\curBox% + \ifx\centerAlignFlag\myTrue\relax + \else% + \advance\displace by -3pt% + \fi% + \fi% + \leavevmode% + \lower\displace\hbox{\copy\curBox}% + \global\theLevel=0% + \global\def\alwaysBuildScore{\defaultBuildScore}% Restore "always" + \global\def\alwaysScoreFiller{\defaultScoreFiller}% Restore "always" + \global\def\bottomAlignFlag{N}% + \global\def\centerAlignFlag{N}% + \resetRootPosition + \resetInferenceDefaults% + \ignorespaces +} + +\def\buildSingleScore{% Make an hbox with a single score. + \displace=\curScoreEnd% + \advance \displace by -\curScoreStart% + \global\setbox \myBoxD =% + \hbox to \displace{\expandafter\xleaders\theScoreFiller\hfill}% + %\global\setbox \myBoxD =% + %\hbox{\hskip\curScoreStart\relax \box\myBoxD}% +} + +\def\buildDoubleScore{% Make an hbox with a double score. + \buildSingleScore% + \global\setbox\myBoxD=% + \hbox{\hbox to0pt{\copy\myBoxD\hss}\raise2pt\copy\myBoxD}% +} + +\def\buildNoScore{% Make an hbox with no score (raise a little anyway) + \global\setbox\myBoxD=\hbox{\vbox{\vskip1pt}}% +} + +\def\doubleLine{% + \gdef\buildScore{\buildDoubleScore}% Set next score to this type + \ignorespaces +} +\def\alwaysDoubleLine{% + \gdef\alwaysBuildScore{\buildDoubleScore}% Do double for rest of proof. + \gdef\buildScore{\buildDoubleScore}% Set next score to be double + \ignorespaces +} +\def\singleLine{% + \gdef\buildScore{\buildSingleScore}% Set next score to be single + \ignorespaces +} +\def\alwaysSingleLine{% + \gdef\alwaysBuildScore{\buildSingleScore}% Do single for rest of proof. + \gdef\buildScore{\buildSingleScore}% Set next score to be single + \ignorespaces +} +\def\noLine{% + \gdef\buildScore{\buildNoScore}% Set next score to this type + \ignorespaces +} +\def\alwaysNoLine{% + \gdef\alwaysBuildScore{\buildNoScore}%Do nolines for rest of proof. + \gdef\buildScore{\buildNoScore}% Set next score to be blank + \ignorespaces +} +\def\solidLine{% + \gdef\theScoreFiller{\ruleScoreFiller}% Use solid horizontal line. + \ignorespaces +} +\def\alwaysSolidLine{% + \gdef\alwaysScoreFiller{\ruleScoreFiller}% Do solid for rest of proof + \gdef\theScoreFiller{\ruleScoreFiller}% Use solid horizontal line. + \ignorespaces +} +\def\dottedLine{% + \gdef\theScoreFiller{\dottedScoreFiller}% Use dotted horizontal line. + \ignorespaces +} +\def\alwaysDottedLine{% + \gdef\alwaysScoreFiller{\dottedScoreFiller}% Do dotted for rest of proof + \gdef\theScoreFiller{\dottedScoreFiller}% Use dotted horizontal line. + \ignorespaces +} +\def\dashedLine{% + \gdef\theScoreFiller{\dashedScoreFiller}% Use dashed horizontal line. + \ignorespaces +} +\def\alwaysDashedLine{% + \gdef\alwaysScoreFiller{\dashedScoreFiller}% Do dashed for rest of proof + \gdef\theScoreFiller{\dashedScoreFiller}% Use dashed horizontal line. + \ignorespaces +} +\def\kernHyps#1{% + \gdef\hypKernAmt{#1}% + \ignorespaces +} +\def\insertBetweenHyps#1{% + \gdef\theHypSeparation{#1}% + \ignorespaces +} + +\def\centerAlignProof{% + \def\centerAlignFlag{Y}% + \def\bottomAlignFlag{N}% + \ignorespaces +} +\def\bottomAlignProof{% + \def\centerAlignFlag{N}% + \def\bottomAlignFlag{Y}% + \ignorespaces +} +\def\normalAlignProof{% + \def\centerAlignFlag{N}% + \def\bottomAlignFlag{N}% + \ignorespaces +} + +\def\LeftLabel#1{% + \global\setbox\myBoxLL=\hbox{{#1}\hskip\labelSpacing}% + \ignorespaces +} +\def\RightLabel#1{% + \global\setbox\myBoxRL=\hbox{\hskip\labelSpacing #1}% + \ignorespaces +} + +\def\buildScoreLabels{% + \scoreHeight = \ht\myBoxD% + \scoreDepth = \dp\myBoxD% + \leftLowerAmt=\ht\myBoxLL% + \advance \leftLowerAmt by -\dp\myBoxLL% + \advance \leftLowerAmt by -\scoreHeight% + \advance \leftLowerAmt by \scoreDepth% + \leftLowerAmt=.5\leftLowerAmt% + \rightLowerAmt=\ht\myBoxRL% + \advance \rightLowerAmt by -\dp\myBoxRL% + \advance \rightLowerAmt by -\scoreHeight% + \advance \rightLowerAmt by \scoreDepth% + \rightLowerAmt=.5\rightLowerAmt% + \displace = \curScoreStart% + \advance\displace by -\wd\myBoxLL% + \global\setbox\myBoxD =% + \hbox{\hskip\displace% + \lower\leftLowerAmt\copy\myBoxLL% + \box\myBoxD% + \lower\rightLowerAmt\copy\myBoxRL}% + \global\thisAboveSkip = \ht\myBoxLL% + \global\advance \thisAboveSkip by -\leftLowerAmt% + \global\advance \thisAboveSkip by -\scoreHeight% + \ifnum \thisAboveSkip<0 % + \global\thisAboveSkip=0pt% + \fi% + \displace = \ht\myBoxRL% + \advance \displace by -\rightLowerAmt% + \advance \displace by -\scoreHeight% + \ifnum \displace<0 % + \displace=0pt% + \fi% + \ifnum \displace>\thisAboveSkip % + \global\thisAboveSkip=\displace% + \fi% + \global\thisBelowSkip = \dp\myBoxLL% + \global\advance\thisBelowSkip by \leftLowerAmt% + \global\advance\thisBelowSkip by -\scoreDepth% + \ifnum\thisBelowSkip<0 % + \global\thisBelowSkip = 0pt% + \fi% + \displace = \dp\myBoxRL% + \advance\displace by \rightLowerAmt% + \advance\displace by -\scoreDepth% + \ifnum\displace<0 % + \displace = 0pt% + \fi% + \ifnum\displace>\thisBelowSkip% + \global\thisBelowSkip = \displace% + \fi% + \global\thisAboveSkip = -\thisAboveSkip% + \global\thisBelowSkip = -\thisBelowSkip% + \global\advance\thisAboveSkip by\extraVskip% Extra space above line + \global\advance\thisBelowSkip by\extraVskip% Extra space below line +} + +\def\resetInferenceDefaults{% + \global\def\theHypSeparation{\defaultHypSeparation}% + \global\setbox\myBoxLL=\hbox{\defaultLeftLabel}% + \global\setbox\myBoxRL=\hbox{\defaultRightLabel}% + \global\def\buildScore{\alwaysBuildScore}% + \global\def\theScoreFiller{\alwaysScoreFiller}% + \gdef\hypKernAmt{0pt}% Restore to zero kerning. +} + + +\def\rootAtBottom{% + \global\def\rootAtBottomFlag{Y}% +} + +\def\rootAtTop{% + \global\def\rootAtBottomFlag{N}% +} + +\def\resetRootPosition{% + \global\edef\rootAtBottomFlag{\defaultRootAtBottomFlag} +} + +\def\alwaysRootAtBottom{% + \global\def\defaultRootAtBottomFlag{Y} + \rootAtBottom +} + +\def\alwaysRootAtTop{% + \global\def\defaultRootAtBottomFlag{N} + \rootAtTop +} + + diff -r 80a196c82a4c -r ba30f7948580 poster/modus-ponens/modus-ponens.pdf Binary file poster/modus-ponens/modus-ponens.pdf has changed diff -r 80a196c82a4c -r ba30f7948580 poster/modus-ponens/modus-ponens.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/poster/modus-ponens/modus-ponens.tex Sat Feb 18 15:43:30 2017 +0900 @@ -0,0 +1,56 @@ +% {{{ settings +% vim:set fileencoding=utf8: +\documentclass[10pt]{jarticle} + +\usepackage{amsmath} +\usepackage{cprotect} +\usepackage{listings} +\usepackage{moreverb} +\usepackage{url} +\usepackage{bussproofs} +\usepackage[dvipdfmx]{graphicx} + +% equation number with section number +\makeatletter +\renewcommand{\theequation}{\arabic{section}-\arabic{equation}} +\@addtoreset{equation}{section} +\makeatother + +\setlength{\textwidth}{179mm} +\setlength{\textheight}{251mm} +\setlength{\topmargin}{-2cm} +\setlength{\oddsidemargin}{-1cm} +\setlength{\evensidemargin}{-1cm} + +% }}} + +\pagenumbering{gobble} + +\begin{document} + +\title{} +\author{} +\date{} + +\begin{prooftree} + \AxiomC{ $ [A] $ $_{(1)}$} + \AxiomC{ [$ (A \Rightarrow B) \land (B \Rightarrow C)$] $_{(2)}$ } + \RightLabel{ $ \land 1 \mathcal{E} $ } + \UnaryInfC{ $ (A \Rightarrow B) $ } + \RightLabel{ $ \Rightarrow \mathcal{E} $} + \BinaryInfC{ $ B $ } + + \AxiomC{ [$ (A \Rightarrow B) \land (B \Rightarrow C)$] $_{(2)}$ } + \RightLabel{ $ \land 2 \mathcal{E} $ } + \UnaryInfC{ $ (B \Rightarrow C) $ } + + \RightLabel{ $ \Rightarrow \mathcal{E} $} + \BinaryInfC{ $ C $ } + \RightLabel{ $ \Rightarrow \mathcal{I} _{(1)}$} + \UnaryInfC{ $ A \Rightarrow C $} + \RightLabel{ $ \Rightarrow \mathcal{I} _{(2)}$} + \UnaryInfC{ $ ((A \Rightarrow B) \land (B \Rightarrow C)) \Rightarrow (A \Rightarrow C) $} +\end{prooftree} + +\end{document} +