-
Notifications
You must be signed in to change notification settings - Fork 2
/
main.tex
55 lines (46 loc) · 1.2 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
% !TEX bib = ./main.bib
\documentclass[uplatex, a4paper, 12pt]{jsarticle}
\renewcommand\thefootnote{\arabic{footnote})}
\usepackage[top=1in, bottom=1.5in, left=1in, right=1in]{geometry}
\usepackage{authblk}
\usepackage{listings}
\usepackage[dvipdfmx]{hyperref}
\usepackage{url}
\usepackage{minted}
\usemintedstyle{borland}
\newmintinline[jlinline]{julia}{}
\usepackage{pxrubrica}
\usepackage{pxjahyper}
\usepackage{stmaryrd}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem*{theorem*}{定理}
\newtheorem*{corollary*}{系}
\begin{document}
% cover
\title{プログラミング言語Juliaの型推論ルーチンを用いた型プロファイラによる静的なバグ検出について}
\author{門脇 宗平}
\affil{京都大学 総合人間学部 認知情報学系専攻}
\date{\today}
\maketitle
\vspace{\fill}
\input{abstract}
\vspace{\fill}
\newpage
% index, lists, thanks
\setcounter{tocdepth}{3}
\tableofcontents
% \renewcommand\listoflistingscaption{List of profiling targets}
% \listoflistings
\input{thanks}
\newpage
% body
\input{introduction}
\input{section2}
\input{section3}
\input{section4}
\input{conclusion}
% reference
\bibliography{main}
\bibliographystyle{junsrt}
\end{document}