--- a/paper/atton-master.tex	Mon Jan 16 15:27:36 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 16 15:30:59 2017 +0900
@@ -6,6 +6,12 @@
 \usepackage{listings}
 \usepackage{comment}
 \usepackage[deluxe, multi]{otf}
+\usepackage{url}
+\usepackage{cite}
+\usepackage{listings}
+\usepackage{bussproofs}
+\usepackage{amssymb}
+\usepackage[utf8]{inputenc}
 
 %\input{dummy.tex} %% font
 
@@ -32,26 +38,26 @@
 \newcommand\tabref[1]{表 \ref{tab:#1}}
 
 \lstset{
-  language=C,
-  tabsize=2,
   frame=single,
-  basicstyle={\ttfamily\footnotesize},%
-  identifierstyle={\footnotesize},%
-  commentstyle={\footnotesize\itshape},%
-  keywordstyle={\footnotesize\bfseries},%
-  ndkeywordstyle={\footnotesize},%
-  stringstyle={\footnotesize\ttfamily},
+  keepspaces=true,
+  stringstyle={\ttfamily},
+  commentstyle={\ttfamily},
+  identifierstyle={\ttfamily},
+  keywordstyle={\ttfamily},
+  basicstyle={\ttfamily},
   breaklines=true,
-  captionpos=b,
-  columns=[l]{fullflexible},%
-  xrightmargin=0zw,%
-  xleftmargin=1zw,%
-  aboveskip=1zw,
-  numberstyle={\scriptsize},%
+  xleftmargin=0zw,
+  xrightmargin=0zw,
+  framerule=.2pt,
+  columns=[l]{fullflexible},
+  numbers=left,
   stepnumber=1,
-  numbersep=0.5zw,%
-  lineskip=-0.5ex,
-  numbers=left
+  numberstyle={\scriptsize},
+  numbersep=1em,
+  language={},
+  tabsize=4,
+  lineskip=-0.5zw,
+  escapechar={@},
 }
 
 %%% 索引のために以下の2行を追加