directory /Paper/ @ 6:081edb7ee4d7

name size permissions
[up] drwxr-xr-x
dir. fig/ drwxr-xr-x
dir. src/ drwxr-xr-x
dir. tex/ drwxr-xr-x
file .DS_Store 6148 -rw-r--r--
file Makefile 531 -rw-r--r--
file escape_agda.rb 865 -rwxr-xr-x
file ipsj.cls 124788 -rw-r--r--
file ipsj.cls.orig 142123 -rw-r--r--
file ipsjpref.sty 7556 -rw-r--r--
file ipsjprosym.cls 1139 -rwxr-xr-x
file ipsjsort-e.bst 23603 -rw-r--r--
file ipsjsort.bst 24648 -rwxr-xr-x
file ipsjtech.sty 6210 -rw-r--r--
file ipsjunsrt-e.bst 21162 -rw-r--r--
file ipsjunsrt.bst 23435 -rw-r--r--
file jlisting.sty 6230 -rw-r--r--
file kiyama-prosym.aux 2290 -rw-r--r--
file kiyama-prosym.bbl 1212 -rw-r--r--
file kiyama-prosym.log 187785 -rw-r--r--
file kiyama-prosym.pdf 202272 -rw-r--r--
file kiyama-prosym.synctex.gz 25652 -rw-r--r--
file kiyama-prosym.tex 3834 -rw-r--r--
file kiyama-prosym01.aux 3022 -rw-r--r--
file kiyama-prosym01.bbl 1617 -rw-r--r--
file kiyama-prosym01.log 28522 -rw-r--r--
file kiyama-prosym01.pdf 269590 -rw-r--r--
file kiyama-prosym01.synctex.gz 41889 -rw-r--r--
file kiyama-prosym01.tex 4339 -rw-r--r--
file reference.bib 8174 -rw-r--r--