# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1484549263 -32400
# Node ID debfed0aa2e4eb956667ae981654944e81a01ce8
# Parent  d96616ca051add6958ef382710715d35f5e4891e
Add history.tex

diff -r d96616ca051a -r debfed0aa2e4 paper/atton-master.tex
--- a/paper/atton-master.tex	Mon Jan 16 15:37:45 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 16 15:47:43 2017 +0900
@@ -109,7 +109,7 @@
 
 %発表履歴
 \addcontentsline{toc}{chapter}{発表履歴}
-% \input{history.tex}
+\input{history.tex}
 
 %付録
 \addcontentsline{toc}{chapter}{付録}
diff -r d96616ca051a -r debfed0aa2e4 paper/history.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/history.tex	Mon Jan 16 15:47:43 2017 +0900
@@ -0,0 +1,5 @@
+\chapter*{発表履歴}
+\begin{itemize}
+\item 比嘉健太, 河野真治. 形式手法を学び始めて思うことと、形式手法を広めるには. 情報処理学会ソフトウェア工学研究会(IPSJ SIGSE) ウィンターワークショップ2015・イン・宜野湾(WWS2015), Jan 2015.
+\item 比嘉健太, 河野真治.  Continuation based C を用いたプログラムの検証手法.  2016年並列／分散／協調処理に関する『松本』サマー・ワークショップ(SWoPP2016) 情報処理学会・プログラミング研究会 第110回プログラミング研究会(PRO-2016-2) Aug 2016.
+\end{itemize}