Mercurial > hg > Papers > 2022 > soto-sigos

annotate Paper/soto-sigos.fdb_latexmk @ 2:f9794e92f964

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
WIP 8割くらいできた
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Thu, 05 May 2022 00:32:42 +0900
parents
children 952d4dbb7c6a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # Fdb version 3
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 ["bibtex soto-sigos"] 1651673321 "soto-sigos.aux" "soto-sigos.bbl" "soto-sigos" 1651673322
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 "./ipsjsort.bst" 1541385384 25930 d27669b348c8e9a5c1cc93168b2b5e89 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 "reference.bib" 1650721531 8174 141307c3535f6e6da421a5ffb91d3db0 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 "soto-sigos.aux" 1651673322 4295 aab7a2e823658120e46d12dc2df2eb9c "latex"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 (generated)
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 "soto-sigos.bbl"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 "soto-sigos.blg"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 ["dvipdf"] 1651673322 "soto-sigos.dvi" "soto-sigos.pdf" "soto-sigos" 1651673322
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 "soto-sigos.dvi" 1651673322 65688 e5ddc4db2906e7f1634a64560623fb9b "latex"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 (generated)
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 "soto-sigos.pdf"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 ["latex"] 1651673321 "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" "soto-sigos.dvi" "soto-sigos" 1651673322
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" 1651673320 4629 dbd88eb23bf5ed403bba3199bc43593f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1647844622 3524 cb3e574dea2d1052e39280babc910dc8 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" 1647844622 2124 2601a75482e9426d33db523edf23570a ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm0700.tfm" 1647844622 3584 cf973739aac7ab6247f9150296af7954 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1647844622 3584 adb004a0c8e7c46ee66cad73671f37b4 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jis.tfm" 1647806829 468 53f854284f6afa6c36aaa2d1090ecc12 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jisg.tfm" 1647806829 468 53f854284f6afa6c36aaa2d1090ecc12 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth10.tfm" 1647806829 856 7404843a5f798859944d7973a47821d5 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin10.tfm" 1647806829 856 39c171483fe1bb7d0e1368980c0c205b ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1647844622 916 f87d7c45f9c908e672703b83b72241a3 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1647844622 924 9904cf1d39e9767e7a3622f2a125a565 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam6.tfm" 1647844622 928 82ddbc1635deeba2dad4013deb28915b ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1647844622 928 2dc8d444221b7a635bb58038579b861a ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam8.tfm" 1647844622 920 43b6c3dbe6ce9a6ef237ab65fac31225 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam9.tfm" 1647844622 920 24b00689bbe5ca48cd946c0feee14251 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1647844622 908 2921f8a10601f252058503cc6570e581 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1647844622 940 75ac932a52f80982a9f8ea75d03a34cf ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm6.tfm" 1647844622 940 84ac9962423faf9e162199e835ac3649 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1647844622 940 228d6584342e91276bf566bcf9716b83 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm8.tfm" 1647844622 940 cf30a5193f9d559521b5f27a6fa8053c ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm9.tfm" 1647844622 940 88c1e9aa837bf20a964aa7801d3f4279 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 "/usr/share/texmf-dist/fonts/tfm/public/ascmac/ascgrp.tfm" 1647806829 448 9a1f3a95c3a7e2681aa6eefcf410b7ac ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1647844622 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1647844622 1292 21c1c5bfeaebccffdb478fd231a0997d ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlgothr-h.tfm" 1647806829 504 e15e0ced49bc0fca57e32b1199da50ac ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlgothr-v.tfm" 1647806829 504 90cc0bfc6764b11e5837e72f13617993 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-h.tfm" 1647806829 504 e15e0ced49bc0fca57e32b1199da50ac ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-v.tfm" 1647806829 504 90cc0bfc6764b11e5837e72f13617993 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm" 1647806829 504 e15e0ced49bc0fca57e32b1199da50ac ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm" 1647806829 504 90cc0bfc6764b11e5837e72f13617993 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm" 1647844622 520 82a3d37183f34b6eb363a161dfc002c2 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.tfm" 1647844622 520 d082ac03a1087bc1ec2a06e24a9f68c0 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm" 1647844622 520 4889cce2180234b97cad636b6039c722 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy7.tfm" 1647844622 520 a74c6ed8cb48679fdc3ea874d9d34a7e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy8.tfm" 1647844622 520 7bb3abb160b19e0ed6ac404bb59052b7 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy9.tfm" 1647844622 520 1cc7cc05f4d7bae5c23bf7516f88fa52 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx10.tfm" 1647844622 12076 b54175e02101bea1addf6b2d0197ed12 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx12.tfm" 1647844622 12088 d750ac78274fa7c9f73ba09914c04f8a ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx9.tfm" 1647844622 12080 8da3d5e88196e4de175949ad7749b42f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr10.tfm" 1647844622 12056 7e13df7fe4cbce21b072ba7c4f4deb6e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr12.tfm" 1647844622 12092 7b1546e2d096cfd5dcbd4049b0b1ec2e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr17.tfm" 1647844622 12156 ca1ae6a3c8564e89597f1f993fba1608 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr6.tfm" 1647844622 12048 c1068d0f4772be9b0ec447692e1d6d82 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr7.tfm" 1647844622 12064 09aa3eeac96bf141d673bb1b0385ce55 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr8.tfm" 1647844622 12064 a35db870f0b76c338d749c56dc030ef5 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr9.tfm" 1647844622 12084 b7f5e4c003de6f57f07c7e9fee73a37c ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmri9.tfm" 1647844622 17148 ca1ae65757b004f470b8cd636199f6fc ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt10.tfm" 1647844622 1372 2ef2c2b492b3c4cd7879fe083abbb061 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt8.tfm" 1647844622 1380 64228d979098ac090aa3f98d5aa8ad3e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt9.tfm" 1647844622 1372 a2ff2d4391a2d6bba15b518acb79e80f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmex10.tfm" 1647844622 992 ce925c9346c7613270a79afbee98c070 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi10.tfm" 1647844622 1528 6d36b2385e0ca062a654de6ac59cb34f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi12.tfm" 1647844622 1524 753b192b18f2991794f9d41a8228510b ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm" 1647844622 1508 198f5b7b99b5769126de3a533f6fc334 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm" 1647844622 1512 94a3fd88c6f27dbd9ecb46987e297a4e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi7.tfm" 1647844622 1528 d5b028dd23da623848ef0645c96a1ed7 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi8.tfm" 1647844622 1520 a3fe5596932db2db2cbda300920dd4e9 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi9.tfm" 1647844622 1524 cdf05765c2a8bdb569ea0aa208fb0947 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy10.tfm" 1647844622 1308 02cc510f9dd6012e5815d0c0ffbf6869 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm" 1647844622 1296 54ed1a711e2303d5282575278e3620b0 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm" 1647844622 1300 b0605d44c16c22d99dc001808e4f24ea ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy7.tfm" 1647844622 1304 32f22a15acc296b2a4e15698403dcb88 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy8.tfm" 1647844622 1304 cdc9a17df9ef0d2dc320eff37bbab1c4 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy9.tfm" 1647844622 1300 ca37bc0213808d24f74bf4d32f81f80d ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr10.tfm" 1647844622 11868 4f81e9b6033c032bdaf9884f4d7ef412 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr12.tfm" 1647844622 11888 6841b91e46b65cf41a49b160e6e74130 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm" 1647844622 11804 aefb10c002e6492c25236524a447f969 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm" 1647844622 11836 e3b6ce3e601aec94f64a536e7f4224d5 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr7.tfm" 1647844622 11852 5a9022f105fd1ee2797df861e79ae9a0 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr8.tfm" 1647844622 11864 309fd7f43e4a0ba39f6f7644d76e8edf ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr9.tfm" 1647844622 11884 c93929a6974dce79eabb778f219d7e18 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 "/usr/share/texmf-dist/fonts/tfm/public/txfonts/txsy.tfm" 1647844622 1268 1d124f224979493f8fd017a7597ea1cd ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1647844622 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1647844622 13829 94730e64147574077f8ecfea9bb69af4 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1647844622 2222 da905dc1db75412efd2d8f67739f0596 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1647844622 4173 bc0410bcccdff806d6132d3c1ef35481 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1647844622 87648 07fbb6e9169e00cb2a2f40b31b2dbf3c ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1647844622 4128 8eea906621b6639f7ba476a472036bbe ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1647844622 2444 926f379cc60fcf0c6e3fee2223b4370d ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 "/usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty" 1647806829 590 834565f4a016952bf667fd346b7aee71 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 "/usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty" 1647806829 11463 e16f2fec3bf4db0d4002a155e4cf4467 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" 1647844622 4946 461cc78f6f26901410d9f1d725079cc6 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 "/usr/share/texmf-dist/tex/latex/base/latexsym.sty" 1647844622 2853 064bc688b5f0914f6c46857908d3b04a ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" 1647844622 2894 55431114fc0e491ecee275edafd6c881 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 "/usr/share/texmf-dist/tex/latex/caption/caption.sty" 1647844622 54291 b8e5c600d4aa37b48a740dd2a6c26163 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" 1647844622 71241 d2cd3a1c5acef9cb31f945b93c0bb6e3 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 "/usr/share/texmf-dist/tex/latex/cite/cite.sty" 1647844622 26218 19edeff8cdc2bcb704e8051dc55eb5a7 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 "/usr/share/texmf-dist/tex/latex/float/float.sty" 1647844622 6749 16d2656a1984957e674b149555f1ea1d ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1647844622 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1647844622 1224 978390e9c2234eab29404bc21b268d1e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 "/usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def" 1647844622 12854 d1d8e11aeb3b6a981367508e762ca48a ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 "/usr/share/texmf-dist/tex/latex/graphics-def/dvips.def" 1647844622 5895 4b59bd0c17e1116fd6b6e7c683dea655 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 "/usr/share/texmf-dist/tex/latex/graphics/color.sty" 1647844622 7197 eb6c1ebf41667a05cb50c23c19d5e8bc ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 "/usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def" 1647844622 4995 8040f614c8de8318a0b5b2dea8a3fcef ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1647844622 18399 7e40f80366dffb22c0e7b70517db5cb4 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1647844622 7996 a8fb260d598dcaf305a7ae7b9c3e3229 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1647844622 2671 4de6781a30211fe0ea4c672e4a2a8166 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1647844622 4009 187ea2dc3194cd5a76cd99a8d7a6c4d0 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 "/usr/share/texmf-dist/tex/latex/here/here.sty" 1647807325 439 d908692e0f19922874ccfe2bf35addc7 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def" 1647844622 35666 542d7d1651a3e3c984a42ed032a045c3 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" 1647844622 1830 e31effa752c61538383451ae21332364 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 "/usr/share/texmf-dist/tex/latex/listings/listings.sty" 1647844622 80964 64e57373f36316e4a09b517cbf1aba2e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" 1647844622 204271 bae5b2d457283e99567249c1990510be ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" 1647844622 77022 ee25ce086f4a79d8cf73bac6f94c02a5 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 "/usr/share/texmf-dist/tex/latex/lm/lmodern.sty" 1647844622 1608 b00724785a9e9c599e5181bb8729160b ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 "/usr/share/texmf-dist/tex/latex/lm/omllmm.fd" 1647844622 890 57f5adccd504fb5c98bdf99ed7e7f195 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 "/usr/share/texmf-dist/tex/latex/lm/omslmsy.fd" 1647844622 807 3de192f3efa968913bd2f096a7b430d8 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 "/usr/share/texmf-dist/tex/latex/lm/omxlmex.fd" 1647844622 568 a5494d810f2680caf10205cd1226c76c ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 "/usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd" 1647844622 1882 28c08db1407ebff35a658fd141753d16 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 "/usr/share/texmf-dist/tex/latex/lm/t1lmr.fd" 1647844622 1867 996fe743d88a01aca041ed22cc10e1bb ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 "/usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd" 1647844622 2682 555da1faa2e266801e4b221d01a42cb5 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" 1647844622 961 15056f4a61917ceed3a44e4ac11fcc52 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 "/usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd" 1647844622 329 6ac7e19535b9f1d64e4d8e3f77dc30a3 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 "/usr/share/texmf-dist/tex/latex/url/url.sty" 1647844622 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 "/usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty" 1647806829 31169 82da95c56dec9c45e5b9734751394461 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 "/usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty" 1647806829 1209 8abf44b4af3260bbf90285291bba45c8 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 "/usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty" 1647806829 5572 2718e332ffca67065c2d32dda76f558f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 "/usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty" 1647806829 23780 6dcbea98f42a2e1905e36acdd2df6006 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 "/usr/share/texmf-dist/web2c/texmf.cnf" 1647844622 39911 2da6c67557ec033436fe5418a70a8a61 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 "/var/lib/texmf/web2c/eptex/platex.fmt" 1650708372 2834363 869774857659f265ab483b1aeb8f0c7c ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 "fig/meta-cg-dg.pdf" 1650721531 14360 a49f27d9f258ff5d68c6c4e908f67476 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 "fig/meta-cg-dg.xbb" 1650721531 212 38813b94d19b91938f022ae3152b7ed7 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 "ipsj.cls" 1650809266 142123 ecf81ecc4679baed6ac44a1571336871 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 "ipsjtech.sty" 1541385384 6572 e6269869e3c126f2d200f352d590509a ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 "soto-sigos.aux" 1651673322 4295 aab7a2e823658120e46d12dc2df2eb9c "latex"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 "soto-sigos.bbl" 1651673321 5285 fc93245f635fcc8bdb721d450a7e0e37 "bibtex soto-sigos"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 "soto-sigos.tex" 1651673320 4629 dbd88eb23bf5ed403bba3199bc43593f ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 "src/agda-dpp-impl.agda.replaced" 1651667549 2824 60454fbbf20d18849d1886385e94384b ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 "src/agda-dpp-modelcheck.agda.replaced" 1651672378 3179 60cc940175e150991d362fe173027e9b ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 "src/agda/cbc-agda.agda.replaced" 1651647471 1143 ab39102eb0f69d3b9f8e4e985a7c1e37 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 "tex/cbc.tex" 1651644049 2219 f03feb68b5ce1a7b91d393a89cfeb34e ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 "tex/cbc_agda.tex" 1651652099 4661 0b5344e541f9fd9f293bced30f494ecd ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 "tex/dpp_impl.tex" 1651668498 6128 590795d2699a6da79652be11e27f0047 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 "tex/intro.tex" 1651570383 3454 c2cd2b67fe52c3a93b6c540ef98ec175 ""
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 (generated)
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
149 "soto-sigos.aux"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 "soto-sigos.dvi"
f9794e92f964 WIP 8割くらいできた
soto <soto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 "soto-sigos.log"