Mercurial > hg > Papers > 2015 > atton-thesis

comparison original_sources.tex @ 53:ca389989b660

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add original sources
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 15 Feb 2015 22:38:43 +0900
parents
children
comparison
equal deleted inserted replaced
52:6ca594d19ca4 53:ca389989b660
1 \chapter{Haskell による Delta と DeltaM の定義と使用例のプログラム}
2 \label{chapter:original_sources}
3
4 \section{実験環境}
5
6 表\ref{table:environment}に実験環境におけるプログラムやライブラリのバージョンを示す。
7
8 \begin{table}[htbp]
9 \begin{center}
10 \begin{tabular}{|c||c|} \hline
11 & version \\ \hline \hline
12 Mac OS X & 10.9.5 \\ \hline
13 ghc & 7.8.4 \\ \hline
14 Agda & 2.4.2.2 \\ \hline
15 cabal & 1.22.0.0 \\ \hline
16 \end{tabular}
17 \label{table:environment}
18 \caption{実験環境}
19 \end{center}
20 \end{table}
21
22 \section{Delta と DeltaM のソースコード}
23
24 \begin{table}[html]
25 \lstinputlisting[basicstyle={\scriptsize},
26 numberstyle={\tiny},
27 label=src:original_delta,
28 caption= Delta のソースコード,
29 escapechar=&] {src/orig/Delta.hs}
30 \end{table}
31
32 \begin{table}[html]
33 \lstinputlisting[basicstyle={\scriptsize},
34 numberstyle={\tiny},
35 label=src:original_deltaM,
36 caption= DeltaM のソースコード,
37 escapechar=&] {src/orig/DeltaM.hs}
38 \end{table}