annotate main1.tex @ 0:67e6ca3c7e6c

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