Mercurial > hg > Papers > 2017 > ryokka-midterm

changeset 4:0a6686180a13

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Agda,NaturalDeduction
author ryokka
date Thu, 26 Oct 2017 14:21:59 +0900
parents c91ffa1c55b1
children 8f91a416343d
files README.md final_pre/Makefile final_pre/dummy.tex final_pre/finalPre.aux final_pre/finalPre.bbl final_pre/finalPre.blg final_pre/finalPre.dvi final_pre/finalPre.fdb_latexmk final_pre/finalPre.fls final_pre/finalPre.log final_pre/finalPre.pdf final_pre/finalPre.tex final_pre/jlisting.sty final_pre/picins.sty final_pre/reference.bib midterm/fancyhdr.sty pic/emblem-bitmap.xbb
diffstat 17 files changed, 244 insertions(+), 1366 deletions(-) [+]
line wrap: on
line diff
--- a/README.md	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-auther: ryokka
-
-# thesis template
-
-このてんぷれーとはhttp://ie.u-ryukyu.ac.jp/dessertation/?p=196
-にある予稿pdf(TeX)のそれです(たぶんUTF-8だとおもう)
-
-構成は
-final-pre 中間予稿
-final     論文
-presen    プレゼン用資料
-の予定
--- a/final_pre/Makefile	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-# Created by Daichi Toma on Nov 16, 2011
-
-TARGET=finalPre
-
-LATEX=platex
-BIBTEX=pbibtex
-DVIPDF=dvipdfmx -p a4
-#You need setting "-l" option if You think You get a landscape PDF
-#DVIPDF_OPT=-l
-
-#Embed fonts
-#DVIPDF_OPT=-f hiraginoEmbed.map
-
-.SUFFIXES: .tex .dvi .pdf
-
-.tex.dvi:
-	$(LATEX) $<
-	$(BIBTEX) $(TARGET)
-	$(LATEX) $<
-	$(LATEX) $<
-
-.dvi.pdf:
-	$(DVIPDF) $(DVIPDF_OPT) $<
-
-
-all: $(TARGET).pdf
-	open $(TARGET).pdf
-
-dvi: $(TARGET).dvi
-
-pdf: $(TARGET).pdf
-
-
-clean:
-	rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core
-
--- a/final_pre/dummy.tex	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,60 +0,0 @@
-%%% jdummy.def
-%
-\DeclareRelationFont{JY1}{mc}{it}{}{OT1}{cmr}{it}{}
-\DeclareRelationFont{JT1}{mc}{it}{}{OT1}{cmr}{it}{}
-\DeclareFontShape{JY1}{mc}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*min
-    <10.95><12><14.4><17.28><20.74><24.88> min10
-    <-> min10}{}
-\DeclareFontShape{JT1}{mc}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*tmin
-    <10.95><12><14.4><17.28><20.74><24.88> tmin10
-    <-> tmin10}{}
-\DeclareRelationFont{JY1}{mc}{sl}{}{OT1}{cmr}{sl}{}
-\DeclareRelationFont{JT1}{mc}{sl}{}{OT1}{cmr}{sl}{}
-\DeclareFontShape{JY1}{mc}{m}{sl}{<5> <6> <7> <8> <9> <10> sgen*min
-    <10.95><12><14.4><17.28><20.74><24.88> min10
-    <-> min10}{}
-\DeclareFontShape{JT1}{mc}{m}{sl}{<5> <6> <7> <8> <9> <10> sgen*tmin
-    <10.95><12><14.4><17.28><20.74><24.88> tmin10
-    <-> tmin10}{}
-\DeclareRelationFont{JY1}{mc}{sc}{}{OT1}{cmr}{sc}{}
-\DeclareRelationFont{JT1}{mc}{sc}{}{OT1}{cmr}{sc}{}
-\DeclareFontShape{JY1}{mc}{m}{sc}{<5> <6> <7> <8> <9> <10> sgen*min
-    <10.95><12><14.4><17.28><20.74><24.88> min10
-    <-> min10}{}
-\DeclareFontShape{JT1}{mc}{m}{sc}{<5> <6> <7> <8> <9> <10> sgen*tmin
-    <10.95><12><14.4><17.28><20.74><24.88> tmin10
-    <-> tmin10}{}
-\DeclareRelationFont{JY1}{gt}{it}{}{OT1}{cmbx}{it}{}
-\DeclareRelationFont{JT1}{gt}{it}{}{OT1}{cmbx}{it}{}
-\DeclareFontShape{JY1}{mc}{bx}{it}{<5> <6> <7> <8> <9> <10> sgen*goth
-    <10.95><12><14.4><17.28><20.74><24.88> goth10
-    <-> goth10}{}
-\DeclareFontShape{JT1}{mc}{bx}{it}{<5> <6> <7> <8> <9> <10> sgen*tgoth
-    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
-    <-> tgoth10}{}
-\DeclareRelationFont{JY1}{gt}{sl}{}{OT1}{cmbx}{sl}{}
-\DeclareRelationFont{JT1}{gt}{sl}{}{OT1}{cmbx}{sl}{}
-\DeclareFontShape{JY1}{mc}{bx}{sl}{<5> <6> <7> <8> <9> <10> sgen*goth
-    <10.95><12><14.4><17.28><20.74><24.88> goth10
-    <-> goth10}{}
-\DeclareFontShape{JT1}{mc}{bx}{sl}{<5> <6> <7> <8> <9> <10> sgen*tgoth
-    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
-    <-> tgoth10}{}
-\DeclareRelationFont{JY1}{gt}{sc}{}{OT1}{cmbx}{sc}{}
-\DeclareRelationFont{JT1}{gt}{sc}{}{OT1}{cmbx}{sc}{}
-\DeclareFontShape{JY1}{mc}{bx}{sc}{<5> <6> <7> <8> <9> <10> sgen*goth
-    <10.95><12><14.4><17.28><20.74><24.88> goth10
-    <-> goth10}{}
-\DeclareFontShape{JT1}{mc}{bx}{sc}{<5> <6> <7> <8> <9> <10> sgen*tgoth
-    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
-    <-> tgoth10}{}
-\DeclareRelationFont{JY1}{gt}{it}{}{OT1}{cmr}{it}{}
-\DeclareRelationFont{JT1}{gt}{it}{}{OT1}{cmr}{it}{}
-\DeclareFontShape{JY1}{gt}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*goth
-    <10.95><12><14.4><17.28><20.74><24.88> goth10
-    <-> goth10}{}
-\DeclareFontShape{JT1}{gt}{m}{it}{<5> <6> <7> <8> <9> <10> sgen*tgoth
-    <10.95><12><14.4><17.28><20.74><24.88> tgoth10
-    <-> tgoth10}{}
-\endinput
-%%%% end of jdummy.def
--- a/final_pre/finalPre.aux	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-\relax 
-\citation{*}
-\bibstyle{junsrt}
-\bibdata{reference}
-\bibcite{kaito:2015}{1}
-\bibcite{llvm}{2}
-\@writefile{toc}{\contentsline {section}{\numberline {1}せくしょん}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {2}今後の課題}{1}}
--- a/final_pre/finalPre.bbl	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-\begin{thebibliography}{1}
-
-\bibitem{kaito:2015}
-{徳森 海斗, 河野真治}.
-\newblock Llvm clang 上の continuation based c コンパイラ の改良, 2015.
-
-\bibitem{llvm}
-{The LLVM Compiler Infrastructure}.
-\newblock \url{http://llvm.org}.
-
-\end{thebibliography}
--- a/final_pre/finalPre.blg	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,47 +0,0 @@
-This is pBibTeX, Version 0.99d-j0.33 (utf8.euc) (TeX Live 2016)
-Capacity: max_strings=35307, hash_size=35307, hash_prime=30011
-The top-level auxiliary file: finalPre.aux
-The style file: junsrt.bst
-Database file #1: reference.bib
-You've used 2 entries,
-            2270 wiz_defined-function locations,
-            546 strings with 4250 characters,
-and the built_in function-call counts, 341 in all, are:
-= -- 16
-> -- 8
-< -- 0
-+ -- 4
-- -- 2
-* -- 3
-:= -- 45
-add.period$ -- 4
-call.type$ -- 2
-change.case$ -- 1
-chr.to.int$ -- 0
-cite$ -- 2
-duplicate$ -- 22
-empty$ -- 49
-format.name$ -- 4
-if$ -- 81
-int.to.chr$ -- 0
-int.to.str$ -- 2
-missing$ -- 0
-newline$ -- 11
-num.names$ -- 2
-pop$ -- 22
-preamble$ -- 1
-purify$ -- 0
-quote$ -- 0
-skip$ -- 22
-stack$ -- 0
-substring$ -- 0
-swap$ -- 2
-text.length$ -- 0
-text.prefix$ -- 0
-top$ -- 0
-type$ -- 0
-warning$ -- 0
-while$ -- 2
-width$ -- 3
-write$ -- 17
-is.kanji.str$ -- 14
Binary file final_pre/finalPre.dvi has changed
--- a/final_pre/finalPre.fdb_latexmk	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,64 +0,0 @@
-# Fdb version 3
-["bibtex finalPre"] 1508159110 "finalPre.aux" "finalPre.bbl" "finalPre" 1508159111
-  "finalPre.aux" 1508159110 274 dda61d95357da4107ccf6ee2704b61c2 ""
-  "finalPre.bcf" 0 -1 0 ""
-  "junsrt.bst" 0 -1 0 ""
-  "reference.bib" 1495704071 639 40cd366700b46f001780c71f4608d3e3 ""
-  (generated)
-  "finalPre.bbl"
-["dvipdf"] 1508159111 "finalPre.dvi" "finalPre.pdf" "finalPre" 1508159111
-  "finalPre.dvi" 1508159110 1608 bc283e9dfdcab7e88dff872cb1176d13 "latex"
-  (generated)
-  "finalPre.pdf"
-["latex"] 1508159110 "finalPre.tex" "finalPre.dvi" "finalPre" 1508159111
-  "/usr/local/texlive/2016/texmf-dist/fonts/map/fontname/texfonts.map" 1272929888 3287 e6b82fe08f5336d4d5ebc73fb1152e87 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/goth10.tfm" 1463434352 1196 5981e79c37b2cfd27b3612a6783cd4b6 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/goth9.tfm" 1463434352 1196 b274fc006918dea9e5263e2117f4bddb ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min10.tfm" 1463434352 1196 1be730212205a270378fba11a44765dc ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min6.tfm" 1463434352 1196 ede67ffb8cb4a6a8b9436c82b428664c ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min8.tfm" 1463434352 1196 d5b431ce76e19b70391960a9dd08fa4f ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min9.tfm" 1463434352 1196 415df3c165ce605a3c248afbbe3c844b ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth10.tfm" 1463434352 856 7404843a5f798859944d7973a47821d5 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth9.tfm" 1463434352 856 bed293689e159275e10c27a9927115b7 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin10.tfm" 1463434352 856 39c171483fe1bb7d0e1368980c0c205b ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin9.tfm" 1463434352 856 b22b8128b44bf8881977f2c74b361f47 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1136768653 1324 c910af8c371558dc20f2d7822f66fe64 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1136768653 1328 5442e22a7072966dbaf88ca900acf3f0 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1136768653 1524 4414a8315f39513458b80dfc63bff03a ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1136768653 1288 655e228510b4c2a1abe905c368440826 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1136768653 1292 296a67155bdbfc32aa9c636f21e91433 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1136768653 1292 21c1c5bfeaebccffdb478fd231a0997d ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1136768653 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 ""
-  "/usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1136768653 768 1321e9409b4137d6fb428ac9dc956269 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/infwarerr.sty" 1463608860 8253 473e0e41f9adadb1977e8631b8f72ea6 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ltxcmds.sty" 1463608860 18425 5b3c0c59d76fac78978b5558e83c1f36 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/abstract/abstract.sty" 1252025310 5128 640a4c0ff76b3e578a4c5482af27ec14 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def" 1460062417 13436 2dcadf39017cb9d8459661645611b649 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty" 1160175134 20521 e5d13d98d57bd53d4fed3aa61bd29c86 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1459978653 3103 f32642b1cd56c010cdfb6545539b7f0b ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty" 1462915952 14391 bd64a9e5d07473b936423b5f3280ed2c ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty" 1428932888 8125 557ab9f1bfa80d369fb45a914aa8a3b4 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty" 1428932888 2594 d18d5e19aa8239cf867fa670c556d2e9 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty" 1454284088 3980 0a268fbfda01e381fa95821ab13b6aee ""
-  "/usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty" 1388531844 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/platex/base/jarticle.cls" 1462837567 25231 a08460ff81096cb3e80d7be01474f985 ""
-  "/usr/local/texlive/2016/texmf-dist/tex/platex/base/jsize10.clo" 1462837567 9313 f538ec39b9e111bf9320856d312460b2 ""
-  "/usr/local/texlive/2016/texmf-dist/web2c/texmf.cnf" 1463093894 31953 b9489e6e586f798610c60aec1f5ec548 ""
-  "/usr/local/texlive/2016/texmf-var/web2c/eptex/platex.fmt" 1492015362 4058165 6f29dcc32a458d782f15489197b9f3b3 ""
-  "/usr/local/texlive/2016/texmf.cnf" 1463979140 577 2938757e76f31531e65cc647e3507693 ""
-  "dummy.tex" 1495704071 2711 ebf4ee4460f50857f8ebbbf2d432d91e ""
-  "finalPre.aux" 1508159110 274 dda61d95357da4107ccf6ee2704b61c2 ""
-  "finalPre.bbl" 1508159110 411 b36e426bd4e981fd613443e5a9228e9a "bibtex finalPre"
-  "finalPre.tex" 1508159107 1440 92f7390716dd4ba6eda6426685f05d86 ""
-  "pic/emblem-bitmap.pdf" 0 -1 0 ""
-  "picins.sty" 1495704071 17807 916739e9c8f52c6a085688f05d1594e2 ""
-  (generated)
-  "finalPre.log"
-  "finalPre.dvi"
-  "finalPre.aux"
--- a/final_pre/finalPre.fls	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,72 +0,0 @@
-PWD /Users/ryokka/cr/ryokka-thesis/final_pre
-INPUT /usr/local/texlive/2016/texmf.cnf
-INPUT /usr/local/texlive/2016/texmf-dist/web2c/texmf.cnf
-INPUT /usr/local/texlive/2016/texmf.cnf
-INPUT /usr/local/texlive/2016/texmf-var/web2c/eptex/platex.fmt
-INPUT finalPre.tex
-OUTPUT finalPre.log
-INPUT /usr/local/texlive/2016/texmf-dist/tex/platex/base/jarticle.cls
-INPUT /usr/local/texlive/2016/texmf-dist/tex/platex/base/jarticle.cls
-INPUT /usr/local/texlive/2016/texmf-dist/tex/platex/base/jsize10.clo
-INPUT /usr/local/texlive/2016/texmf-dist/tex/platex/base/jsize10.clo
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def
-INPUT /usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/infwarerr.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/infwarerr.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
-INPUT picins.sty
-INPUT picins.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/abstract/abstract.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/abstract/abstract.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
-INPUT /usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
-INPUT dummy.tex
-INPUT dummy.tex
-INPUT finalPre.aux
-INPUT finalPre.aux
-OUTPUT finalPre.aux
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/map/fontname/texfonts.map
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min8.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min6.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin9.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min9.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth9.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/goth9.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/min10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/ptex-fonts/standard/goth10.tfm
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
-INPUT finalPre.bbl
-INPUT finalPre.bbl
-INPUT /usr/local/texlive/2016/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
-OUTPUT finalPre.dvi
-INPUT finalPre.aux
--- a/final_pre/finalPre.log	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,200 +0,0 @@
-This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.13)  16 OCT 2017 22:06
-entering extended mode
- restricted \write18 enabled.
- %&-line parsing enabled.
-**finalPre.tex
-(./finalPre.tex
-pLaTeX2e <2016/05/07> (based on LaTeX2e <2016/03/31>)
-Babel <3.9r> and hyphenation patterns for 83 language(s) loaded.
-(/usr/local/texlive/2016/texmf-dist/tex/platex/base/jarticle.cls
-Document Class: jarticle 2006/06/27 v1.6 Standard pLaTeX class
-\c@@paper=\count81
-(/usr/local/texlive/2016/texmf-dist/tex/platex/base/jsize10.clo
-File: jsize10.clo 2006/06/27 v1.6 Standard pLaTeX file (size option)
-)
-\c@part=\count82
-\c@section=\count83
-\c@subsection=\count84
-\c@subsubsection=\count85
-\c@paragraph=\count86
-\c@subparagraph=\count87
-\c@figure=\count88
-\c@table=\count89
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\symmincho=\mathgroup4
-LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
-(Font)                  JY1/mc/m/n --> JY1/gt/m/n on input line 593.
-\toclineskip=\dimen118
-\@lnumwidth=\dimen119
-\bibindent=\dimen120
-\heisei=\count90
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
-\KV@toks@=\toks15
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2016/05/09 v1.0r Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-File: graphics.cfg 2016/01/02 v1.10 sample graphics configuration
-)
-Package graphics Info: Driver file: dvipdfmx.def on input line 96.
-
-(/usr/local/texlive/2016/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def
-File: dvipdfmx.def 2016/04/06 v4.08 LaTeX color/graphics driver for dvipdfmx (T
-eX Live/ChoF)
-
-(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/infwarerr.sty
-Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
-)
-(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
-Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
-)))
-\Gin@req@height=\dimen121
-\Gin@req@width=\dimen122
-)
-(./picins.sty Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
-\@BILD=\box41
-\@TEXT=\box42
-\d@breite=\dimen123
-\d@hoehe=\dimen124
-\d@xoff=\dimen125
-\d@yoff=\dimen126
-\d@shad=\dimen127
-\d@dash=\dimen128
-\d@boxl=\dimen129
-\d@pichskip=\dimen130
-\d@tmp=\dimen131
-\d@tmpa=\dimen132
-\d@bskip=\dimen133
-\hsiz@=\dimen134
-\p@getot@l=\dimen135
-\c@breite=\count91
-\c@hoehe=\count92
-\c@xoff=\count93
-\c@yoff=\count94
-\c@pos=\count95
-\c@shad=\count96
-\c@dash=\count97
-\c@boxl=\count98
-\c@zeilen=\count99
-\@changemode=\count100
-\c@piccaption=\count101
-\c@piccaptionpos=\count102
-\c@picpos=\count103
-\c@whole=\count104
-\c@half=\count105
-\c@tmp=\count106
-\c@tmpa=\count107
-\c@tmpb=\count108
-\c@tmpc=\count109
-\c@tmpd=\count110
-\d@leftskip=\skip43
-\ptoti=\dimen136
-\ptotii=\dimen137
-\env@box=\box43
-\d@envdp=\dimen138
-\c@hsize=\count111
-\c@envdp=\count112
-\d@envb=\dimen139
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
-\fancy@headwidth=\skip44
-\f@ncyO@elh=\skip45
-\f@ncyO@erh=\skip46
-\f@ncyO@olh=\skip47
-\f@ncyO@orh=\skip48
-\f@ncyO@elf=\skip49
-\f@ncyO@erf=\skip50
-\f@ncyO@olf=\skip51
-\f@ncyO@orf=\skip52
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/abstract/abstract.sty
-Package: abstract 2009/06/08 v1.2a configurable abstracts
-\abstitleskip=\skip53
-\absleftindent=\skip54
-\absrightindent=\skip55
-\absparindent=\skip56
-\absparsep=\skip57
-)
-(/usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
-\Urlmuskip=\muskip10
-Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
-) (./dummy.tex)
-
-LaTeX Warning: Unused global option(s):
-    [9.5pt].
-
-(./finalPre.aux)
-\openout1 = `finalPre.aux'.
-
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 24.
-LaTeX Font Info:    ... okay on input line 24.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <12> on input line 33.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <8> on input line 33.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <6> on input line 33.
-LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <9> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 33.
-LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <9> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 33.
-LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <14.4> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 36.
-LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <14.4> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 36.
- (./finalPre.bbl
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <7> on input line 9.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <5> on input line 9.
-)
-
-LaTeX Warning: File `pic/emblem-bitmap.pdf' not found on input line 51.
-
-File: pic/emblem-bitmap.pdf Graphic file (type pdf)
-<pic/emblem-bitmap.pdf>
-
-Package Fancyhdr Warning: \headheight is too small (0.0pt): 
- Make it at least 20.37784pt.
- We now make it that large for the rest of the document.
- This may cause the page layout to be inconsistent, however.
-
-[1
-
-
-
-] (./finalPre.aux) ) 
-Here is how much of TeX's memory you used:
- 1224 strings out of 493693
- 14950 string characters out of 6149787
- 76544 words of memory out of 5000000
- 4798 multiletter control sequences out of 15000+600000
- 14789 words of font info for 58 fonts, out of 8000000 for 9000
- 929 hyphenation exceptions out of 8191
- 27i,15n,43p,248b,358s stack positions out of 5000i,500n,10000p,200000b,80000s
-
-Output written on finalPre.dvi (1 page, 1428 bytes).
Binary file final_pre/finalPre.pdf has changed
--- a/final_pre/finalPre.tex	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,51 +0,0 @@
-\documentclass[twocolumn,twoside,9.5pt]{jarticle}
-\usepackage[dvipdfmx]{graphicx}
-\usepackage{picins}
-\usepackage{fancyhdr}
-\usepackage{abstract}
-\usepackage{url}
-%\pagestyle{fancy}
-\lhead{\parpic{\includegraphics[height=1zw,keepaspectratio,bb=0 0 251 246]{pic/emblem-bitmap.pdf}}琉球大学主催 工学部情報工学科 卒業研究発表会}
-\rhead{}
-\cfoot{}
-
-\setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}}
-\setlength{\headheight}{0mm}
-\setlength{\headsep}{5mm}
-\setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}}
-\setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}}
-\setlength{\textwidth}{181mm}
-\setlength{\textheight}{261mm}
-\setlength{\footskip}{0mm}
-\pagestyle{empty}
-
-\input{dummy.tex}
-\renewcommand{\abstractname}{Abstract}
-\begin{document}
-\title{Agda言語によるCbC言語の信頼性の保証}
-%\title{Supporting NAT in Screen Sharing System TreeVNC}
-\author{145750B 氏名 {外間}{政尊} 指導教員 : 河野 真治}
-\date{}
-\twocolumn [
-\maketitle
-\begin{onecolabstract}
-あぶすと
-\end{onecolabstract}]
-\thispagestyle{fancy} 
-
-\section{せくしょん}
-ほんぶん１
-%\begin{figure}[htbp]
-%    \begin{center}
-%        \includegraphics[width=50mm]{./pic/treeVnc.pdf}
-%    \end{center}
-%    \caption{構成される木構造}
-%    \label{fig:tree}
-%\end{figure}
-
-\section{今後の課題}
-
-\nocite{*}
-\bibliographystyle{junsrt}
-\bibliography{reference}
-\end{document}
--- a/final_pre/jlisting.sty	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,216 +0,0 @@
-\NeedsTeXFormat{LaTeX2e}
-\def\filedate{2006/02/20}
-\def\fileversion{0.2}
-\ProvidesPackage{jlisting}[\filedate\space\fileversion\space(Thor)]
-%
-\newcount\lst@nextchar
-\let\lst@@ProcessSpace\lst@ProcessSpace
-\def\lst@ProcessSpace#1{%
-   \lst@check@chartype{#1}%
-      \lst@@ProcessSpace
-      \lst@whitespacetrue}
-\let\lst@@ProcessLetter\lst@ProcessLetter
-\def\lst@ProcessLetter#1#2{%
-   \lst@check@chartype{#2}%
-      {\lst@@ProcessLetter{#1}}%
-      \relax}
-\let\lst@@ProcessDigit\lst@ProcessDigit
-\def\lst@ProcessDigit#1#2{%
-   \lst@check@chartype{#2}%
-      {\lst@@ProcessDigit{#1}}%
-      \relax}
-\let\lst@@ProcessOther\lst@ProcessOther
-\def\lst@ProcessOther#1#2{%
-   \lst@check@chartype{#2}%
-      {\lst@@ProcessOther{#1}}%
-      \relax}
-\let\lst@@ProcessTabulator\lst@ProcessTabulator
-\def\lst@ProcessTabulator#1{%
-   \lst@check@chartype{#1}%
-      \lst@@ProcessTabulator
-      \relax}
-\def\lst@check@chartype#1#2#3{%
-   \edef\@tempa{\lst@nextchar=`\string#1\relax}%
-   \afterassignment\remove@to@nnil
-   \@tempa\@nnil
-   #2%
-   \ifnum\lst@nextchar<\@cclvi
-      #3%
-   \else
-      \lst@ifletter \else \lst@OutputOther \fi
-      \lst@whitespacefalse
-      \expandafter\lst@AppendJchar
-   \fi
-   #1}
-\def\lst@AppendJchar#1#2{%
-   \lst@check@chartype{#2}%
-      {\advance\lst@length\@ne\lst@Append{#1}}%
-      \relax}
-\def\lst@check@chartype@BOL#1{%
-   \edef\@tempa{\lst@nextchar=`\string#1\relax}%
-   \afterassignment\remove@to@nnil
-   \@tempa\@nnil
-   \ifnum\lst@nextchar<\@cclvi\else
-      \lst@whitespacefalse
-      \expandafter\lst@AppendJchar
-   \fi
-   #1}
-\def\lst@InputListing#1{%
-   \begingroup
-      \lsthk@PreSet \gdef\lst@intname{#1}%
-      \expandafter\lstset\expandafter{\lst@set}%
-      \lsthk@DisplayStyle
-      \catcode\active=\active
-      \lst@Init\relax \let\lst@gobble\z@
-      \lst@SkipToFirst
-      \lst@ifprint \def\lst@next{\lst@get@filecontents{#1}}%
-      \else        \let\lst@next\@empty
-      \fi
-      \lst@next
-      \lst@DeInit
-   \endgroup}
-\newread\lst@inputfile
-\def\lst@get@filecontents#1{%
-   \let\lst@filecontents\@empty
-   \openin\lst@inputfile=#1\relax
-   \let\@lst@get@filecontents@prevline\relax
-   \lst@get@filecontents@loop
-   \closein\lst@inputfile
-   \lst@filecontents\empty}
-\def\lst@get@filecontents@loop{%
-   \read\lst@inputfile to\@lst@get@filecontents@currline
-   \ifx\@lst@get@filecontents@prevline\relax\else
-      \expandafter\expandafter\expandafter\def
-      \expandafter\expandafter\expandafter\lst@filecontents
-      \expandafter\expandafter\expandafter{%
-         \expandafter\lst@filecontents\@lst@get@filecontents@prevline}%
-   \fi
-   \let\@lst@get@filecontents@prevline\@lst@get@filecontents@currline
-   \ifeof\lst@inputfile\else
-      \expandafter\lst@get@filecontents@loop
-   \fi}
-%%% [$B$3$N=hM}$b!$AjEv6/0z$G$9!%(B]
-\def\lst@BOLGobble{%
-   \ifnum\lst@gobble>\z@
-      \@tempcnta\lst@gobble\relax
-      \expandafter\lst@BOLGobble@
-   \else
-      \expandafter\lst@check@chartype@BOL
-   \fi}
-\def\lst@BOLGobble@#1{%
-   \let\lst@next#1%
-   \ifx \lst@next\relax\else
-   \ifx \lst@next\lst@MProcessListing\else
-   \ifx \lst@next\lst@ProcessFormFeed\else
-   \ifx \lst@next\lstenv@backslash
-      \let\lst@next\lstenv@BOLGobble@@
-   \else
-      \let\lst@next\lst@BOLGobble@@
-      \ifx #1\lst@ProcessTabulator
-         \advance\@tempcnta-\lst@tabsize\relax
-         \ifnum\@tempcnta<\z@
-            \lst@length-\@tempcnta \lst@PreGotoTabStop
-         \fi
-      \else
-         \edef\@tempa{\lst@nextchar=`\string#1\relax}%
-         \@tempa
-         \ifnum\lst@nextchar<\@cclvi\else
-            \advance\@tempcnta\m@ne
-         \fi
-         \advance\@tempcnta\m@ne
-      \fi
-   \fi \fi \fi \fi
-   \lst@next}
-\def\lst@BOLGobble@@{%
-   \ifnum\@tempcnta>\z@
-      \expandafter\lst@BOLGobble@
-   \else
-      \expandafter\lst@check@chartype@BOL
-   \fi
-}
-%
-%    \begin{$B=$@5;v9`(B}{1.3}
-% $B$A$g$C$H$7$?=$@5(B
-\gdef\lst@breakProcessOther#1{\lst@ProcessOther#1}
-% $B%=!<%9%3!<%IL\<!$K$*$1$kJ8;z$HHV9f$N6u$-(B
-\let \l@lstlisting = \l@figure
-% $B%-%c%W%7%g%s$H%=!<%9%3!<%IL\<!$KBP$9$kF|K\8lBP1~(B
-\def\lstlistingname{$B%=!<%9%3!<%I(B}
-\def\lstlistlistingname{$B%=!<%9%3!<%IL\<!(B}
-%    \end{$B=$@5;v9`(B}
-\endinput
-% 
-%#!platex
-\documentclass[papersize]{jsarticle}
-% Macros
-\IfFileExists{dvipdfmx.def}{%
-  \usepackage[dvipdfmx]{color,graphicx}%
-}{%
-  \usepackage[dvipdfm]{color,graphicx}%
-}
-\usepackage{listings}[2004/09/07]
-\usepackage{jlisting}[2006/02/20]
-\usepackage{url} 
-\usepackage{verbatim}
-
-\makeatletter
-% Original Macros
-\def\email#1{\gdef\@email{\texttt{#1}}}
-\def\homepage#1{\gdef\@homepage{\texttt{#1}}}
-\def\mac#1{\textsf{#1}}
-\def\URL#1{\texttt{#1}}
-\def\src#1{\texttt{#1}}
-
-% Dvipdfmx.def 
-\def\dvipdfmxDefi{http://tex.dante.jp/ok/dvipdfmx/}
-\def\dvipdfmxDefii{http://ftp.ktug.or.kr/KTUG/dvipdfmx/contrib/latex/}
-
-\IfFileExists{dvipdfmx.def}{%
-   \let \IfDvipdfmxDef = \empty \relax}{%
-   \typeout{^^Jget dvipdfmx.def at \dvipdfmxDefi^^J
-            or \dvipdfmxDefii^^J}%
-   \def\IfDvipdfmxDef{Get \src{dvipdfmx.def} at \URL \dvipdfmxDefii \\ 
-      or \URL \dvipdfmxDefi.}%
-}
-
-% Author Info
-\author   {Th\'or Watanabe\thanks \@email \space \thanks \@homepage}
-\title    {\mac{jlisting.sty}\\
-          ---Japanese Localized Patch File of \mac{listings}---}
-\email    {thor@tex.dante.jp}
-\homepage {http://tex.dante.jp/typo/}
-\date     {2006/02/20}
-
-\makeatother
-
-\begin{document}
-\maketitle
-%\IfDvipdfmxDef
-
-\section{$B$A$g$C$H$7$?@bL@(B}% Short Description
- 
-$B1|B<@2I';a$N7G<(HD$N!VHFMQE*$JIbF0BN!W$H$$$&0lO"$N=q$-9~$_$+$i(B
-$BE>:\$7$^$7$?!#(B
-
-\begin{quote}
- \url{http://http://cise.edu.mie-u.ac.jp/~okumura/texfaq/qa/21172.html}\\
- \url{http://http://cise.edu.mie-u.ac.jp/~okumura/texfaq/qa/21184.html}\\
- \url{http://http://cise.edu.mie-u.ac.jp/~okumura/texfaq/qa/21189.html}\\
- \url{http://http://cise.edu.mie-u.ac.jp/~okumura/texfaq/qa/21197.html}
-\end{quote}
-
- Copyright $B$O5H1JE/H~;a$K$"$k$N$@$H;W$$$^$9!%(B
- 
-\section{$B99?7MzNr(B}% ChageLogs
-
-\begin{description}
- \item[ver.~0.1 (2004/03/24)]
-   $B$H$j$"$($:8x3+!%(B
- \item[ver.~0.2 (2006/02/20)] 
-   \verb|\lst@breakProcessOther| $BL?Na$NDj5A$NDI2C!%(B
-\end{description}
-
-\section{$B%=!<%9%3!<%I(B}
-\par\narrowbaselines
-\verbatiminput{jlisting.sty}
-\end{document}
--- a/final_pre/picins.sty	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,578 +0,0 @@
-%       PICINS.STY --- Style File zum Einbinden von Bildern
-%       Autor:  J. Bleser, E. Lang
-%       Hochschulrechenzentrum
-%       Technische Hochschule Darmstadt
-%       !!!  Dieses Style-File ist urheberrechtlich geschuetzt  !!!
-%       !!!  Aenderungen nur mit Zustimmung der Autoren         !!!
-\message{Option `picins' Version 3.0  Sep. 1992, TH Darmstadt/HRZ}
-\newbox\@BILD%
-\newbox\@TEXT%
-\newdimen\d@breite%
-\newdimen\d@hoehe%
-\newdimen\d@xoff%
-\newdimen\d@yoff%
-\newdimen\d@shad%
-\newdimen\d@dash%
-\newdimen\d@boxl%
-\newdimen\d@pichskip%
-\newdimen\d@tmp
-\newdimen\d@tmpa
-\newdimen\d@bskip
-\newdimen\hsiz@%
-\newdimen\p@getot@l%
-\newcount\c@breite
-\newcount\c@hoehe
-\newcount\c@xoff
-\newcount\c@yoff
-\newcount\c@pos
-\newcount\c@shad
-\newcount\c@dash
-\newcount\c@boxl
-\newcount\c@zeilen%
-\newcount\@changemode%
-\newcount\c@piccaption%
-\newcount\c@piccaptionpos%
-\newcount\c@picpos
-\newcount\c@whole%
-\newcount\c@half%
-\newcount\c@tmp
-\newcount\c@tmpa
-\newcount\c@tmpb
-\newcount\c@tmpc
-\newcount\c@tmpd
-\newskip\d@leftskip
-\newif\if@list \@listfalse%
-\newif\if@offset%
-
-
-\c@piccaptionpos=1%
-\c@picpos=0
-\d@shad=4pt%
-\d@dash=4pt%
-\d@boxl=10pt%
-\d@pichskip=1em%
-\@changemode=0%
-\def\@captype{figure}%
-\let\old@par=\par%
-
-\def\pichskip#1{\d@pichskip #1\relax}
-
-
-\def\shadowthickness#1{\d@shad #1\relax}
-
-
-\def\dashlength#1{\d@dash #1\relax}
-
-
-\def\boxlength#1{\d@boxl #1\relax}
-
-
-\def\picchangemode{\@changemode=1}%
-\def\nopicchangemode{\@changemode=0}%
-
-
-\def\piccaptionoutside{\c@piccaptionpos=1}%
-\def\piccaptioninside{\c@piccaptionpos=2}%
-\def\piccaptionside{\c@piccaptionpos=3}%
-\def\piccaptiontopside{\c@piccaptionpos=4}%
-
-\def\piccaption{\@ifnextchar [{\@piccaption}{\@piccaption[]}}
-\def\@piccaption[#1]#2{\c@piccaption=1\def\sh@rtf@rm{#1}\def\capti@nt@xt{#2}}
-\def\make@piccaption{%
- \hsiz@\d@breite%
- \ifnum\c@piccaptionpos=2%
-   \advance\hsiz@ -2\fboxsep%
- \fi%
- \ifnum\c@piccaptionpos>2%
-   \hsiz@\hsize\advance\hsiz@-\d@breite\advance\hsiz@-\d@pichskip%
- \fi%
- \setbox\@TEXT=\vbox{\hsize\hsiz@\caption[\sh@rtf@rm]{\capti@nt@xt}}%
-}
-
-
-
-\def\newcaption{\refstepcounter\@captype\@dblarg{\@newcaption\@captype}}
-\long\def\@newcaption#1[#2]#3{%
-  \old@par%
-  \addcontentsline{\csname ext@#1\endcsname }{#1}%
-    {\protect\numberline{\csname the#1\endcsname}{\ignorespaces #2}}
-  \begingroup\@parboxrestore\normalsize%
-    \@newmakecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\old@par%
-  \endgroup%
-}
-\long\def\@newmakecaption#1#2{%
-  \vskip 10pt%
-  \setbox\@tempboxa \hbox {#1: #2}%
-  \ifdim \wd\@tempboxa >\hsize%
-    \setbox0=\hbox{#1: }\dimen0=\hsize\advance\dimen0 by-\wd0
-    \setbox1=\vtop{\hsize=\dimen0 #2}
-    \hbox{\box0 \box1}
-    \par
-  \else \hbox to\hsize {\hfil \box \@tempboxa \hfil}
-  \fi
-}
-
-
-
-
-
-\def\parpic{%
-  \@ifnextchar ({\iparpic}{\iparpic(0pt,0pt)}
-}
-\def\iparpic(#1,#2){%
-  \@ifnextchar ({\@offsettrue\iiparpic(#1,#2)}%
-                {\@offsetfalse\iiparpic(#1,#2)(0pt,0pt)}
-}
-\def\iiparpic(#1,#2)(#3,#4){%
-  \@ifnextchar [{\iiiparpic(#1,#2)(#3,#4)}{\iiiparpic(#1,#2)(#3,#4)[l]}
-}
-\def\iiiparpic(#1,#2)(#3,#4)[#5]{%
-  \@ifnextchar [{\ivparpic(#1,#2)(#3,#4)[#5]}{\ivparpic(#1,#2)(#3,#4)[#5][]}
-}
-\def\ivparpic(#1,#2)(#3,#4)[#5][#6]#7{%
- \let\par=\old@par\par%
- \hangindent0pt\hangafter1%
- \setbox\@BILD=\hbox{#7}%
- \d@breite=#1\d@breite=\the\d@breite%
- \ifdim\d@breite=0pt\d@breite=\wd\@BILD\fi%
- \c@breite=\d@breite\divide\c@breite by65536%
- \multiply\c@piccaption\c@piccaptionpos%
- \d@hoehe=#2\d@hoehe=\the\d@hoehe%
- \ifdim\d@hoehe=0pt\d@hoehe=\ht\@BILD\advance\d@hoehe by\dp\@BILD\fi%
- \c@hoehe=\d@hoehe\divide\c@hoehe by65536%
- \d@xoff=#3\c@xoff=\d@xoff\divide\c@xoff by65536%
- \d@yoff=\d@hoehe%
- \advance\d@yoff by-#4\c@yoff=\d@yoff\divide\c@yoff by65536%
- \c@pos=1\unitlength1pt%
- \if@offset%
-   \setbox\@BILD=\hbox{%
-     \begin{picture}(\c@breite,\c@hoehe)%
-       \put(0,0){\makebox(\c@breite,\c@hoehe){}}%
-       \put(\c@xoff,\c@yoff){\box\@BILD}%
-     \end{picture}%
-   }%
- \else%
-   \setbox\@BILD=\hbox{%
-     \begin{picture}(\c@breite,\c@hoehe)%
-       \put(0,0){\makebox(\c@breite,\c@hoehe)[#6]{\box\@BILD}}%
-     \end{picture}%
-   }%
- \fi%
- \ifnum\c@piccaption=2%
-   \make@piccaption%
-   \advance\d@hoehe\ht\@TEXT\advance\d@hoehe\dp\@TEXT%
-   \c@hoehe=\d@hoehe\divide\c@hoehe by65536%
-   \setbox\@BILD=\vbox{\box\@BILD\vspace{-5pt}%
-                       \hbox{\hspace{\fboxsep}\box\@TEXT}%
-                       \vspace{4pt}}%
- \fi%
- \@tfor\@tempa := #5\do{%
-   \if\@tempa f\setbox\@BILD=\hbox{\Rahmen(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-   \if\@tempa s\setbox\@BILD=\hbox{\Schatten(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-   \if\@tempa o\setbox\@BILD=\hbox{\Oval(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-   \if\@tempa d\setbox\@BILD=\hbox{\Strich(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-   \if\@tempa x\setbox\@BILD=\hbox{\Kasten(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-   \if\@tempa l\c@pos=1\fi%
-   \if\@tempa r\c@pos=2\fi%
- }%
- \ifnum\c@piccaption=1%
-   \make@piccaption%
-   \advance\d@hoehe\ht\@TEXT\advance\d@hoehe\dp\@TEXT%
-   \c@hoehe=\d@hoehe\divide\c@hoehe by65536%
-   \setbox\@BILD=\vbox{\box\@BILD\vspace{-5pt}\hbox{\box\@TEXT}\vspace{4pt}}%
- \fi%
- \ifodd\count0\c@picpos=0\else\c@picpos=\@changemode\fi%
- \pagetotal=\the\pagetotal%
- \d@tmp=\pagegoal\advance\d@tmp by-\pagetotal\advance\d@tmp by-\baselineskip%
- \ifdim\d@hoehe>\d@tmp%
-   \vskip 0pt plus\d@hoehe\relax\pagebreak[3]\vskip 0pt plus-\d@hoehe\relax%
-   \ifnum\c@picpos=1\c@picpos=0\else\c@picpos=\@changemode\fi%
- \fi%
- \ifnum\c@picpos=1\ifnum\c@pos=1\c@pos=2\else\c@pos=1\fi\fi%
- \ifnum\@listdepth>0
-   \@listtrue\parshape 0%
-   \advance\hsize -\rightmargin%
-   \d@leftskip \leftskip%
-   \leftskip \@totalleftmargin%
-   \if@inlabel\rule{\linewidth}{0pt}\vskip-\baselineskip\relax\fi%
- \else\@listfalse\medskip%
- \fi%
- \if@list\d@tmpa=\linewidth\else\d@tmpa=\hsize\fi%
- \ifnum\c@piccaption=3%
-   \make@piccaption%
-   \d@tmp\ht\@TEXT\advance\d@tmp\dp\@TEXT%
-   \ifdim\d@hoehe>\d@tmp%
-     \setbox\@TEXT=\vbox to\d@hoehe{\vfill\box\@TEXT\vspace{.2\baselineskip}\vfill}%
-   \else%
-     \setbox\@BILD=\vbox to\d@tmp{\vfill\box\@BILD\vfill}%
-     \d@hoehe\d@tmp%
-   \fi%
- \fi%
- \ifnum\c@piccaption=4%
-   \make@piccaption%
-   \d@tmp\ht\@TEXT\advance\d@tmp\dp\@TEXT%
-   \setbox\@TEXT=\vbox to\d@hoehe{\vspace{-10pt}\box\@TEXT\vfil}%
-   \advance\d@hoehe-\d@tmp%
- \fi%
- \ifnum\c@pos=1\d@tmpa=0pt%
-   \ifnum\c@piccaption>2%
-      \setbox\@BILD=\hbox{\box\@BILD\hspace{\d@pichskip}\hbox{\box\@TEXT}}%
-   \fi%
- \else\advance\d@tmpa by-\wd\@BILD\d@breite=-\d@breite%
-   \ifnum\c@piccaption>2%
-      \d@tmpa=0pt%
-      \setbox\@BILD=\hbox{\hbox{\box\@TEXT}\hspace{\d@pichskip}\box\@BILD}%
-   \fi%
- \fi%
- \p@getot@l\the\pagetotal%
- \d@bskip\d@hoehe\advance\d@bskip by\parskip\advance\d@bskip by.3\baselineskip%
- {\noindent\hspace*{\d@tmpa}\relax%
-  \box\@BILD\nopagebreak\vskip-\d@bskip\relax\nopagebreak}%
- \d@tmp=-\d@hoehe\divide\d@tmp by\baselineskip%
- \c@zeilen=\d@tmp\advance\c@zeilen by-1%
- \ifdim\d@breite<0pt\advance\d@breite by-\d@pichskip%
- \else\advance\d@breite by\d@pichskip%
- \fi%
- \hangindent=\d@breite%
- \hangafter=\c@zeilen%
- \let\par=\x@par%
- \ifnum\c@piccaption=3%
-    \hangindent0pt\hangafter1\let\par=\old@par%
-    \vskip\d@hoehe\vskip.2\baselineskip%
- \fi%
- \c@piccaption=0%
-}
-
-
-
-
-\newdimen\ptoti
-\newdimen\ptotii
-\def\x@par{%
- \ptoti\pagetotal%
- \old@par%
- \ptotii\pagetotal%
- \ifdim\ptoti=\ptotii%
-   \d@tmp\d@hoehe%
- \else%
-   \d@tmp\baselineskip%
-   \multiply\d@tmp by\prevgraf%
-   \advance\d@tmp by\parskip%
-   \global\advance\d@hoehe by-\d@tmp\d@tmp=\d@hoehe%
- \fi%
- \ifdim\d@hoehe>0pt%
-   \divide\d@tmp by\baselineskip\c@zeilen=-\d@tmp\advance\c@zeilen by-1%
-   \c@zeilen=\the\c@zeilen%
- \else\c@zeilen=0
- \fi
- \ifnum\c@zeilen<0\hangafter=\c@zeilen\hangindent=\d@breite%
- \else\let\par=\old@par%
-   \hangindent 0pt%
-   \leftskip \d@leftskip%
-   \if@list\parshape \@ne \@totalleftmargin \linewidth%
-     \advance\hsize \rightmargin%
-   \fi%
- \fi%
-}
-
-
-\def\picskip#1{%
- \let\par=\old@par%
- \par%
- \pagetotal\the\pagetotal%
- \c@tmp=#1\relax%
- \ifnum\c@tmp=0%
-   \d@tmp\baselineskip\multiply\d@tmp by\prevgraf\advance\d@tmp\parskip%
-   \ifdim\p@getot@l<\pagetotal
-     \advance\d@hoehe by-\d@tmp\advance\d@hoehe by1ex%
-     \ifdim\d@hoehe>0pt\vspace*{\d@hoehe}\fi%
-   \fi%
-   \ifdim\p@getot@l=\pagetotal%
-     \advance\d@hoehe by-\d@tmp\advance\d@hoehe by1ex%
-     \ifdim\d@hoehe>0pt\vspace*{\d@hoehe}\fi%
-   \fi%
- \else\hangafter=-\c@tmp\hangindent=\d@breite%
- \fi%
- \leftskip \d@leftskip%
- \if@list\parshape \@ne \@totalleftmargin \linewidth%
-   \advance\hsize \rightmargin%
- \fi%
-}
-
-
-
-
-
-
-\def\hpic{%
-  \@ifnextchar ({\ihpic}{\ihpic(0pt,0pt)}
-}
-\def\ihpic(#1,#2){%
-  \@ifnextchar ({\@offsettrue\iihpic(#1,#2)}%
-                {\@offsetfalse\iihpic(#1,#2)(0pt,0pt)}
-}
-\def\iihpic(#1,#2)(#3,#4){%
-  \@ifnextchar [{\iiihpic(#1,#2)(#3,#4)}{\iiihpic(#1,#2)(#3,#4)[l]}
-}
-\def\iiihpic(#1,#2)(#3,#4)[#5]{%
-  \@ifnextchar [{\ivhpic(#1,#2)(#3,#4)[#5]}{\ivhpic(#1,#2)(#3,#4)[#5][]}
-}
-\def\ivhpic(#1,#2)(#3,#4)[#5][#6]#7{%
-  \setbox\@BILD=\hbox{#7}%
-  \d@breite=#1\d@breite=\the\d@breite%
-  \ifdim\d@breite=0pt\d@breite=\wd\@BILD\fi%
-  \c@breite=\d@breite\divide\c@breite by65536%
-  \d@hoehe=#2\d@hoehe=\the\d@hoehe%
-  \ifdim\d@hoehe=0pt\d@hoehe=\ht\@BILD\advance\d@hoehe by\dp\@BILD\fi%
-  \c@hoehe=\d@hoehe\divide\c@hoehe by65536%
-  \d@xoff=#3\c@xoff=\d@xoff\divide\c@xoff by65536%
-  \d@yoff=\d@hoehe%
-  \advance\d@yoff by-#4\c@yoff=\d@yoff\divide\c@yoff by65536%
-  \c@pos=0\d@tmpa=\parindent\parindent=0pt\unitlength1pt%
-  \if@offset
-    \setbox\@BILD=\hbox{%
-      \begin{picture}(\c@breite,\c@hoehe)%
-        \put(0,0){\makebox(\c@breite,\c@hoehe){}}%
-        \put(\c@xoff,\c@yoff){\box\@BILD}%
-      \end{picture}%
-    }%
-  \else%
-    \setbox\@BILD=\hbox{%
-      \begin{picture}(\c@breite,\c@hoehe)%
-        \put(0,0){\makebox(\c@breite,\c@hoehe)[#6]{\box\@BILD}}%
-      \end{picture}%
-    }%
-  \fi%
-  \@tfor\@tempa := #5\do{%
-    \if\@tempa f\setbox\@BILD=\hbox{\Rahmen(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-    \if\@tempa s\setbox\@BILD=\hbox{\Schatten(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-    \if\@tempa o\setbox\@BILD=\hbox{\Oval(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-    \if\@tempa d\setbox\@BILD=\hbox{\Strich(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-    \if\@tempa x\setbox\@BILD=\hbox{\Kasten(\c@breite,\c@hoehe){\box\@BILD}}\fi%
-    \if\@tempa t\c@pos=1\fi%
-    \if\@tempa b\c@pos=2\fi%
-  }%
- \ifnum\c@pos=0\parbox{\d@breite}{\makebox[0cm]{}\\\box\@BILD\smallskip}\fi%
- \ifnum\c@pos=1\parbox[t]{\d@breite}{\makebox[0cm]{}\\\box\@BILD\smallskip}\fi%
- \ifnum\c@pos=2\parbox[b]{\d@breite}{\makebox[0cm]{}\\\box\@BILD\smallskip}\fi%
- \parindent=\d@tmpa%
-}
-
-
-
-
-
-
-\def\Rahmen(#1,#2)#3{%
-  \c@whole=\@wholewidth\divide\c@whole by65536%
-  \c@half=\@halfwidth\divide\c@half by65536%
-  \c@tmpa=#1\advance\c@tmpa by\c@whole\advance\c@tmpa by\c@whole%
-  \c@tmpb=#2\advance\c@tmpb by\c@whole\advance\c@tmpb by\c@whole%
-  \begin{picture}(\c@tmpa,\c@tmpb)%
-    \put(\c@whole,\c@half){\framebox(#1,#2){#3}}%
-  \end{picture}%
-  \global\advance\d@breite by2\@wholewidth%
-  \global\advance\d@hoehe by2\@wholewidth%
-}
-
-
-\def\Schatten(#1,#2)#3{%
-  \c@whole=\@wholewidth\divide\c@whole by65536%
-  \c@half=\@halfwidth\divide\c@half by65536%
-  \c@shad=\d@shad\divide\c@shad by65536%
-  \c@tmp=\c@whole\advance\c@tmp by\c@whole\c@tmpd=\c@tmp%
-  \advance\c@tmp by\c@shad%
-  \advance\c@tmpd by#1%
-  \advance\c@half by\c@shad%
-  \c@tmpa=#1\advance\c@tmpa by\c@tmp%
-  \c@tmpb=#2\advance\c@tmpb by\c@tmp%
-  \begin{picture}(\c@tmpa,\c@tmpb)%
-    \put(\c@whole,\c@half){\framebox(#1,#2){#3}}%
-    \put(\c@shad,0){\rule{\c@tmpd pt}{\c@shad pt}}%
-    \put(\c@tmpd,0){\rule{\c@shad pt}{#2 pt}}%
-  \end{picture}%
-  \global\advance\d@breite by2\@wholewidth\global\advance\d@breite by\d@shad%
-  \global\advance\d@hoehe by2\@wholewidth\global\advance\d@hoehe by\d@shad%
-}
-
-
-\def\Oval(#1,#2)#3{%
-  \@wholewidth=0.4pt%
-  \c@tmpa=\the#1\divide\c@tmpa by2%
-  \c@tmpb=\the#2\divide\c@tmpb by2%
-  \begin{picture}(#1,#2)%
-    \put(\c@tmpa,\c@tmpb){\oval(#1,#2)}%
-    \put(0.4,0.4){#3}%
-  \end{picture}%
-  \global\advance\d@breite by1pt\global\advance\d@hoehe by1pt%
-}
-
-
-\def\Strich(#1,#2)#3{%
-  \c@whole=\@wholewidth\divide\c@whole by65536%
-  \c@half=\@halfwidth\divide\c@half by65536%
-  \c@dash=\d@dash\divide\c@dash by65536%
-  \c@tmp=\c@whole\advance\c@tmp by\c@whole%
-  \c@tmpa=#1\advance\c@tmpa by\c@tmp%
-  \c@tmpb=#2\advance\c@tmpb by\c@tmp%
-  \c@tmpc=#1\advance\c@tmpc by\c@whole%
-  \c@tmpd=#2\advance\c@tmpd by\c@whole%
-  \begin{picture}(\c@tmpa,\c@tmpb)%
-    \put(\c@half,\c@half){\dashbox{\c@dash}(\c@tmpc,\c@tmpd){#3}}%
-  \end{picture}%
-  \global\advance\d@breite by2\@wholewidth%
-  \global\advance\d@hoehe by2\@wholewidth%
-}
-
-
-\def\Kasten(#1,#2)#3{%
-  \@wholewidth=0.4pt%
-  \c@boxl=\d@boxl\divide\c@boxl by65536\c@boxl=\the\c@boxl%
-  \c@tmpa=#1\advance\c@tmpa by\c@boxl%
-  \c@tmpb=#2\advance\c@tmpb by\c@boxl%
-  \c@tmp=#2%
-  \begin{picture}(\c@tmpa,\c@tmpb)%
-    \put(0,\c@boxl){\framebox(#1,#2){#3}}%
-    \put(\c@boxl,0){\line(-1,1){\c@boxl}}%
-    \put(\c@boxl,0){\line(1,0){#1}\line(-1,1){\c@boxl}}%
-    \put(\c@boxl,0){\put(#1,0){\line(0,1){\c@tmp}%
-         \put(0,\c@tmp){\line(-1,1){\c@boxl}}}}%
-  \end{picture}%
-  \global\advance\d@breite by\d@boxl%
-  \global\advance\d@hoehe by\d@boxl%
-}
-
-
-
-
-
-\newbox\env@box%
-\newdimen\d@envdp
-\newcount\c@hsize
-\newcount\c@envdp
-\newdimen\d@envb
-
-\long\def\frameenv{\@ifnextchar [{\@frameenv}{\@frameenv[\textwidth]}}
-\long\def\@frameenv[#1]{%
- \hsiz@=\textwidth  \textwidth=#1  \d@envb=#1
- \advance\textwidth by-2\@wholewidth
- \advance\textwidth by-2\fboxsep
- \hsize=\textwidth   \linewidth=\textwidth
- \setbox\env@box=\vbox\bgroup}%
-\def\endframeenv{%
- \egroup%
- \hsize=\hsiz@  \textwidth=\hsiz@  \linewidth=\hsiz@
- \c@breite=\d@envb   \divide\c@breite by65536
- \advance\d@envb by-2\@wholewidth
- \c@hsize=\d@envb  \divide\c@hsize by65536%
- \d@envdp=\dp\env@box  \advance\d@envdp by\ht\env@box%
- \advance\d@envdp by2\fboxsep%
- \d@hoehe=\d@envdp   \advance\d@hoehe by2\@wholewidth
- \c@hoehe=\d@hoehe   \divide\c@hoehe by65536
- \c@envdp=\d@envdp   \divide\c@envdp by65536%
- \c@tmp=\@wholewidth \divide\c@tmp by65536
- \vskip\@wholewidth%
- \unitlength 1pt\noindent%
- \begin{picture}(\c@breite,\c@hoehe)(0,0)
-   \put(\c@tmp,\c@tmp){\framebox(\c@hsize,\c@envdp){\box\env@box}}
- \end{picture}%
-}
-
-
-
-\long\def\shadowenv{\@ifnextchar [{\@shadowenv}{\@shadowenv[\textwidth]}}
-\long\def\@shadowenv[#1]{%
- \hsiz@=\textwidth  \textwidth=#1  \d@envb=#1
- \advance\textwidth by-2\@wholewidth
- \advance\textwidth by-2\fboxsep
- \advance\textwidth by-\d@shad%
- \hsize=\textwidth   \linewidth=\textwidth
- \setbox\env@box=\vbox\bgroup}%
-\def\endshadowenv{%
- \egroup
- \hsize=\hsiz@  \textwidth=\hsiz@  \linewidth=\hsiz@
- \d@tmpa=\d@envb
- \c@breite=\d@envb   \divide\c@breite by65536
- \advance\d@envb by-2\@wholewidth  \advance\d@envb by-\d@shad
- \c@hsize=\d@envb  \divide\c@hsize by65536%
- \d@envdp=\dp\env@box  \advance\d@envdp by\ht\env@box%
- \advance\d@envdp by2\fboxsep%
- \c@envdp=\d@envdp   \divide\c@envdp by65536%
- \d@hoehe=\d@envdp
- \advance\d@hoehe by2\@wholewidth  \advance\d@hoehe by\d@shad
- \c@hoehe=\d@hoehe    \divide\c@hoehe by65536
- \c@shad =\d@shad     \divide\c@shad  by65536
- \c@tmp=\@wholewidth  \divide\c@tmp by65536
- \advance\d@tmpa by-2\d@shad
- \c@xoff =\d@tmpa     \divide\c@xoff by65536
- \advance\c@xoff by\c@shad  \advance\c@xoff by-1
- \advance\d@envdp by\@wholewidth
- \vskip\@halfwidth
- \unitlength 1pt\noindent%
- \begin{picture}(\c@breite,\c@hoehe)(0,0)
-    \put(\c@tmp,\c@shad){\framebox(\c@hsize,\c@envdp){\box\env@box}}
-    \put(\c@shad,0){\rule{\d@tmpa}{\d@shad}}%
-    \put(\c@xoff,0){\rule{\d@shad}{\d@envdp}}%
- \end{picture}%
- \vskip\@halfwidth
-}
-
-
-\long\def\dashenv{\@ifnextchar [{\@dashenv}{\@dashenv[\textwidth]}}
-\long\def\@dashenv[#1]{%
- \hsiz@=\textwidth  \textwidth=#1  \d@envb=#1
- \advance\textwidth by-2\@wholewidth  \advance\textwidth by-2\fboxsep
- \hsize=\textwidth   \linewidth=\textwidth
- \setbox\env@box=\vbox\bgroup}%
-\long\def\enddashenv{%
- \egroup
- \hsize=\hsiz@  \textwidth=\hsiz@  \linewidth=\hsiz@
- \c@breite=\d@envb   \divide\c@breite by65536
- \advance\d@envb by-\@wholewidth
- \c@hsize=\d@envb  \divide\c@hsize by65536%
- \d@envdp=\dp\env@box  \advance\d@envdp by\ht\env@box%
- \advance\d@envdp by2\fboxsep%
- \advance\d@envdp by\@wholewidth
- \d@hoehe=\d@envdp   \advance\d@hoehe by2\@wholewidth
- \c@hoehe=\d@hoehe   \divide\c@hoehe by65536
- \c@envdp=\d@envdp   \divide\c@envdp by65536%
- \c@dash=\d@dash     \divide\c@dash  by65536%
- \c@whole=\@wholewidth  \divide\c@whole by65536
- \c@half=\@halfwidth  \divide\c@half by 65536
- \noindent\unitlength 1pt
- \begin{picture}(\c@breite,\c@hoehe)(0,0)
-   \put(\c@half,\c@whole){\dashbox{\c@dash}(\c@hsize,\c@envdp){\box\env@box}}
- \end{picture}%
-}
-
-
-\long\def\ovalenv{\@ifnextchar [{\@ovalenv}{\@ovalenv[\textwidth]}}%
-\long\def\@ovalenv[#1]{%
- \hsiz@=\textwidth  \textwidth=#1  \d@envb=#1
- \advance\textwidth by-4\fboxsep
- \hsize=\textwidth   \linewidth=\textwidth
- \setbox\env@box=\vbox\bgroup}%
-\long\def\endovalenv{%
- \egroup
- \hsize=\hsiz@  \textwidth=\hsiz@  \linewidth=\hsiz@
- \@wholewidth=0.4pt
- \c@breite=\d@envb   \divide\c@breite by65536
- \advance\d@envb by-2\@wholewidth
- \c@hsize=\d@envb  \divide\c@hsize by65536%
- \d@envdp=\dp\env@box  \advance\d@envdp by\ht\env@box%
- \advance\d@envdp by4\fboxsep%
- \c@envdp=\d@envdp   \divide\c@envdp by65536%
- \d@hoehe=\d@envdp   \advance\d@hoehe by2\@wholewidth
- \c@hoehe=\d@hoehe   \divide\c@hoehe by65536
- \c@tmpa=\c@hsize   \divide\c@tmpa by2%
- \c@tmpb=\c@envdp   \divide\c@tmpb by2%
- \d@tmpa=2\fboxsep   \advance\d@tmpa by\@wholewidth
- \c@xoff=\d@tmpa     \divide\c@xoff  by65536%
- \advance\d@tmpa by\dp\env@box
- \c@yoff=\d@tmpa     \divide\c@yoff  by65536%
- \unitlength 1pt\noindent
- \begin{picture}(\c@breite,\c@hoehe)(0,0)
-   \put(\c@tmpa,\c@tmpb){\oval(\c@hsize,\c@envdp)}
-   \put(\c@xoff,\c@yoff){\box\env@box}%
- \end{picture}%
-}
--- a/final_pre/reference.bib	Wed Oct 25 18:01:41 2017 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-@Misc{kaito:2015,
-  author = "{徳森 海斗, 河野真治}",
-  title  = "LLVM Clang 上の Continuation based C コンパイラ の改良",
-  journal = "琉球大学工学部情報工学科平成 27 年度学位論文",
-  year = 2015
-}
-
-@Misc{llvm,
-  author = "{The LLVM Compiler Infrastructure}",
-  howpublished = "\url{http://llvm.org}"
-}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/midterm/fancyhdr.sty	Thu Oct 26 14:21:59 2017 +0900
@@ -0,0 +1,236 @@
+%%
+%% This is file `fancyhdr.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% fancyhdr.dtx  (with options: `fancyhdr')
+%% 
+%% This is a generated file.
+%% 
+%% This file 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/01 or later.
+%% 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{fancyhdr}%
+           [2017/06/30 v3.9a
+                  Extensive control of page headers and footers]%
+% Copyright (C) 1994-2016 by Piet van Oostrum <piet@vanoostrum.org>
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\def\if@nch@mpty#1{\def\temp@a{#1}\ifx\temp@a\@empty}
+\def\f@nch@def#1#2{\if@nch@mpty{#2}\f@nch@gbl\def#1{\leavevmode}\else
+                                   \f@nch@gbl\def#1{#2\strut}\fi}
+\let\f@nch@gbl\global
+\def\f@nch@errmsg#1{%
+  \ifx\PackageError\undefined \errmessage{#1}\else
+  \PackageError{Fancyhdr}{#1}{}\fi}
+\def\f@nch@warning#1{%
+  \ifx\PackageWarning\undefined \errmessage{#1}\else
+  \PackageWarning{Fancyhdr}{#1}{}\fi}
+\def\f@nch@forc#1#2#3{\expandafter\f@rc\expandafter#1\expandafter{#2}{#3}}
+\def\f@rc#1#2#3{\def\temp@ty{#2}\ifx\@empty\temp@ty\else
+                                    \f@nch@rc#1#2\f@nch@rc{#3}\fi}
+\def\f@nch@rc#1#2#3\f@nch@rc#4{\def#1{#2}#4\f@rc#1{#3}{#4}}
+\newcommand{\f@nch@for}[3]{\edef\@fortmp{#2}%
+  \expandafter\@forloop#2,\@nil,\@nil\@@#1{#3}}
+\newcommand\f@nch@default[3]{%
+  \edef\temp@a{\lowercase{\edef\noexpand\temp@a{#3}}}\temp@a \def#1{}%
+  \f@nch@forc\tmpf@ra{#2}%
+  {\expandafter\f@nch@ifin\tmpf@ra\temp@a{\edef#1{#1\tmpf@ra}}{}}%
+  \ifx\@empty#1\def#1{#2}\fi}
+\newcommand{\f@nch@ifin}[4]{%
+  \edef\temp@a{#2}\def\temp@b##1#1##2\temp@b{\def\temp@b{##1}}%
+  \expandafter\temp@b#2#1\temp@b\ifx\temp@a\temp@b #4\else #3\fi}
+\newcommand{\fancyhead}[2][]{\f@nch@fancyhf\fancyhead h[#1]{#2}}%
+\newcommand{\fancyfoot}[2][]{\f@nch@fancyhf\fancyfoot f[#1]{#2}}%
+\newcommand{\fancyhf}[2][]{\f@nch@fancyhf\fancyhf {}[#1]{#2}}%
+\newcommand{\fancyheadoffset}[2][]{\f@nch@fancyhfoffs\fancyheadoffset h[#1]{#2}}%
+\newcommand{\fancyfootoffset}[2][]{\f@nch@fancyhfoffs\fancyfootoffset f[#1]{#2}}%
+\newcommand{\fancyhfoffset}[2][]{\f@nch@fancyhfoffs\fancyhfoffset {}[#1]{#2}}%
+\def\f@nch@fancyhf#1#2[#3]#4{%
+  \def\temp@c{}%
+  \f@nch@forc\tmpf@ra{#3}%
+  {\expandafter\f@nch@ifin\tmpf@ra{eolcrhf,EOLCRHF}%
+    {}{\edef\temp@c{\temp@c\tmpf@ra}}}%
+  \ifx\@empty\temp@c\else \f@nch@errmsg{Illegal char `\temp@c' in
+    \string#1 argument: [#3]}%
+  \fi \f@nch@for\temp@c{#3}%
+  {\f@nch@default\f@nch@@eo{eo}\temp@c \if@twoside\else \if\f@nch@@eo
+    e\f@nch@warning {\string#1's `E' option without twoside option is
+      useless}\fi\fi \f@nch@default\f@nch@@lcr{lcr}\temp@c
+    \f@nch@default\f@nch@@hf{hf}{#2\temp@c}%
+    \f@nch@forc\f@nch@eo\f@nch@@eo
+        {\f@nch@forc\f@nch@lcr\f@nch@@lcr
+          {\f@nch@forc\f@nch@hf\f@nch@@hf
+            {\expandafter\f@nch@def\csname
+              f@nch@\f@nch@eo\f@nch@lcr\f@nch@hf\endcsname {#4}}}}}}
+\def\f@nch@fancyhfoffs#1#2[#3]#4{%
+  \def\temp@c{}%
+  \f@nch@forc\tmpf@ra{#3}%
+  {\expandafter\f@nch@ifin\tmpf@ra{eolrhf,EOLRHF}%
+    {}{\edef\temp@c{\temp@c\tmpf@ra}}}%
+  \ifx\@empty\temp@c\else \f@nch@errmsg{Illegal char `\temp@c' in
+    \string#1 argument: [#3]}%
+  \fi \f@nch@for\temp@c{#3}%
+  {\f@nch@default\f@nch@@eo{eo}\temp@c \if@twoside\else \if\f@nch@@eo
+    e\f@nch@warning {\string#1's `E' option without twoside option is
+      useless}\fi\fi \f@nch@default\f@nch@@lcr{lr}\temp@c
+    \f@nch@default\f@nch@@hf{hf}{#2\temp@c}%
+    \f@nch@forc\f@nch@eo\f@nch@@eo
+        {\f@nch@forc\f@nch@lcr\f@nch@@lcr
+          {\f@nch@forc\f@nch@hf\f@nch@@hf
+            {\expandafter\setlength\csname
+              f@nch@O@\f@nch@eo\f@nch@lcr\f@nch@hf\endcsname {#4}}}}}%
+  \f@nch@setoffs}
+\newcommand{\lhead}[2][\f@nch@olh]%
+                     {\f@nch@def\f@nch@olh{#2}\f@nch@def\f@nch@elh{#1}}
+\newcommand{\chead}[2][\f@nch@och]%
+                     {\f@nch@def\f@nch@och{#2}\f@nch@def\f@nch@ech{#1}}
+\newcommand{\rhead}[2][\f@nch@orh]%
+                     {\f@nch@def\f@nch@orh{#2}\f@nch@def\f@nch@erh{#1}}
+\newcommand{\lfoot}[2][\f@nch@olf]%
+                     {\f@nch@def\f@nch@olf{#2}\f@nch@def\f@nch@elf{#1}}
+\newcommand{\cfoot}[2][\f@nch@ocf]%
+                     {\f@nch@def\f@nch@ocf{#2}\f@nch@def\f@nch@ecf{#1}}
+\newcommand{\rfoot}[2][\f@nch@orf]%
+                     {\f@nch@def\f@nch@orf{#2}\f@nch@def\f@nch@erf{#1}}
+\newlength{\f@nch@headwidth} \let\headwidth\f@nch@headwidth
+\newlength{\f@nch@O@elh}
+\newlength{\f@nch@O@erh}
+\newlength{\f@nch@O@olh}
+\newlength{\f@nch@O@orh}
+\newlength{\f@nch@O@elf}
+\newlength{\f@nch@O@erf}
+\newlength{\f@nch@O@olf}
+\newlength{\f@nch@O@orf}
+\newcommand{\headrulewidth}{0.4pt}
+\newcommand{\footrulewidth}{0pt}
+\@ifundefined{footruleskip}%
+      {\newcommand{\footruleskip}{.3\normalbaselineskip}}{}
+\newcommand{\plainheadrulewidth}{0pt}
+\newcommand{\plainfootrulewidth}{0pt}
+\newif\if@fancyplain \@fancyplainfalse
+\def\fancyplain#1#2{\if@fancyplain#1\else#2\fi}
+\headwidth=-123456789sp
+\let\f@nch@raggedleft\raggedleft
+\let\f@nch@raggedright\raggedright
+\let\f@nch@centering\centering
+\let\f@nch@everypar\everypar
+\def\f@nch@reset{\f@nch@everypar{}\restorecr\endlinechar=13
+  \let\\\@normalcr \let\raggedleft\f@nch@raggedleft
+  \let\raggedright\f@nch@raggedright \let\centering\f@nch@centering
+  \def\baselinestretch{1}%
+  \hsize=\headwidth
+  \def\nouppercase##1{{\let\uppercase\relax\let\MakeUppercase\relax
+      \expandafter\let\csname MakeUppercase \endcsname\relax##1}}%
+  \ifx\undefined\@newbaseline % NFSS not present; 2.09 or 2e
+  \ifx\@normalsize\undefined \normalsize % for ucthesis.cls
+  \else \@normalsize \fi \else % NFSS (2.09) present
+  \@newbaseline%
+  \fi}
+\fancyhf{}
+\if@twoside
+  \fancyhead[el,or]{\fancyplain{}{\slshape\rightmark}}
+  \fancyhead[er,ol]{\fancyplain{}{\slshape\leftmark}}
+\else
+  \fancyhead[l]{\fancyplain{}{\slshape\rightmark}}
+  \fancyhead[r]{\fancyplain{}{\slshape\leftmark}}
+\fi
+\fancyfoot[c]{\rmfamily\thepage} % page number
+\def\f@nch@vbox#1#2{\setbox0\vbox{#2}\ifdim\ht0>#1\f@nch@warning
+  {\string#1 is too small (\the#1): ^^J Make it at least \the\ht0.^^J We
+    now make it that large for the rest of the document.^^J This may
+    cause the page layout to be inconsistent, however\@gobble}%
+  \dimen0=#1\global\setlength{#1}{\ht0}\ht0=\dimen0\fi \box0}
+\def\f@nch@head#1#2#3#4#5{#1\hbox to\headwidth{\f@nch@reset
+    \f@nch@vbox\headheight{\hbox
+      {\rlap{\parbox[b]{\headwidth}{\raggedright#2}}\hfill
+        \parbox[b]{\headwidth}{\centering#3}\hfill
+        \llap{\parbox[b]{\headwidth}{\raggedleft#4}}}\headrule}}#5}
+\def\f@nch@foot#1#2#3#4#5{#1\hbox to\headwidth{\f@nch@reset
+    \f@nch@vbox\footskip{\footrule
+      \hbox{\rlap{\parbox[t]{\headwidth}{\raggedright#2}}\hfill
+        \parbox[t]{\headwidth}{\centering#3}\hfill
+        \llap{\parbox[t]{\headwidth}{\raggedleft#4}}}}}#5}
+\def\headrule{{\if@fancyplain\let\headrulewidth\plainheadrulewidth\fi
+    \hrule\@height\headrulewidth\@width\headwidth
+    \vskip-\headrulewidth}}
+\def\footrule{{\if@fancyplain\let\footrulewidth\plainfootrulewidth\fi
+    \vskip-\footruleskip\vskip-\footrulewidth
+    \hrule\@width\headwidth\@height\footrulewidth\vskip\footruleskip}}
+\def\ps@fancy{%
+  \@ifundefined{@chapapp}{\let\@chapapp\chaptername}{}% for amsbook
+\@ifundefined{MakeUppercase}{\def\MakeUppercase{\uppercase}}{}%
+\ifx\chapter\@undefined \def\sectionmark##1{\markboth
+  {\MakeUppercase{\ifnum \c@secnumdepth>\z@ \thesection\hskip 1em\relax
+      \fi ##1}}{}}%
+\def\subsectionmark##1{\markright {\ifnum \c@secnumdepth >\@ne
+    \thesubsection\hskip 1em\relax \fi ##1}}%
+\else \def\chaptermark##1{\markboth {\MakeUppercase{\ifnum
+      \c@secnumdepth>\m@ne \@chapapp\ \thechapter. \ \fi ##1}}{}}%
+\def\sectionmark##1{\markright{\MakeUppercase{\ifnum \c@secnumdepth >\z@
+      \thesection. \ \fi ##1}}}%
+\fi
+\ps@@fancy
+\gdef\ps@fancy{\@fancyplainfalse\ps@@fancy}%
+\ifdim\headwidth<0sp
+    \global\advance\headwidth123456789sp\global\advance\headwidth\textwidth
+\fi}
+\def\ps@fancyplain{\ps@fancy \let\ps@plain\ps@plain@fancy}
+\def\ps@plain@fancy{\@fancyplaintrue\ps@@fancy}
+\let\ps@@empty\ps@empty
+\def\ps@@fancy{%
+  \ps@@empty
+  \def\@mkboth{\protect\markboth}%
+  \def\@oddhead{\f@nch@head\f@nch@Oolh\f@nch@olh\f@nch@och\f@nch@orh\f@nch@Oorh}%
+  \def\@oddfoot{\f@nch@foot\f@nch@Oolf\f@nch@olf\f@nch@ocf\f@nch@orf\f@nch@Oorf}%
+  \def\@evenhead{\f@nch@head\f@nch@Oelh\f@nch@elh\f@nch@ech\f@nch@erh\f@nch@Oerh}%
+  \def\@evenfoot{\f@nch@foot\f@nch@Oelf\f@nch@elf\f@nch@ecf\f@nch@erf\f@nch@Oerf}%
+}
+\def\f@nch@Oolh{\if@reversemargin\hss\else\relax\fi}
+\def\f@nch@Oorh{\if@reversemargin\relax\else\hss\fi}
+\let\f@nch@Oelh\f@nch@Oorh
+\let\f@nch@Oerh\f@nch@Oolh
+\let\f@nch@Oolf\f@nch@Oolh
+\let\f@nch@Oorf\f@nch@Oorh
+\let\f@nch@Oelf\f@nch@Oelh
+\let\f@nch@Oerf\f@nch@Oerh
+\def\f@nch@offsolh{\headwidth=\textwidth\advance\headwidth\f@nch@O@olh
+                   \advance\headwidth\f@nch@O@orh\hskip-\f@nch@O@olh}
+\def\f@nch@offselh{\headwidth=\textwidth\advance\headwidth\f@nch@O@elh
+                   \advance\headwidth\f@nch@O@erh\hskip-\f@nch@O@elh}
+\def\f@nch@offsolf{\headwidth=\textwidth\advance\headwidth\f@nch@O@olf
+                   \advance\headwidth\f@nch@O@orf\hskip-\f@nch@O@olf}
+\def\f@nch@offself{\headwidth=\textwidth\advance\headwidth\f@nch@O@elf
+                   \advance\headwidth\f@nch@O@erf\hskip-\f@nch@O@elf}
+\def\f@nch@setoffs{%
+  \f@nch@gbl\let\headwidth\f@nch@headwidth
+  \f@nch@gbl\let\f@nch@Oolh\f@nch@offsolh
+  \f@nch@gbl\let\f@nch@Oelh\f@nch@offselh \f@nch@gbl\let\f@nch@Oorh\hss
+  \f@nch@gbl\let\f@nch@Oerh\hss \f@nch@gbl\let\f@nch@Oolf\f@nch@offsolf
+  \f@nch@gbl\let\f@nch@Oelf\f@nch@offself \f@nch@gbl\let\f@nch@Oorf\hss
+  \f@nch@gbl\let\f@nch@Oerf\hss
+}
+\newif\iff@nch@footnote
+\AtBeginDocument{%
+  \let\latex@makecol\@makecol
+  \def\@makecol{\ifvoid\footins\f@nch@footnotefalse\else\f@nch@footnotetrue\fi
+    \let\topfloat\@toplist\let\botfloat\@botlist\latex@makecol}%
+}
+\newcommand\iftopfloat[2]{\ifx\topfloat\empty #2\else #1\fi}%
+\newcommand\ifbotfloat[2]{\ifx\botfloat\empty #2\else #1\fi}%
+\newcommand\iffloatpage[2]{\if@fcolmade #1\else #2\fi}%
+\newcommand\iffootnote[2]{\iff@nch@footnote #1\else #2\fi}%
+\newcommand{\fancypagestyle}[2]{%
+  \@namedef{ps@#1}{\let\f@nch@gbl\relax#2\relax\ps@fancy}}
+\endinput
+%%
+%% End of file `fancyhdr.sty'.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pic/emblem-bitmap.xbb	Thu Oct 26 14:21:59 2017 +0900
@@ -0,0 +1,8 @@
+%%Title: emblem-bitmap.pdf
+%%Creator: extractbb 20160307
+%%BoundingBox: 0 0 451 246
+%%HiResBoundingBox: 0.000000 0.000000 451.000000 246.000000
+%%PDFVersion: 1.3
+%%Pages: 1
+%%CreationDate: Thu Oct 26 13:59:32 2017
+