--- a/main.tex	Thu Feb 12 15:22:21 2015 +0900
+++ b/main.tex	Thu Feb 12 17:44:18 2015 +0900
@@ -3,9 +3,10 @@
 \usepackage{mythesis}
 \usepackage{multirow}
 \usepackage{here}
-\usepackage{listings, jlisting}
+\usepackage{listings}
 \usepackage{bussproofs}
 \usepackage{amssymb}
+\usepackage[utf8]{inputenc}
 
 \setlength{\itemsep}{-1zh}
 \title{圏によるプログラムの変更の形式化}
@@ -49,7 +50,7 @@
   language={},
   tabsize=4,
   lineskip=-0.5zw,
-  morecomment={[s][]{/**}{*/}},
+  escapechar={@},
 }
 \def\lstlistingname{リスト}
 \def\lstlistlistingname{リスト目次}