Mercurial > hg > Papers > 2021 > kono-sigos
diff 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 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/main1.tex Tue Apr 27 14:25:56 2021 +0900 @@ -0,0 +1,73 @@ +\documentclass[twocolumn]{article} +% \documentclass{article} +\usepackage{luatexja} +\usepackage{fontspec} +\usepackage{graphicx} +\usepackage{float} +\restylefloat{figue} +\pagestyle{empty} + +%\hoffset -1in \addtolength{\hoffset}{20mm} +%\voffset -1in \addtolength{\voffset}{20mm} +%\oddsidemargin 0mm +\topmargin -4mm +%\headheight 13pt +%\headsep 15mm +%\textheight 43\baselineskip \addtolength{\textheight}{\topskip} +%\textwidth 160mm +%\marginparsep 3mm +%\marginparwidth 15mm +%\footskip \headsep +\input usepackage.tex +\begin{document} +\setmainfont{STIX Math}% +\setmonofont{STIXGeneralBol}[ + Scale=MatchLowercase +] % or whatever font you prefer + +\ltjsetparameter{jacharrange={-3}} + +% \input tgrindfig.tex +\bibliographystyle{jplain} % for bibliography +% +\include{title} +%\title{} +% 英文のみのタイトルならば,\title{ ... } とする. + +\date{} + +% 所属ラベルの定義 + +% 和文著者名 +\author{ +{河野真治} \\ +琉球大学工学部\\ +{Shinji KONO} \\ +Faculty of Engineering, University of the Ryukyus\\ +} + +\maketitle{} +\begin{abstract} +\input{abstract} +\end{abstract} + +% {\em 概要 \vspace{0.5cm}}\ +%\begin{center} +%{\Large +%\include{title-e}\ +%\include{author-e}} % \hspace{0.7cm} +%\end{center} + +% { t \Large Abstract}\ +%\include{abstract-e} +% \\ +% \hspace{0.5cm} + +% +\input 0.tex +% +% \input reference.tex + +\bibliography{ref} +\end{document} +