comparison ipsj.tex @ 6:442e62a339a6

on going..
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 05 Dec 2013 20:10:27 +0900
parents
children f66280e26337
comparison
equal deleted inserted replaced
5:9ebac033917d 6:442e62a339a6
1 \documentclass[techrep]{ipsjpapers}
2 \usepackage[dvipdfmx]{graphicx}
3 \usepackage{fancyvrb}
4 \usepackage{url}
5 \usepackage{ucs}
6 \usepackage[utf8x]{inputenc}
7 \usepackage{autofe}
8
9 \DeclareUnicodeCharacter{8718}{\rule{5pt}{10pt}}
10
11 % \input{dummy.tex} %% Font
12
13 % ユーザが定義したマクロなど.
14 \makeatletter
15
16 \input usepackage.tex
17 \begin{document}
18
19
20 % 和文表題
21 \title{ Agda での Programming 技術}
22 % 英文表題
23 \etitle{Programming Technique in Agda}
24
25 % 所属ラベルの定義
26 \affilabel{1}{琉球大学工学部情報工学科\\Information Engineering, University of the Ryukyus.}
27
28 % 和文著者名
29 \author{
30 河野 真治\affiref{1}
31 }
32
33 % 英文著者名
34 \eauthor{
35 Shinji KONO\affiref{1}
36 }
37
38 % 連絡先(投稿時に必要.製版用では無視される.)
39 \contact{河野 真治\\
40 〒903-0213 沖縄県西原町千原1番地\\
41 琉球大学工学部情報工学科\\
42 TEL: (098)895-2221\qquad FAX: (098)895-8727\\
43 email: kono@ie.u-ryukyu.ac.jp}
44
45 % 和文概要
46 \begin{abstract}
47 \input{abstract}
48 \end{abstract}
49 % 英文概要
50 \begin{eabstract}
51 \end{eabstract}
52
53 % 表題などの出力
54 \maketitle
55
56 % 本文はここから始まる
57
58 \input{0} %
59
60 \bibliographystyle{ipsjunsrt}
61 \bibliography{ref}
62
63 \end{document}