Mercurial > hg > Papers > 2021 > kono-sigos

comparison main1.tex @ 0:67e6ca3c7e6c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
model checking
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 27 Apr 2021 14:25:56 +0900
parents
children 055c9c2a19d5
comparison
equal deleted inserted replaced
-1:000000000000 0:67e6ca3c7e6c
1 \documentclass[twocolumn]{article}
2 % \documentclass{article}
3 \usepackage{luatexja}
4 \usepackage{fontspec}
5 \usepackage{graphicx}
6 \usepackage{float}
7 \restylefloat{figue}
8 \pagestyle{empty}
9
10 %\hoffset -1in \addtolength{\hoffset}{20mm}
11 %\voffset -1in \addtolength{\voffset}{20mm}
12 %\oddsidemargin 0mm
13 \topmargin -4mm
14 %\headheight 13pt
15 %\headsep 15mm
16 %\textheight 43\baselineskip \addtolength{\textheight}{\topskip}
17 %\textwidth 160mm
18 %\marginparsep 3mm
19 %\marginparwidth 15mm
20 %\footskip \headsep
21 \input usepackage.tex
22 \begin{document}
23 \setmainfont{STIX Math}%
24 \setmonofont{STIXGeneralBol}[
25 Scale=MatchLowercase
26 ] % or whatever font you prefer
27
28 \ltjsetparameter{jacharrange={-3}}
29
30 % \input tgrindfig.tex
31 \bibliographystyle{jplain} % for bibliography
32 %
33 \include{title}
34 %\title{}
35 % 英文のみのタイトルならば，\title{ ... } とする．
36
37 \date{}
38
39 % 所属ラベルの定義
40
41 % 和文著者名
42 \author{
43 {河野真治} \\
44 琉球大学工学部\\
45 {Shinji KONO} \\
46 Faculty of Engineering, University of the Ryukyus\\
47 }
48
49 \maketitle{}
50 \begin{abstract}
51 \input{abstract}
52 \end{abstract}
53
54 % {\em 概要 \vspace{0.5cm}}\
55 %\begin{center}
56 %{\Large
57 %\include{title-e}\
58 %\include{author-e}} % \hspace{0.7cm}
59 %\end{center}
60
61 % { t \Large Abstract}\
62 %\include{abstract-e}
63 % \\
64 % \hspace{0.5cm}
65
66 %
67 \input 0.tex
68 %
69 % \input reference.tex
70
71 \bibliography{ref}
72 \end{document}
73