\documentclass[techrep]{ipsjpapers}
\usepackage[dvipdfmx]{graphicx}
\usepackage{fancyvrb}
\usepackage{url}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{autofe}

\DeclareUnicodeCharacter{8718}{\rule{5pt}{10pt}}

% \input{dummy.tex} %% Font 

% ユーザが定義したマクロなど．
\makeatletter

\input usepackage.tex
\begin{document}


% 和文表題
\title{ Agda での Programming 技術}
% 英文表題
\etitle{Programming Technique in Agda}

% 所属ラベルの定義
\affilabel{1}{琉球大学工学部情報工学科\\Information Engineering, University of the Ryukyus.}

% 和文著者名
\author{
  河野 真治\affiref{1}
}

% 英文著者名
\eauthor{
  Shinji KONO\affiref{1}
}

% 連絡先（投稿時に必要．製版用では無視される．）
\contact{河野 真治\\
        〒903-0213 沖縄県西原町千原1番地\\
	    琉球大学工学部情報工学科\\
        TEL: (098)895-2221\qquad FAX: (098)895-8727\\
        email: kono@ie.u-ryukyu.ac.jp} 

% 和文概要
\begin{abstract}
\input{abstract}
\end{abstract}
% 英文概要
\begin{eabstract}
\end{eabstract}

% 表題などの出力
\maketitle

% 本文はここから始まる

\input{0}   %

\bibliographystyle{ipsjunsrt}
\bibliography{ref}

\end{document}