--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/original_sources.tex	Sun Feb 15 22:38:43 2015 +0900
@@ -0,0 +1,38 @@
+\chapter{Haskell による Delta と DeltaM の定義と使用例のプログラム}
+\label{chapter:original_sources}
+
+\section{実験環境}
+
+表\ref{table:environment}に実験環境におけるプログラムやライブラリのバージョンを示す。
+
+\begin{table}[htbp]
+    \begin{center}
+        \begin{tabular}{|c||c|} \hline
+            & version   \\ \hline \hline
+            Mac OS X & 10.9.5    \\ \hline
+            ghc      & 7.8.4     \\ \hline
+            Agda     & 2.4.2.2   \\ \hline
+            cabal    & 1.22.0.0  \\ \hline
+        \end{tabular}
+        \label{table:environment}
+        \caption{実験環境}
+    \end{center}
+\end{table}
+
+\section{Delta と DeltaM のソースコード}
+
+\begin{table}[html]
+    \lstinputlisting[basicstyle={\scriptsize},
+                     numberstyle={\tiny},
+                     label=src:original_delta,
+                     caption= Delta のソースコード,
+                     escapechar=&] {src/orig/Delta.hs}
+\end{table}
+
+\begin{table}[html]
+    \lstinputlisting[basicstyle={\scriptsize},
+                     numberstyle={\tiny},
+                     label=src:original_deltaM,
+                     caption= DeltaM のソースコード,
+                     escapechar=&] {src/orig/DeltaM.hs}
+\end{table}